Books with this tag

Software Engineering

Advances in Conceptual Modeling: ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6–9, 2017, Proceedings

Advances in Conceptual Modeling: ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6–9, 2017, Proceedings

2017 · ENGLISH · PDF

View details

Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

2017 · ENGLISH · PDF

View details

The Practice of Enterprise Modeling: 10th IFIP WG 8.1. Working Conference, PoEM 2017, Leuven, Belgium, November 22-24, 2017, Proceedings

The Practice of Enterprise Modeling: 10th IFIP WG 8.1. Working Conference, PoEM 2017, Leuven, Belgium, November 22-24, 2017, Proceedings

2017 · ENGLISH · PDF

View details

Product-Focused Software Process Improvement: 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29–December 1, 2017, Proceedings

Product-Focused Software Process Improvement: 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29–December 1, 2017, Proceedings

2017 · ENGLISH · PDF

View details

Conceptual Modeling: 36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedings

Conceptual Modeling: 36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedings

2017 · ENGLISH · PDF

View details

Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

2017 · ENGLISH · PDF

View details

Digging into Software Knowledge Generation in Cultural Heritage: Modeling Assistance Strategies for Large Archaeological Data Sets

Digging into Software Knowledge Generation in Cultural Heritage: Modeling Assistance Strategies for Large Archaeological Data Sets

2018 · ENGLISH · PDF

View details

Service-Oriented Computing: 15th International Conference, ICSOC 2017, Malaga, Spain, November 13–16, 2017, Proceedings

Service-Oriented Computing: 15th International Conference, ICSOC 2017, Malaga, Spain, November 13–16, 2017, Proceedings

2017 · ENGLISH · PDF

View details

Fundamentals of Software Engineering: 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers

Fundamentals of Software Engineering: 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers

2017 · ENGLISH · PDF

View details

Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi’an, China, November 13-17, 2017, Proceedings

Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi’an, China, November 13-17, 2017, Proceedings

2017 · ENGLISH · PDF

View details

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

2017 · ENGLISH · PDF

View details

Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

2017 · ENGLISH · PDF

View details

Service-Oriented Computing – ICSOC 2016 Workshops: ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10–13, 2016, Revised Selected Papers

Service-Oriented Computing – ICSOC 2016 Workshops: ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10–13, 2016, Revised Selected Papers

2017 · ENGLISH · PDF

View details

Conceptual Modeling Perspectives

Conceptual Modeling Perspectives

2017 · ENGLISH · PDF

View details

Failure-Modes-Based Software Reading

Failure-Modes-Based Software Reading

2017 · ENGLISH · PDF

View details

Source Code Modularization: Theory and Techniques

Source Code Modularization: Theory and Techniques

2017 · ENGLISH · PDF

View details

Mastering Software Variability with FeatureIDE

Mastering Software Variability with FeatureIDE

2017 · ENGLISH · PDF

View details

Software Development with UML

Software Development with UML

2003 · ENGLISH · PDF

View details

Analytical and Stochastic Modelling Techniques and Applications: 24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10-11, 2017, Proceedings

Analytical and Stochastic Modelling Techniques and Applications: 24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10-11, 2017, Proceedings

2017 · ENGLISH · PDF

View details

Formal Aspects of Component Software: 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers

Formal Aspects of Component Software: 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers

2017 · ENGLISH · PDF

View details

Software Architecture in Action

Software Architecture in Action

2016 · ENGLISH · PDF

View details

Theory and Practice of Model Transformations: 9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings

Theory and Practice of Model Transformations: 9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings

2016 · ENGLISH · PDF

View details

Migrating Large-Scale Services to the Cloud: A master checklist of everything you need to know to move to the Cloud

Migrating Large-Scale Services to the Cloud: A master checklist of everything you need to know to move to the Cloud

2016 · ENGLISH · PDF

View details

Qualit`dei sistemi e del software: Il prossimo passo per l’industrializzazione

Qualit`dei sistemi e del software: Il prossimo passo per l’industrializzazione

2016 · ITALIAN · PDF

View details