Transactions on Foundations for Mastering Change I
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...
Other Authors: | |
---|---|
Format: | eBook |
Language: | English |
Published: |
Cham
Springer International Publishing
2016, 2016
|
Edition: | 1st ed. 2016 |
Series: | Transactions on Foundations for Mastering Change
|
Subjects: | |
Online Access: | |
Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
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