Call Number (LC) Title Results
QA76.754 .V46 2009 Pro Hadoop /
Pro Hadoop 		3
QA76.754 .W32 2004 Recent trends in algebraic development techniques 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers / 1
QA76.754 .W35 2009eb Programming Scala / 1
QA76.754 .W377 2000eb Waterfields guide to computer software / 1
QA76.754 .W39 1995 Agents unleased a public domain look at agent technology / 1
QA76.754 .Y68 2003 Exploring IBM e-business software : become an instant insider on IBM's Internet business tools / 1
QA76.754 ebook Innovación y capital social como factores de competitividad en la pyme : sector software / 1
QA76.755 .A44 1995 American national standard : quality management and quality assurance standards : guidelines for the application of ANSI/ISO/ASQC Q9001 to the development, supply and maintenance of software / 1
QA76.755 .C65 1993 Computer software : copyrights, patents, and the challenge of technological change / 1
QA76.755 .F67 2008 The productive programmer / 1
QA76.755 .F67 2009 Produktiv programmieren / 1
QA76.755 .N37 1991 Intellectual property issues in software / 1
QA76.755 .P72 2009 Microsoft Office 2008 for Mac, step by step / 1
QA76.755 .S63 1986 Software engineering handbook / 1
QA76.755 .T766 1992 Computers / 1
QA76.756 O'Reilly software architecture conference 2016, London, United Kingdom. 1
QA76.756 .S36 2000 The school of Niklaus Wirth : the art of simplicity / 1
QA76.757 .M84 1998 1998 Multimedia Modeling : MMM '98 : October 12-15, 1998, Lausanne, Switzerland : Proceedings / 1
QA76.758 Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings.
Fundamental approaches to software engineering : 27th International Conference, FASE 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings /
New perspectives in software engineering /
Data analytics in system engineering : proceedings of 7th Computational Methods in Systems and Software 2023.
Radical Therapy for Software Development Teams Lessons in Remote Team Management and Positive Motivation /
Practical GitLab Services A Complete DevOps Guide for Developers and Administrators /
Search-based software engineering : 15th international symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, proceedings /
The Synthesizer Generator a System for Constructing Language-Based Editors /
A guide to software quality engineering /
Search based software engineering : 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings /
Computer aided cerification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings.
Complex, intelligent and software intensive systems : proceedings of the 17th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2023) /
Software architecture : ECSA 2022 tracks and workshops : Prague, Czech Republic, September 19-23, 2022, revised selected papers /
Proceedings of International Conference on Recent Innovations in Computing : ICRIC 2022.
Computer aided verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings.
Improve your critical thinking skills /
Tests and proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, proceedings /
Search-based software engineering : 16th International Symposium, SSBSE 2024, Porto de Galinhas, Brazil, July 15, 2024, Proceedings /
Human-centered software engineering : 10th IFIP WG 13.2 International Working Conference, HCSE 2024, Reykjavik, Iceland, July 8-10, 2024, Proceedings /
Knowledge-based software engineering: 2022 : Proceedings of the 14th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2022), Larnaca, Cyprus, August 22-24, 2022 /
New perspectives in software engineering : proceedings of the 11th International Conference on Software Process Improvement (CIMPS 2022) /
Software engineering research, management and applications /
Dependable software engineering : theories, tools, and applications : 9th international symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, proceedings /
Ernst Denert Award for Software Engineering 2022 : practice meets foundations /
Software engineering methods in systems and network systems : proceedings of 7th Computational Methods in Systems and Software 2023.
Formal techniques for distributed objects, components, and systems : 44th IFIP WG 6.1 International Conference, FORTE 2024, held as part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, proceedings /
Software engineering, artificial intelligence, networking and parallel/distributed computing.
Information and software technologies 26th International Conference, ICIST 2020, Kaunas, Lithuania, October 15-17, 2020, Proceedings /
Software development superstream : becoming a senior software engineer.
Stochastic models for fault tolerance restart, rejuvenation and checkpointing /
Software Engineering and Environment : an Object-Oriented Perspective /
Functional Integration : Theory and Applications /
Into the Realm of Oberon : an Introduction to Programming and the Oberon-2 Programming Language /
ML with Concurrency : Design, Analysis, Implementation, and Application /
Applications and Theory of Petri Nets : Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets Varenna, Italy, September 27-30, 1982 (under auspices of AFCET, AICA, GI, and EATCS) /
Software Pioneers : Contributions to Software Engineering /
Software engineering and methodology for emerging domains : 15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3-5, 2016, Proceedings /
Safe Comp 95 : the 14th International Conference on Computer Safety, Reliability and Security, Belgirate, Italy 11-13 October 1995 /
Compositional Verification of Concurrent and Real-Time Systems /
Business Component-Based Software Engineering /
Identifying Relevant Information for Testing Technique Selection : an Instantiated Characterization Schema /
Requirements Engineering /
Unifying theories of programming and formal engineering methods : International Training School on Software Engineering, held at ICTAC 2013, Shanghai, China, August 26-30, 2013, advanced lectures /
Software Engineering in C /
Formal Specification Techniques for Engineering Modular C Programs /
Software Performability: From Concepts to Applications /
The Synthesizer Generator Reference Manual /
Diffusing Software Product and Process Innovations : IFIP TC8 WG8.6 Fourth Working Conference on Diffusing Software Product and Process Innovations April 7-10, 2001, Banff, Canada /
ISO 9000-3 : a Tool for Software Product and Process Improvement /
Subrecursive Programming Systems : Complexity & Succinctness /
Software engineering : challenges and solutions : results of the XVIII KKIO 2016 Software Engineering Conference 2016 held at September 15-17 2016 in Wroclaw, Poland /
Trends and applications in software engineering : proceedings of CIMPS 2016 /
The Art of Immutable Architecture Theory and Practice of Data Management in Distributed Systems /
Evaluation of novel approaches to software engineering : 18th International Conference, ENASE 2023, Prague, Czech Republic, April 24-25, 2023, Revised selected papers /
Proceedings of International Conference on Recent Innovations in Computing : ICRIC 2023.
Requirements engineering for social sector software applications innovating for a diverse set of user needs /
The rational software engineer : a comprehensive guide for personal and professional growth /
Improve your problem-solving skills /
Computer aided verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, proceedings.
Recent innovations in computing : proceedings of ICRIC 2021.
Communicate with stakeholders more effectively /
Dependable software engineering : theories, tools, and applications : second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings /
Software, system, and service engineering S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023 and 8th Workshop on Advances in Programming Languages, WAPL 2023 held as part of FedCSIS 2023, Warsaw, Poland, 17-20 September 2023 revised selected papers /
Beginning Git and GitHub : version control, project management and teamwork for the new developer /
Software engineering, artificial intelligence, networking and parallel/distributed computing 2022-Winter /
Software engineering for large-scale multi-agent systems : research issues and practical applications /
Issues in Software Engineering Education /
Leveraging applications of formal methods, verification, and validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised selected papers /
Duration Calculus : a Formal Approach to Real-Time Systems /
Advances in Conceptual Modeling ER 2020 Workshops CMAI, CMLS, CMOMM4FAIR, CoMoNoS, EmpER, Vienna, Austria, November 3-6, 2020, Proceedings /
Systems modelling and management First International Conference, ICSMM 2020, Bergen, Norway, June 25-26, 2020, Proceedings /
Evolving Software Systems /
Re-engineering software : how to re-use programming to build new, state-of-the-art software /
Git : dezentrale Versionsverwaltung im Team Grundlagen und Workflows /
The DevOps adoption playbook : a guide to adopting DevOps in a multi-speed IT enterprise /
Evaluation of novel approaches to software engineering : 17th International Conference, ENASE 2022, virtual event, April 25-26, 2022, revised selected papers /
CTO Hour with Peter Bell : audio collection 2024 /
Mastering project discovery : successful discipline in engineering and analytics projects /
Software engineering : a methodical approach /
Knowledge-based software engineering proceedings of the 13th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2020), Larnaca, Cyprus, August 24-26 2020 /
Formal methods for industrial critical systems 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings /
Computer aided verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, proceedings.
Git for programmers : master Git for effective implementation of version control for your programming projects /
Software language engineering : 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings /
Advanced information systems engineering : 26th International Conference, CAiSE 2014, Thessaloniki, Greece, June 16-20, 2014. Proceedings /
Design science methodology for information systems and software engineering /
Software engineering for resilient systems : 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings /
Acing the System Design Interview /
Risk Assessment and Risk-Driven Testing : Third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015. Revised Selected Papers /
Rethinking productivity in software engineering /
Service-Oriented and Cloud Computing Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014. Proceedings /
Logic for programming, artificial intelligence, and reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings /
Fundamental approaches to software engineering : 19th International Conference, FASE 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016. Proceedings /
Evaluation of novel approaches to software engineering : 10th International Conference, ENASE 2015, Barcelona, Spain, April 29-30, 2015, Revised selected papers /
Crisis management for software development and knowledge transfer /
Software engineering education going agile : 11th China--Europe International Symposium on Software Engineering Education (CEISEE 2015) /
Formal methods: foundations and applications : 26th Brazilian symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, proceedings /
Product-focused software process improvement : 24th international conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, proceedings.
Information technology for management : solving social and business problems through IT : ITBS 2023 Main Track and ISM 2023 Thematic Track, held as part of FedCSIS 2023, Warsaw, Poland, September 17-20, 2023, extended and revised selected papers /
Testing software and systems : 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings /
Requirements writing for system engineering
Meta heuristic techniques in software engineering and its applications : METASOFT 2022 /
O'Reilly Book Club.
Managing information technology /
Requirements engineering toward sustainable world : third Asia-Pacific Symposium, APRES 2016, Nagoya, Japan, November 10-12, 2016, Proceedings /
What every engineer should know about digital accessibility /
Software engineering and management : theory and application.
Sustainability in software engineering and business information management : proceedings of the conference SSEBIM 2022 /
Applied parallel computing large scale scientific and industrial problems ; 4th International Workshop, PARA'98, Umeå, Sweden, June 14-17, 1998 ; proceedings /
CTO hours with Peter Bell.
Software development superstream.
Security-Driven Software Development Learn to Analyze and Mitigate Risks in Your Software Projects /
Cloud computing and services science : third International Conference, CLOSER 2013, Aachen, Germany, May 8-10, 2013, Revised Selected Papers /
Software technologies : 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised selected papers /
Tests and Proofs : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings /
Neal Ford on Agile Engineering Practices /
Communication and computing systems : proceedings of the International Conference on Communication and Computing Systems (ICCCS-2016), Dronacharya College of Engineering, Guragaon, India, 9-11 September, 2016 /
CMMI for development : implementation guide /
Evaluation of novel approaches to software engineering : 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised selected papers /
Software engineering trends and techniques in intelligent systems : proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017).
Knowledge, information and creativity support systems : selected papers from KICSS'2014 : 9th International Conference, held in Limassol, Cypus, on November 6-8, 2014 /
Fundamental Approaches to Software Engineering : 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings /
Software engineering research in system science : proceedings of 12th Computer Science On-line Conference 2023.
Persistent Object Systems Proceedings of the Third International Workshop 10-13 January 1989, Newcastle, Australia /
Git for visual studio : setting up managing, and working with repositories /
Frontiers in software engineering education : Second International Workshop, FISEE 2023, Villebrumier, France, January 23-25, 2023, invited papers /
Object-oriented and classical software engineering /
Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings /
2022 2nd International Conference on Management Science and Software Engineering (ICMSSE 2022) /
Program Monitoring and Visualization an Exploratory Approach /
Modelling Foundations and Applications : 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings /
Concise guide to software engineering : from fundamentals to application methods /
Software technologies 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26-28, 2019, Revised selected papers /
Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings.
Software engineering and formal methods : 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings /
The engineering executive's primer /
A Systematic Catalogue of Reusable Abstract Data Types /
Software Reuse: Methods, Techniques, and Tools : 8th International Conference, ICSR 2004, Madrid, Spain, July 5-9, 2009. Proceedings /
Agile Processes in Software Engineering and Extreme Programming - Workshops XP 2019 Workshops, Montréal, QC, Canada, May 21-25, 2019, Proceedings.
The Essence of Software Engineering /
Agile Processes in Software Engineering and Extreme Programming 20th International Conference, XP 2019, Montréal, QC, Canada, May 21-25, 2019, Proceedings.
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I.
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II.
Git for grownups /
Coordination models and languages 22nd IFIP WG 6. 1 International Conference, COORDINATION 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings /
Coordination models and Languages : 19th IFIP WG 6.1 International Conference, COORDINATION 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings /
Engineering trustworthy software systems : second International School, SETSS 2016, Chongqing, China, March 28-April 2, 2016, Tutorial lectures /
COMPONENT-BASED SOFTWARE ENGINEERING methods and metrics.
GIT for electronic circuit design CAD and version control for electrical engineers /
Advances in computers.
VDM'91 Formal Software Development Methods 4th International Symposium of VDM Europe Noordwijkerhout, the Netherlands, October 1991 Proceedings /
Managing Your Software Project a Student's Guide /
Dependable software engineering : theories, tools, and applications : 6th international symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings /
Practical Git : confident Git through practice /
Software architecture.
Introduction to software project management /
Advanced information systems engineering 23rd international conference, CAiSE 2011, London, UK, June 20-24, 2011 : proceedings /
Product-focused software process improvement 12th international conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011 : proceedings /
Theory and Practice of Model Transformation : 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings /
Software technologies : 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised selected papers /
Software engineering for resilient systems : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings /
Runtime verification 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings /
Equity, diversity, and inclusion in software engineering : best practices and insights /
Professional issues in software engineering /
Search-based software engineering 13th international symposium, SSBSE 2021, Bari, Italy, October 11-12, 2021, proceedings /
Software engineering and formal methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings /
Global software engineering : virtualization and coordination /
Software Engineering for Variability Intensive Systems : Foundations and Applications.
Experimentation in software engineering /
Qualitative research with socio-technical grounded theory : a practical guide to qualitative data analysis and theory development in the digital world /
Building tools with GitHub : customize your workflow /
Designing software architectures : a practical approach /
Software engineering /
Elements of Distributed Algorithms : Modeling and Analysis with Petri Nets /
Agent-oriented software engineering : reflections on architectures, methodologies, languages, and frameworks /
Enterprise DevOps playbook : a guide to delivering at velocity /
Git essentials : create, merge, and distribute code with Git, the most powerful and flexible versioning system available /
Handbook of re-engineering software intensive systems into software product lines /
OpenSHMEM and related technologies : OpenSHMEM in the era of exascale and smart networks : 8th Workshop on OpenSHMEM and Related Technologies, OpenSHMEM 2021, virtual event, September 14-16, 2021 : revised selected papers /
Reliability, safety, and security of railway systems : modelling, analysis, verification, and certification : 4th international conference, RSSRail 2022, Paris, France, June 1-2, 2022 : proceedings /
Enjiniaringu manējā no shigoto : chīmu ga hitsuyō to suru manējā ni naru hōhō /
Feature-oriented software product lines : concepts and implementation /
Breaking the addiction to process : an introduction to agile project management.
Requirements writing for system engineering /
Re-engineering legacy software /
The engineering executive's primer : impactful technical leadership /
Skills of a successful software engineer /
Logic, computation and rigorous methods essays dedicated to Egon Börger on the occasion of his 75th birthday /
Systems and information sciences proceedings of ICCIS 2020 /
Software engineering for robotics
Fundamentals of software engineering : 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised selected papers /
Lean and agile software development : 5th International Conference, LASD 2021, virtual event, January 23, 2021, proceedings /
From data to models and back 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers /
Communication, smart technologies and innovation for society proceedings of CITIS 2021 /
Fundamentals of software engineering : 9th International Conference, FSEN 2021, Virtual event, May 19-21, 2021, Revised selected papers /
Software engineering and formal methods : 19th International Conference, SEFM 2021, Virtual event, December 6-10, 2021, Proceedings /
Knowledge engineering and semantic web : 8th International Conference, KESW 2017, Szczecin, Poland, November 8-10, 2017, Proceedings /
Software technologies 15th international conference, ICSOFT 2020, Online event, July 7-9, 2020, revised selected papers /
Dependable software engineering : theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings /
Information systems reengineering, integration and normalization heterogeneous database connectivity /
Software engineering for resilient systems : 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings /
Become an effective software engineering manager : how to be the leader your development team needs /
Complex, intelligent and software intensive systems : proceedings of the 18th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2024) /
Tech Leadership Playbook Building and Sustaining High-Impact Technology Teams /
Dependable software engineering : theories, tools, and applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings /
Beginning software engineering /
Programming for Software Sharing /
Software Engineering for Large Software Systems /
Git Schnelleinstieg : Versionsverwaltung lernen in 14 Tagen : einfach und ohne Vorkenntnisse /
Software Architecture Metrics
Software technology : 10 years of innovation in IEEE Computer /
Meet the expert : the benefits of open source and the risks of open core with Ben Bromhead and Danese Cooper.
Domain engineering : product lines, languages, and conceptual models /
Software Engineering with Computational Intelligence
Advanced information systems engineering : 34th international conference, CAiSE 2022, Leuven, Belgium, June 6-10, 2022 : proceedings /
Software Engineering and Middleware : Third International Workshop, SEM 2002 Orlando, FL, USA, May 20-21, 2002 Revised Papers /
Advances in Computing : 12th Colombian Conference, CCC 2017, Cali, Colombia, September 19-22, 2017, Proceedings /
Righting software : a method for system and project design /
Mastering Git : attain expert-level proficiency with Git for enhanced productivity and efficient collaboration by mastering advanced distributed version control features /
Jump start Git /
Testen in Scrum-Projekten : Leitfaden für Softwarequalität in der agilen Welt : Aus- und Weiterbildung zum ISTQB Certified Agile Tester - Foundation Extension /
GitLab quick start guide : migrate to GitLab for all your repository management solutions /
Managing technical debt : reducing friction in software development /
Een grijs gat : Meten aan software(kwaliteit)
Remote engineering management : managing an engineering team in a remote-first world /
Requirements engineering for digital health /
Good code, bad code : think like a software engineer /
Modern Software Engineering : Doing What Works to Build Better Software Faster /
Fundamental approaches to software engineering : 17th International Conference, FASE 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
Software development measurement programs : development, management and evolution /
Building green software : a sustainable approach to software development and operations /
Data enginerring with Scala and Spark : a practical guide helping you build streaming and batch... pipelines that process massive amounts of data usi /
Software architecture fundamentals : understanding the basics /
Practical Scala DSLs real-world applications using domain specific languages /
Software engineering : specification, implementation, verification /
Search Based Software Engineering : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings /
Environment modeling-based requirements engineering for software intensive systems /
Computational Science - ICCS 2001 : International Conference San Francisco, CA, USA, May 28"30, 2001 Proceedings, Part II.
Testing software and systems : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings /
Information and software technologies : 23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12-14, 2017, proceedings /
Applied Computer Sciences in Engineering : 4th Workshop on Engineering Applications, WEA 2017, Cartagena, Colombia, September 27-29, 2017, Proceedings /
Software development hour.
Write useful code comments /
Create immutable objects /
Think like a software engineering manager /
Read code and make it cleaner /
Name your functions /
Green Software Engineering : Exploring Green Technology for Sustainable IT Solutions /
Clean Code Kochbuch : Rezeptge für gutes Code-Design und bessere Softwarequalität /
Learn Git in 3 hours /
Write clean code from scratch /
Time-frequency domain for segmentation and classification of non-stationary signals : the Stockwell Transform applied on bio-signals and electric signals /
Would you like architects with your architecture? /
Acing the system design Interview /
Should architects code? : perhaps, but they must debug! /
Understand why the most valuable architect is neither on the top nor the bottom of an organization /
It's lonely at the top /
Architects don't draw, they sketch /
Expert leadership and management in agile project management : building core competencies.
Why nothing ever gets done around here.
Why don't they get it?
Every constraint is an opportunity.
Raising the level of abstraction deepens your thinking.
A4 paper doesn't stifle creativity.
Git and Github LiveLessons : workshop (sneak peek video training) /
Collaborating with Git /
Durable Ideas in Software Engineering.
Software architecture for busy developers : talk and act like a software architect in one weekend /
Good code, bad code /
Coding interview preparation : learn to solve algorithmic problems to land your next software role.
The mythical man-month : essays on software engineering /
DevOps Unleashed with Git and GitHub Automate, Collaborate, and Innovate to Enhance Your DevOps Workflow and Development Experience.
Software engineering for data scientists from notebooks to scalable systems /
SUPERVISED AND UNSUPERVISED DATA ENGINEERING FOR MULTIMEDIA DATA
Working with Legacy Systems : a Practical Guide to Looking after and Maintaining the Systems We Inherit.
Dependable software systems engineering /
Chaos engineering with Docker.
Git complete : a comprehensive, step-by-step guide to becoming a Git source control expert /
The Architecture of Privacy : On Engineering Technologies that Can Deliver Trustworthy Safeguards /
Research and Evidence in Software Engineering From Empirical Studies to Open Source Artifacts.
Automotive software architectures an introduction /
Software engineering in IoT, big data, cloud and mobile computing /
Recent innovations in computing : proceedings of ICRIC 2020 /
Model-driven engineering and software development : 8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020, revised selected papers /
Successful Test Management : an Integral Approach /
Software engineering, artificial intelligence, networking and parallel/distributed computing
Agile project management, assurance and auditing : a practical guide for auditors, reviewers and project teams /
Software Technology:10 Years of Innovation in IEEE Computer
Modular Specification and Verification of Object-Oriented Programs /
The Design of an Extendible Graph Editor /
The Munich Project CIP /
The Munich Project CIP : Volume II: The Program Transformation System CIP-S /
ECOOP'98 - Object-Oriented Programming : 12th European Conference Brussels, Belgium, July 20-24, 1998 Proceedings /
TAPSOFT '89 : Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989 /
Reliability, safety, and security of railway systems : modelling, analysis, verification, and certification : second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings /
Requirements engineering foundation for software quality : 28th International Working Conference, REFSQ 2022, Birmingham, UL, March 21-24, 2022, proceedings /
Recent innovations in computing proceedings of ICRIC 2021.
GIT for electronic circuit design : CAD and version control for electrical engineers /
Cloud Computing and Services Science : Second International Conference, CLOSER 2012, Porto, Portugal, April 18-21, 2012, revised selected papers /
Continuous Integration (CI) and Continuous Delivery (CD) : a practical guide to designing and developing pipelines /
Design thinking for software engineering creating human-oriented software-intensive products and services /
Evaluation of novel approaches to software engineering : 16th International Conference, ENASE 2021, Virtual event, April 26-27, 2021, Revised selected papers /
Computational Science - ICCS 2004 : 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part II /
Fundamentals of software engineering : 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised selected papers /
Métodos de investigación en ingeniería del software
Working with Legacy Systems : a practical guide to looking after and maintaining the systems we inherit /
Automating Workflows with GitHub Actions /
The missing README : a guide for the new software engineer /
Pragmatic guide to Git /
OpenSHMEM and related technologies : OpenSHMEM in the era of extreme heterogeneity : 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21-23, 2018, Revised Selected Papers /
Taming the Tiger : Software Engineering and Software Economics /
Head first Git : a learner's guide to understanding Git from the inside out /
Cybernetics and algorithms in intelligent systems : proceedings of 7th Computer Science On-Line Conference 2018.
Object Oriented Computer Systems Engineering /
SOFTWARE ENGINEERING APPROACHES TO ENABLE DIGITAL TRANSFORMATION TECHNOLOGIES
Computational Science - ICCS 2004 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part III.
Aligning organizations through measurement : the GQM+ strategies approach /
Handbook of requirements and business analysis /
Aligning business processes and information systems : new approaches to continuous quality engineering /
Human-centered software engineering 9th IFIP WG 13. 2 International Working Conference, HCSE 2022, Eindhoven, the Netherlands, August 24-26, 2022, Proceedings /
Lectures on runtime verification : introductory and advanced topics /
Thinking-driven testing : the most reasonable approach to quality control /
Advances in service-oriented and cloud computing : workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, revised selected papers /
Agile product development : how to design innovative products that create customer value /
Exploring the Raspberry Pi 2 with C++ /
Risks and Security of Internet and Systems : 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers /
Coordination models and languages : 20th IFIP WG 6.1 International Conference, COORDINATION 2018, held as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings /
Handbook on artificial intelligence-empowered applied software engineering.
Dependable computing -- EDCC 2022 Workshops : SERENE, DREAMS, AI4RAILS, Zaragoza, Spain, September 12, 2022, Proceedings /
Software engineering and formal methods : SEFM 2021 collocated workshops : CIFMA, CoSim-CPS, OpenCERT, ASYDE, virtual event, December 6-10 2021, revised selected papers /
Software engineering and formal methods : 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, proceedings /
Git fundamentals for web developers /
I'm a software architect, now what? : leadership, relationships, and communication /
Learn key skills in software engineering craftmanship course.
Git essentials LiveLessons /
Modern software engineering : continuous delivery and microservices with .NET (MeasureUP Conference).
Computational Science - ICCS 2004 : 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part IV.
Software technologies : applications and foundations : STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised selected papers /
Advanced information systems engineering workshops : CAiSE 2014 International Workshops, Thessaloniki, Greece, June 16-20, 2014. Proceedings /
Git : mastering version control /
Software technologies : 16th International Conference, ICSOFT 2021, Virtual event, July 6-8, 2021, Revised selected papers /
DevOps for airborne software exploring modern approaches /
Theoretical aspects of software engineering : 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings /
The practice of enterprise modeling : 11th IFIP WG 8.1. Working Conference, PoEM 2018, Vienna, Austria, October 31-November 2, 2018, Proceedings /
Software fault prediction : a road map /
Software technologies : 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24-26, 2017, Revised selected papers /
Search-based software engineering : 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings /
Integrated formal methods : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings /
Software and data technologies : 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, revised selected papers /
Requirements engineering : foundation for software quality : 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014 : proceedings /
Sharing data and models in software engineering /
Evaluation of novel approaches to software engineering : 12th International Conference, ENASE 2017, Porto, Portugal, April 28-29, 2017, Revised selected papers /
Software engineering and formal methods : SEFM 2020 collocated workshops : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, revised selected papers /
Knowledge engineering and the semantic web : 4th International Conference, KESW 2013, St. Petersburg, Russia, October 7-9, 2013. Proceedings /
Aspect-oriented requirements engineering /
Systems engineering of software-enabled systems /
Practical Scala DSLs : real-world applications using domain specific languages /
Beyond The Phoenix Project : the Origins and Evolution of DevOps /
Software architecture : 15th European Conference, ECSA 2021 Tracks and Workshops, Växjö, Sweden, September 13-17, 2021, revised selected papers /
Software engineering and formal methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings /
Present and ulterior software engineering /
Towards a synergistic combination of research and practice in software engineering /
Software engineering, artificial intelligence, networking and parallel/distributed computing /
Mining software engineering data for software reuse /
Proceedings of 5th International Conference in Software Engineering for Defence Applications : SEDA 2016 /
OpenSHMEM and related technologies : big compute and big data convergence : 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised selected papers /
Guide to software systems development : connecting novel theory and current practice /
Recent advances and future prospects in knowledge, information and creativity support systems : selected revised papers from the tenth International Conference on Knowledge, Information and Creativity Support Systems (KICSS 2015), 12-14 November 2015, Phuket, Thailand /
Advanced information technology, services and systems proceedings of the International Conference on Advanced Information Technology, Services and Systems (AIT2S-17) held on April 14/15, 2017 in Tangier /
The agile safety case
Requirements engineering for Internet of Things : 4th Asia-Pacific Symposium, APRES 2017, Melaka, Malaysia, November 9-10, 2017, Proceedings /
Software technologies applications and foundations : STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, revised selected papers /
Experimentation in Software Engineering an Introduction /
Formal Engineering for Industrial Software Development : Using the SOFL Method /
Design it! : from programmer to software architect /
Software engineering perspectives in systems : proceedings of 11th Computer Science On-line Conference 2022.
Git version control cookbook : leverage version control to transform your development workflow and boost productivity /
Software architect's handbook : become a successful software architect by implementing effective architecture concepts /
Modeling Design Objects and Processes /
Domain Modeling-Based Software Engineering a Formal Approach /
MOSFET Models for VLSI Circuit Simulation : Theory and Practice /
Prototyping-Oriented Software Development Concepts and Tools /
Distributed Systems : Software Design and Implementation /
Open Multithreaded Transactions : a Transaction Model for Concurrent Object-Oriented Programming /
Advances in model and data engineering in the digitalization era : MEDI 2022 short papers and DETECT 2022 workshop papers, Cairo, Egypt, November 21-24, 2022, proceedings /
Product focused software process improvement 4th international conference, PROFES 2002, Rovaniemi, Finland, December 9-11, 2002 : proceedings /
Software Engineering with Reusable Components /
Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Inductive Constructions /
Software Engineering on Sun Workstations® /
Dependable software engineering : theories, tools, and applications : 8th International Symposium, SETTA 2022, Beijing, China, October 24-28, 2022, proceedings /
Case Technology : a Special Issue of the Journal of Systems Integration /
Non-Functional Requirements in Software Engineering /
Abstract State Machines : a Method for High-Level System Design and Analysis /
Tools and Environments for Parallel and Distributed Systems /
Algebraic Specifications in Software Engineering : an Introduction /
Software architecture : 17th European Conference, ECSA 2023, Istanbul, Turkey, September 18-22, 2023, Proceedings /
Practical Software Reuse /
Patterns and Skeletons for Parallel and Distributed Computing /
Systems Engineering for Business Process Change: New Directions : Collected Papers from the EPSRC Research Programme /
Inheritance Relationships for Disciplined Software Construction /
Managing Software Quality a Measurement Framework for Assesment and Prediction /
Components of System Safety : Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK 2002 /
Dictionary of Acronyms and Technical Abbreviations : For Information and Communication Technologies and Related Areas /
Software Architectures : Advances and Applications /
Systems Engineering for Business Process Change : Collected Papers from the EPSRC Research Programme /
System Development : a Strategic Framework /
Industrial-Strength Formal Methods in Practice /
Safer Systems Proceedings of the Fifth Safety-critical Systems Symposium, Brighton 1997 /
Towards System Safety : Proceedings of the Seventh Safety-critical Systems Symposium, Huntingdon, UK 1999 /
Current Issues in Safety-Critical Systems : Proceedings of the Eleventh Safety-critical Systems Symposium, Bristol, UK, 4-6 February 2003 /
Aspects of Safety Management : Proceedings of the Ninth Safety-critical Systems Symposium, Bristol, UK 2001 /
Safe Comp 97 : the 16th International Conference on Computer Safety, Reliability and Security /
The Renaissance of Legacy Systems : Method Support for Software-System Evolution /
Safe Comp 96 : the 15th International Conference on Computer Safety, Reliability and Security, Vienna, Austria October 23-25 1996 /
Directions in Safety-Critical Systems : Proceedings of the First Safety-critical Systems Symposium The Watershed Media Centre, Bristol 9-11 February 1993 /
NAPAW 92 : Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992 /
Semantics of Specification Languages (SoSL) : Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, the Netherlands, 25-27 October 1993 /
Algebraic Methodology and Software Technology (AMAST'93) : Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, the Netherlands 21-25 June 1993 /
High-Integrity System Specification and Design /
Formal Methods in Standards : a Report from the BCS Working Group /
Open Geometry: OpenGL® + Advanced Geometry
Testing Object-Oriented Software Life Cycle Solutions /
Object-Oriented Metamethods /
The Art of Distributed Applications : Programming Techniques for Remote Procedure Calls /
APL2 in Depth /
Computer aided software engineering /
Empirical Foundations of Information and Software Science III /
Towards a Software Factory /
Program Transformation and Programming Environments
Pioneers and Their Contributions to Software Engineering : sd & m Conference on Software Pioneers, Bonn, June 28/29, 2001, Original Historic Contributions /
Software Management Approaches: Project Management, Estimation, and Life Cycle Support : Software Best Practice 3 /
Managing the Change: Software Configuration and Change Management : Software Best Practice 2 /
Software Process Improvement: Metrics, Measurement, and Process Modelling : Software Best Practice 4 /
Software Development and Reality Construction /
Prototyping : an Approach to Evolutionary System Development /
Application and Theory of Petri Nets : Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets Strasbourg, 23.-26. September 1980 Bad Honnef, 28.-30. September 1981 /
PISA : a Programming System for Interactive Production of Application Software /
The Use of Formal Specification of Software : June 25-27, 1979, Berlin /
Verification and Validation of Real-Time Software
Approaches to Prototyping /
Interactive Multimedia Learning Environments : Human Factors and Technical Considerations on Design Issues /
Object-Oriented Programming : with Prototypes /
High-level Petri Nets : Theory and Application /
Software System Design Methods : the Challenge of Advanced Computing Technology /
Computational intelligence applications for software engineering problems /
Systems and Software Verification : Model-Checking Techniques and Tools /
Agile project management.
Achieving quality in software proceedings of the third international conference on achieving quality in software, 1996 /
A software engineer's guide to seniority : a guide to technical leadership /
Active networks first international working conference, IWAN '99, Berlin, Germany, June 30-July 2, 1999 : proceedings /
Environment Modeling-Based Requirements Engineering for Software Intensive Systems.
Principles of package design : creating reusable software components /
Engineering trustworthy software systems : third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial lectures /
Synergies between knowledge engineering and software engineering
Trends and applications in software engineering : proceedings of the 6th International Conference on Software Process Improvement (CIMPS 2017) /
Symposium on real-time and hybrid systems : essays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday /
Dependable software engineering : theories, tools, and applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings /
Information and software technologies : 24th International Conference, ICIST 2018, Vilnius, Lithuania, October 4-6, 2018, Proceedings /
Testing software and systems : 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings /
Requirements engineering : first Asia Pacific Requirements Engineering Symposium, APRES 2014, Auckland, New Zealand, April 28-29, 2014. Proceedings /
Engineering trustworthy software systems : 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures /
DevOps and DNS : improving web application performance at the DNS layer /
Refactoring : improving the design of existing code /
Your first steps from programmer to software architect /
Efficient go : data-driven performance optimization /
Handbook of software engineering /
McCullough and Berglund on mastering advanced Git.
Git best practices guide : master the best practices of Git with the help of real-time scenarios to maximize team efficiency and workflow /
Git under the hood : LiveLessons /
McCullough and Berglund on mastering Git.
Process Algebra with Timing /
Using Toolpack Software Tools : Proceedings of the Ispra-Course held at the Joint Research Centre, Ispra, Italy, 17-21 November 1986 /
A Primer in Petri Net Design /
Object-Process Methodology : a Holistic Systems Paradigm /
Intersensory Perception and Sensory Integration /
The Science of Programming
Safety and Reliability of Software Based Systems : Twelfth Annual CSR Workshop (Bruges, 12-15 September 1995) /
Software Engineering Education : the Educational Needs of the Software Community /
A Knowledge-Based Approach to Program Understanding /
Reliability, Quality and Safety of Software-Intensive Systems : IFIP TC5 WG5.4 3rd International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS '97), 29th-30th May 1997, Athens, Greece /
A Paradigm for Decentralized Process Modeling /
Topology in Process Calculus : Approximate Correctness and Infinite Evolution of Concurrent Programs /
Managing Software Engineering Knowledge /
Constraint-Based Design Recovery for Software Reengineering : Theory and Experiments /
Analysis and Design of Information Systems /
Software Defect and Operational Profile Modeling /
Curves and Surfaces in Computer Aided Geometric Design /
Come, Let's Play : Scenario-Based Programming Using LSCs and the Play-Engine /
Software Quality Approaches: Testing, Verification, and Validation : Software Best Practice 1 /
Coloured Petri Nets : Basic Concepts, Analysis Methods and Practical Use /
Specification of Software Systems /
Operating continuously : best practices for accelerating software delivery /
Software Development Hour with Sam Newman.
The business manager's guide to software projects : a framework for decision-making, team collaboration, and effectiveness /
Software Development Superstream.
Performance Management of Integrated Systems and Its Applications in Software Engineering
Search-based software engineering : 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015 : proceedings /
Versionsverwaltung mit Git /
ZUM 98: The Z Formal Specification Notation 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings /
Testen in Scrum-Projekten : Leitfaden für Softwarequalität in der agilen Welt.
Softwareevolution : Erhaltung und Fortschreibung bestehender Softwaresysteme.
Kontrola wersji z systemem Git : Narzędzia i techniki programistów /
Git : Leksykon kieszonkowy /
Testing software and systems : 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings /
From software engineering to formal methods and tools, and back : essays dedicated to Stefania Gnesi on the occasion of her 65th birthday /
What every engineer should know about software engineering /
Quantum software engineering
Trends and applications in software engineering : proceedings of the 7th International Conference on Software Process Improvement (CIMPS 2018) /
Evaluation of novel approaches to software engineering : 9th International Conference, ENASE 2014, Lisbon, Portugal, April 28-30, 2014, Revised selected papers /
Requirements Engineering in the Big Data Era : Second Asia Pacific Symposium, APRES 2015, Wuhan, China, October 18-20, 2015, Proceedings /
Computational statistics and mathematical modeling methods in intelligent systems Proceedings of 3rd Computational Methods in Systems and Software 2019.
Knowledge-based software engineering: 2018 : proceedings of the 12th Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2018) Corfu, Greece /
Artificial intelligence and algorithms in intelligent systems : proceedings of 7th Computer Science On-line Conference 2018.
Engineering software systems : research and praxis /
Software engineering : International Summer Schools, LASER 2013-2014, Elba, Italy, Revised tutorial lectures /
Information and software technologies : 21st International Conference, ICIST 2015, Druskininkai, Lithuania, October 15-16, 2015, Proceedings /
Software engineering and formal methods : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised selected papers /
Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings /
Testing software and systems : 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings /
Product-Focused Software Process Improvement : 16th International Conference, PROFES 2015 Bolzano, Italy, December 2-4, 2015, Proceedings /
Trends and applications in software engineering : proceedings of the 4th International Conference on Software Process Improvement CIMPS'2015 /
Domain Modelling for Interactive Systems Design /
Picture Engineering
C: A Software Engineering Approach
Paragon: A Language Using Type Hierarchies for the Specification, Implementation, and Selection of Abstract Data Types.
Software engineering at Google : lessons learned from programming over time /
Environmental Software Systems Proceedings of the International Symposium on Environmental Software Systems, 1995 /
Software Visualization From Theory to Practice /
Software Quality and Productivity : Theory, practice, education and training /
Functional Programming : Proceedings of the 1989 Glasgow Workshop 21-23 August 1989, Fraserburgh, Scotland /
Visual Database Systems 4 (VDB4) : IFIP TC2 /
Program Development by Refinement Case Studies Using the B Method /
Advances in Software Engineering : Comprehension, Evaluation, and Evolution /
Persistent Object Systems : Proceedings of the Fifth International Workshop on Persistent Object Systems, San Miniato (Pisa), Italy, 1-4 September 1992 /
Critical Issues in User Interface Systems Engineering /
Z User Workshop : Proceedings of the Fourth Annual Z User Meeting Oxford, 15 December 1989 /
Guide to Applying Human Factors Methods : Human Error and Accident Management in Safety-Critical Systems /
Semantics for Concurrency : Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK /
Security and Persistence : Proceedings of the International Workshop on Computer Architectures to Support Security and Persistence of Information 8-11 May 1990, Bremen, West Germany /
Developing Business Applications with OpenStepTM /
User-Centred Requirements Engineering
Z User Workshop, London 1992 : Proceedings of the Seventh Annual Z User Meeting, London 14-15 December 1992 /
Achievement and Assurance of Safety : Proceedings of the Third Safety-critical Systems Symposium /
The Architecture of Scientific Software : IFIP TC2/WG2.5 Working Conference on the Architecture of Scientific Software October 2-4, 2000, Ottawa, Canada /
An Integrated Approach to Software Engineering /
Software Development Tools /
Model-based approaches to the internet of things /
Software engineering and formal methods -- SEFM 2022 collocated workshops : AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, revised selected papers /
Petri Nets : an Introduction /
Introduction to Process Algebra /
Petri Nets for Systems Engineering : a Guide to Modeling, Verification, and Applications /
Hector Heterogeneous Computers Together A Joint Project of IBM and the University of Karlsruhe : Volume II: Basic Projects /
Data science and algorithms in systems : proceedings of 6th Computational Methods in Systems and Software 2022.
Effektives Arbeiten mit Legacy Code : Refactoring und Testen bestehender Software /
Software engineering application in systems design : proceedings of 6th Computational Methods in Systems and Software 2022.
Semantic Networks for Understanding Scenes
Agent Technology : Foundations, Applications, and Markets /
Grand timely topics in software engineering : International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, tutorial lectures /
Software engineering and formal methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, proceedings /
Engineering trustworthy software systems : first International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures /
Fundamentals of software engineering : 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised selected papers /
Software technologies : 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised selected papers /
Knowledge, information and creativity support systems : recent trends, advances and solutions : selected papers from KICSS '2013, 8th International Conference on Knowledge, Information, and Creativity Support Systems, November 7-9, 2013, Kraków, Poland /
Software engineering and methodology for emerging domains : 16th National Conference, NASAC 2017, Harbin, China, November 4-5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23-25, 2018, revised selected papers /
Software engineering for resilient systems : 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings /
Software Technologies : 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, revised selected papers /
Engineering software for modern challenges first International Conference, ESMoC 2021, Johor, Malaysia, October 20-21, 2021, Revised Selected Papers /
Search-based software engineering 14th International Symposium, SSBSE 2022, Singapore, November 17-18, 2022, Proceedings /
Scalable Data Architecture with Java : Build Efficient Enterprise-Grade Data Architecting Solutions Using Java /
Fundamentals of software engineering third IPM international conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009 : revised selected papers /
Software engineering and formal methods : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /
Intelligent software methodologies, tools and techniques : 14th International Conference, SoMeT 2015, Naples, Italy, September 15-17, 2015, proceedings /
Knowledge engineering and semantic web : 6th International Conference, KESW 2015 Moscow, Russia, September 30 -- October 2, 2015 Proceedings /
Software engineering for resilient systems : 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings /
Intelligent Systems Applications in Software Engineering : Proceedings of 3rd Computational Methods in Systems and Software 2019.
Artificial intelligence methods in intelligent algorithms : proceedings of 8th Computer Science On-line Conference 2019.
Designing Microservices Platforms with NATS /
Reliability, safety, and security of railway systems : modelling, analysis, verification, and certification : third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings /
Coordination Models and Languages 21st IFIP WG 6.1 International Conference, COORDINATION 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings /
Financial software engineering /
Service-Oriented Computing : 13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015, Proceedings /
Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014. Proceedings /
Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /
Software Project Management in a Changing World
Knowledge-Based Software Engineering 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014. Proceedings /
Software Engineering Grundlagen, Menschen, Prozesse, Techniken.
Coloured Petri Nets Basic Concepts, Analysis Methods and Practical Use Volume 1 /
SOFTWARE CLONES : GUILTY UNTIL PROVEN INNOCENT?
Developing sustainable and energy-efficient software systems /
Software process improvement and capability determination : 14th International Conference, SPICE 2014, Vilnius, Lithuania, November 4-6, 2014, Proceedings /
Advanced information systems engineering : 35th International Conference, CAiSE 2023, Zaragoza, Spain, June 12-16, 2023, proceedings /
Accelerating digital transformation : 10 years of Software Center /
Requirements engineering : foundation for software quality : 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18-21, 2019, Proceedings /
Software engineering and formal methods : 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /
Safety-Critical Systems: The Convergence of High Tech and Human Factors : Proceedings of the Fourth Safety-critical Systems Symposium /
Systematic Reuse: Issues in Initiating and Improving a Reuse Program : Proceedings of the International Workshop on Systematic Reuse, Liverpool, 8-9 January 1996 /
Industrial Perspectives of Safety-critical Systems : Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham 1998 /
Formal Methods in Systems Engineering /
Z User Workshop, York 1991 : Proceedings of the Sixth Annual Z User Meeting, York 16-17 December 1991 /
Formal Methods in Databases and Software Engineering Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992 /
Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings /
Dependable software engineering : theories, tools, and applications : 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings /
The practice of enterprise modeling 12th IFIP Working Conference, PoEM 2019, Luxembourg, Luxembourg, November 27-29, 2019, proceedings /
Service-oriented computing -- ICSOC 2015 Workshops : WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015, Revised selected papers /
Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
Evolvable Systems: From Biology to Hardware : 9th International Conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings /
Action research in software engineering theory and applications /
Knowledge-based software engineering : 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014. Proceedings /
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings /
Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers /
Systems implementation 2000 : IFIP TC2 WG2.4 Working Conference on Systems Implementation 2000: Languages, methods and tools 23-26 February 1998, Berlin, Germany /
Software Reuse: Methods, Techniques, and Tools 8th International Conference, ICSR 2004, Madrid, Spain, July 5-9, 2009. Proceedings /
Formal Foundations for Software Engineering Methods
Scientific Engineering of Distributed Java Applications
Reliability, safety, and security of railway systems : modelling, analysis, verification, and certification : 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings /
Software engineering in the era of cloud computing /
Modernes Software Engineering : bessere Software schneller und effektiver entwickeln /
Software Architecture Hour.
Requirements Engineering for Software and Systems
Google no sofutowea enjiniaringu : jizoku kanō na puroguramingu o sasaeru gijutsu, bunka, purosesu /
Inżynieria oprogramowania według Google : czego warto się nauczyć o tworzeniu oprogramowania /
The dojo coach's pocket guide : maximizing immersive learning for agile teams /
Globalizing Domain-Specific Languages : International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers /
Dependable Software Engineering: Theories, Tools, and Applications : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings /
SDL 2015: Model-Driven Engineering for Smart Cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings /
Basiswissen Requirements Engineering : Aus- und Weiterbildung zum "Certified Professional for Requirements Engineering" ; Foundation Level nach IREB-Standard /
Software engineering perspectives and application in intelligent systems : proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016).
Transactions on petri nets and other models of concurrency X /
Intelligent Tutoring Systems : Third International Conference, ITS '96 Montréal, Canada, June 12-14, 1996 Proceedings /
Software architecture in action designing and executing architectural models with SysADL grounded on the OMG SysML standard /
Theoretical aspects of software engineering : 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings /
Hector : Heterogeneous Computers Together. A Joint Project of IBM and the University of Karlsruhe, Volume I: New Ways in Education and Research /
Knowledge engineering and semantic web : 7th International Conference, KESW 2016, Prague, Czech Republic, September 21-23, 2016, proceedings /
Formal methods and software engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings /
Proceedings of 6th International Conference in Software Engineering for Defence Applications : SEDA 2018 /
Integrating research and practice in software engineering
Automated software engineering a deep learning based approach /
Trends and applications in software engineering : proceedings of the 8th International Conference on Software Process Improvement (CIMPS 2019) /
A journey towards bio-inspired techniques in software engineering /
Formal methods for software engineering : languages, methods, application domains /
Agile product and project management : a step-by -step guide to building the right products /
Agile project and product management.
Software engineering in the era of cloud computing
Model-driven engineering and software development : 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20-22, 2019, revised selected papers /
Evaluation of Novel Approaches to Software Engineering 14th International Conference, ENASE 2019, Heraklion, Crete, Greece, May 4-5, 2019, Revised Selected Papers /
Advances in agile and user-centred software engineering : third International Conference on Lean and Agile Software Development, LASD 2019, and 7th Conference on Multimedia, Interaction, Design and Innovation, MIDI 2019, Leipzig, Germany, September 1-4, 2019, Revised Selected Papers /
Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers /
Perspectives of system informatics : 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised selected papers /
Computational Science and Its Applications ICCSA 2003 00 : International Conference Montreal, Canada, May 1821, 2003 Proceedings, Part I /
Formal Methods and Software Engineering
Software engineering and formal methods : 14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings /
Requirements engineering 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24-27, 2020, Proceedings /
Guide to software systems development connecting novel theory and current practice /
Proceedings of 4th International Conference in Software Engineering for Defence Applications : SEDA 2015 /
Design it! : puroguramā no tame no ākitekutingu nyūmon /
Advanced information systems engineering workshops : CASEe 2023 International Workshops, Zaragoza, Spain, June 12-16, 2023, proceedings /
Convergence in crossover service /
Software technologies 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised selected papers /
Knowledge engineering and the semantic web : 5th International Conference, KESW 2014, Kazan, Russia, September 29-October 1, 2014. Proceedings /
A Systematic Catalogue of Reusable Abstract Data Types
KORSO: Methods, Languages, and Tools for the Construction of Correct Software Final Report /
Architectural Design Conception and Specification of Interactive Systems /
Multicore software engineering, performance, and tools : international conference, MUSEPAT 2013, St. Petersburg, Russia, August 19- 20, 2013, proceedings /
Testing software and systems : 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020 : proceedings /
Information and software technologies : 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10-12, 2019, Proceedings /
Graph transformation for software engineers with applications to model-based development and domain-specific language engineering /
Fundamentals of software engineering : 6th International Conference, FSEN 2015 Tehran, Iran, April 22-24, 2015, Revised selected papers /
Software Re-use, Utrecht 1989 : Proceedings of the Software Re-use Workshop, 23-24 November 1989, Utrecht, the Netherlands /
Mastering the Art of Sales Engineering Develop Essential Skills and Gain Valuable Insights for High-Tech Sales Engineering Success /
Ingeniería de software en Google : lecciones sobre programación aprendidas a lo largo del tiempo /
Sutaffu enjinia no michi : sugureta gijutsu senmonshoku ni naru tame no gaido /
El ascensor de arquitecto de software : redefinir el papel del arquitecto en la empresa digital /
Quantum software : aspects of theory and system design /
Managing Information Technology
The Unified Modeling Language. "UML"'98: Beyond the Notation First International Workshop, Mulhouse, France, June 3-4, 1998. Selected Papers /
Tool Support for System Specification, Development and Verification
Tech Leadership Playbook : Building and Sustaining High-Impact Technology Teams /
Crafting secure software : an engineering leader's guide to security by design /
Software engineering and formal methods : SEFM 2023 Collocated Workshops : CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised selected papers /
Elements of C
Generic Pipelines Using Docker The DevOps Guide to Building Reusable, Platform Agnostic CI/CD Frameworks /
Software reliability modeling fundamentals and applications /
Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings /
Scaling a Software Business: The Digitalization Journey
Technology and Assessment of Safety-Critical Systems Proceedings of the Second Safety-critical Systems Symposium, Birmingham, UK, 8-10 February 1994 /
The software architect elevator.
Chaos engineering : site reliability through controlled disruption /
Software engineering and formal methods : SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised selected papers / 		775
QA76.758 .A238 2017 A System-Theoretic Safety Engineering Approach for Software-Intensive Systems. 1