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