Title: Theoretical Aspects of Software Engineering: 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings, Author: Yamine Aït-Ameur
Title: Testing Software and Systems: 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings, Author: David Clark
Title: Software Quality: The Next Big Thing in Software Engineering and Quality: 14th International Conference on Software Quality, SWQD 2022, Vienna, Austria, May 17-19, 2022, Proceedings, Author: Daniel Mendez
Title: Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings, Author: Tiago Massoni
Title: Advances in Computing: 15th Colombian Congress, CCC 2021, Bogotá, Colombia, November 22-26, 2021, Revised Selected Papers, Author: Enrique Gonzalez
Title: Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment: First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers, Author: Jean-Michel Bruel
Title: Advances in Conceptual Modeling: ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18-21, 2021, Proceedings, Author: Iris Reinhartz-Berger
Title: Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, Author: Alessandro Cimatti
Title: Evaluation of Novel Approaches to Software Engineering: 15th International Conference, ENASE 2020, Prague, Czech Republic, May 5-6, 2020, Revised Selected Papers, Author: Raian Ali
Title: Software Technologies: 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26-28, 2019, Revised Selected Papers, Author: Marten van Sinderen
Title: Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures, Author: Jonathan P. Bowen
Title: The Agile Codex: Re-inventing Agile Through the Science of Invention and Assembly, Author: Michael McCormick
Title: System Firmware: An Essential Guide to Open Source and Embedded Solutions, Author: Subrata Banik
Title: Software Quality: The Complexity and Challenges of Software Engineering and Software Quality in the Cloud: 11th International Conference, SWQD 2019, Vienna, Austria, January 15-18, 2019, Proceedings, Author: Dietmar Winkler
Title: Error Correction Coding: Mathematical Methods and Algorithms, Author: Todd K. Moon
Title: Product-Focused Software Process Improvement: 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28-30, 2018, Proceedings, Author: Marco Kuhrmann
Title: Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude, Author: Peter Csaba Ölveczky
Title: 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, Proc, Author: Jean-Marie Jacquet
Title: Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings, Author: Tiziana Margaria
Title: Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings, Author: Farhad Arbab

Pagination Links