Editors:
- First volume in the new Foundations for Mastering Change LNCS Transactions Series
- Establishes a community for developing theories, methods and tools for dealing with the fact that change is not an exception, but the norm for today's systems
- Forum for researchers and professionals
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9960)
Part of the book sub series: Transactions on Foundations for Mastering Change (TFMC)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (13 chapters)
-
Front Matter
-
Back Matter
About this book
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.
This book, the first volume in the series, contains contributions by the members of the editorial board. These contributions indicate the envisioned style and range of papers of topics covered by the transactions series. They cross-cut various traditional research directions and are characterized by a clear focus on change.
Keywords
Editors and Affiliations
-
TU Dortmund, Dortmund, Germany
Bernhard Steffen
Bibliographic Information
Book Title: Transactions on Foundations for Mastering Change I
Editors: Bernhard Steffen
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-46508-1
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG 2016
Softcover ISBN: 978-3-319-46507-4Published: 30 September 2016
eBook ISBN: 978-3-319-46508-1Published: 01 October 2016
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 257
Number of Illustrations: 90 b/w illustrations
Topics: Software Engineering, Logics and Meanings of Programs, Management of Computing and Information Systems, Programming Languages, Compilers, Interpreters, Simulation and Modeling, Programming Techniques