Transactions on Foundations for Mastering Change I

• Corporate Author: SpringerLink (Online service)
• Other Authors: Steffen, Bernhard (Editor)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2016.
• Series: Lecture Notes in Computer Science, 9960
• Subjects: Computer science.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Computer simulation.; Management information systems.; Computer Science.; Software Engineering.; Logics and Meanings of Programs.; Management of Computing and Information Systems.; Programming Languages, Compilers, Interpreters.; Simulation and Modeling.; Programming Techniques.

The LNCS Transactions on Foundations for Mastering Change, FoMaC, aims to establish a forum for formal-methods-based research, dealing with the nature of today’s agile system development, which is characterized by unclear premises, unforeseen change, and the need for fast reaction, in a context of h...

Table of Contents:

• Introduction: Foundations for Mastering Change
• Knowledge Management for Inclusive System Evolution
• Archimedean Points: The Essence for Mastering of Change
• Model Patterns: The Quest for the Right Level of Abstraction
• Verified Change
• Good Change and Bad Change: An Analysis Perspective on Software Evolution
• Compositional Model-Based System Design and Other Foundations for Mastering Change
• Proof Repositories for Compositional Verification of Evolving Software Systems
• Statistical Model Checking with Change Detection
• Collective Autonomic Systems: Towards Engineering Principles and their Foundations
• Continuous Collaboration for Changing Environments
• Issues on software quality models for mastering change
• Traceability Types for Mastering Change in Collaborative Software Quality Management.