Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software ... Notes in Computer Science, Band 8483) | 978-3-319-07316-3 | 2014 | Marco Bernardo · Ferruccio Damiani · Reiner Haehnle · Einar Broch Johnsen |
Fundamental Approaches to Software Engineering: 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and ... Notes in Computer Science, Band 9033) | 978-3-662-46674-2 | 2015 | Alexander Egyed |
Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday | 978-3-319-98046-1 | 2018 | Peter Müller |
Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, ... Notes in Computer Science, Band 10886) | 978-3-319-92969-9 | 2018 | Einar Broch Johnsen |
Software Reuse for Dynamic Systems in the Cloud and Beyond: 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, ... Notes in Computer Science, Band 8919) | 978-3-319-14129-9 | 2014 | Ioannis Stamelos |