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...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Corporate Author: SpringerLink (Online service)
Other Authors: Steffen, Bernhard (Editor)
Format: Electronic eBook
Language:Inglés
Published: Cham : Springer International Publishing : Imprint: Springer, 2016.
Edition:1st ed. 2016.
Series:Transactions on Foundations for Mastering Change, 9960
Subjects:
Software engineering.
Computer science.
Electronic data processing-Management.
Compilers (Computer programs).
Computer simulation.
Computer programming.
Software Engineering.
Computer Science Logic and Foundations of Programming.
IT Operations.
Compilers and Interpreters.
Computer Modelling.
Programming Techniques.
Online Access:Texto Completo
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.

Similar Items