Advertisement

Transactions on Foundations for Mastering Change I

  • Bernhard Steffen

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9960)

Also part of the Transactions on Foundations for Mastering Change book sub series (TFMC, volume 9960)

Table of contents

  1. Front Matter
    Pages I-XII
  2. Bernhard Steffen
    Pages 1-6
  3. Bernhard Steffen, Stefan Naujokat
    Pages 22-46
  4. Arend Rensink
    Pages 47-70
  5. Klaus Havelund, Rahul Kumar
    Pages 71-89
  6. Mikael Lindvall, Martin Becker, Vasil Tenev, Slawomir Duszynski, Mike Hinchey
    Pages 90-112
  7. Richard Bubel, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Olaf Owe, Ina Schaefer et al.
    Pages 130-156
  8. Axel Legay, Louis-Marie Traonouez
    Pages 157-179
  9. Lenz Belzner, Matthias Hölzl, Nora Koch, Martin Wirsing
    Pages 180-200
  10. Matthias Hölzl, Thomas Gabor
    Pages 201-224
  11. Boban Celebic, Ruth Breu, Michael Felderer
    Pages 242-256
  12. Back Matter
    Pages 257-257

About this book

Introduction

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

abstraction agile development autonomic systems change management formal methods formal verification knowledge management metamodels model checking modeling programming languages runtime software development software engineering software evolution software quality system development lifecycle

Editors and affiliations

  • Bernhard Steffen
    • 1
  1. 1.TU DortmundDortmundGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-46508-1
  • Copyright Information Springer International Publishing AG 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-46507-4
  • Online ISBN 978-3-319-46508-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site