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.

Discontinued series: although this series no longer publishes new content, the published titles listed here remain available.
Part of this series
Lecture Notes in Computer Science
Electronic ISSN
Print ISSN
  • Bernhard Steffen
Series Editor
  • Michael Felderer,
  • Klaus Havelund,
  • Mike Hinchey,
  • Reiner Hähnle,
  • Axel Legay,
  • Tiziana Margaria,
  • Arend Rensink,
  • Stavros Tripakis,
  • Martin Wirsing

Book titles in this series