LNCS Trans. Found. Mastering Chang.

Publications

volume 1, 2016

Arend Rensink
Model Patterns - The Quest for the Right Level of Abstraction. LNCS Trans. Found. Mastering Chang. 1 (2016)
Mikael Lindvall, Martin Becker, Vasil L. Tenev, Slawomir Duszynski, Mike Hinchey
Good Change and Bad Change: An Analysis Perspective on Software Evolution. LNCS Trans. Found. Mastering Chang. 1 (2016)
Matthias M. Hölzl, Thomas Gabor
Continuous Collaboration for Changing Environments. LNCS Trans. Found. Mastering Chang. 1 (2016)
Boban Celebic, Ruth Breu, Michael Felderer
Traceability Types for Mastering Change in Collaborative Software Quality Management. LNCS Trans. Found. Mastering Chang. 1 (2016)
Richard Bubel, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Olaf Owe, Ina Schaefer, Ingrid Chieh Yu
Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct. LNCS Trans. Found. Mastering Chang. 1 (2016)
Axel Legay, Louis-Marie Traonouez
Statistical Model Checking with Change Detection. LNCS Trans. Found. Mastering Chang. 1 (2016)
Bernhard Steffen
Introduction to the First Issue of FoMaC. LNCS Trans. Found. Mastering Chang. 1 (2016)
Klaus Havelund, Rahul Kumar
Verified Change. LNCS Trans. Found. Mastering Chang. 1 (2016)
Bernhard Steffen, Stefan Naujokat
Archimedean Points: The Essence for Mastering Change. LNCS Trans. Found. Mastering Chang. 1 (2016)
Tiziana Margaria
Knowledge Management for Inclusive System Evolution. LNCS Trans. Found. Mastering Chang. 1 (2016)
Stavros Tripakis
Compositional Model-Based System Design and Other Foundations for Mastering Change. LNCS Trans. Found. Mastering Chang. 1 (2016)
Michael Felderer
Issues on Software Quality Models for Mastering Change. LNCS Trans. Found. Mastering Chang. 1 (2016)
Lenz Belzner, Matthias M. Hölzl, Nora Koch, Martin Wirsing
Collective Autonomic Systems: Towards Engineering Principles and Their Foundations. LNCS Trans. Found. Mastering Chang. 1 (2016)