About this book series
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 hard-to-control frame conditions, such as third-party components, network problems, and attacks. Submissions are evaluated according to these goals.
Papers may focus on individual techniques, but must clearly position themselves in the FoMaC landscape. In particular, FoMaC aims at establishing a common nomenclature to overcome the current diverse use of notation.
- Part of this series
- Lecture Notes in Computer Science
- Electronic ISSN
- 2509-8055
- Print ISSN
- 2509-8047
- Editor-in-Chief
-
- Bernhard Steffen
- Series Editor
-
- Michael Felderer,
- Klaus Havelund,
- Mike Hinchey,
- Reiner Hähnle,
- Axel Legay,
- Tiziana Margaria,
- Arend Rensink,
- Stavros Tripakis,
- Martin Wirsing