Transactions on Foundations for Mastering Change I [E-Book] / edited by Bernhard Steffen.
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...
Saved in:
Full text |
|
Personal Name(s): | Steffen, Bernhard, editor |
Imprint: |
Cham :
Springer,
2016
|
Physical Description: |
XII, 257 p. 90 illus. online resource. |
Note: |
englisch |
ISBN: |
9783319465081 |
DOI: |
10.1007/978-3-319-46508-1 |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Lecture notes in computer science ;
9960 |
Subject (LOC): |
- 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.