Logo - springer
Slogan - springer

New & Forthcoming Titles | Transactions on Foundations for Mastering Change

Transactions on Foundations for Mastering Change

Transactions on Foundations for Mastering Change

Series: Lecture Notes in Computer Science

Editor-in-chief: Steffen, Bernhard
Series Editors: Felderer, M., Havelund, K., Hinchey, M., Haehnle, R., Legay, A., Margaria, T., Rensink, A., Tripakis, S., Wirsing, M.

ISSN: 2509-8047

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.