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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Steffen, Bernhard (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2016.
Edición:1st ed. 2016.
Colección:Transactions on Foundations for Mastering Change, 9960
Temas:
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.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares