Table of contents

  1. Front Matter
    Pages i-xxii
  2. Introduction

    1. Front Matter
      Pages 1-1
    2. Ralf Reussner, Michael Goedicke, Wilhelm Hasselbring, Birgit Vogel-Heuser, Jan Keim, Lukas Märtin
      Pages 3-8 Open Access
    3. Gabriele Taentzer, Michael Goedicke, Barbara Paech, Kurt Schneider, Andy Schürr, Birgit Vogel-Heuser
      Pages 9-20 Open Access
    4. Reiner Jung, Lukas Märtin, Jan Ole Johanssen, Barbara Paech, Malte Lochau, Thomas Thüm et al.
      Pages 21-36 Open Access
    5. Safa Bougouffa, Kiana Busch, Robert Heinrich, Christopher Haubeck, Suhyun Cha, Ralf Reussner et al.
      Pages 37-73 Open Access
  3. Knowledge Carrying Software

    1. Front Matter
      Pages 75-75
    2. Jan Ole Johanssen, Fabien Patrick Viertel, Bernd Bruegge, Kurt Schneider
      Pages 77-105 Open Access
    3. Anja Kleebaum, Marco Konersmann, Michael Langhammer, Barbara Paech, Michael Goedicke, Ralf Reussner
      Pages 107-139 Open Access
    4. Malte Lochau, Dennis Reuling, Johannes Bürdek, Timo Kehrer, Sascha Lity, Andy Schürr et al.
      Pages 141-173 Open Access
    5. Thomas Thüm, André van Hoorn, Sven Apel, Johannes Bürdek, Sinem Getir, Robert Heinrich et al.
      Pages 175-206 Open Access
    6. Jan Jürjens, Kurt Schneider, Jens Bürger, Fabien Patrick Viertel, Daniel Strüber, Michael Goedicke et al.
      Pages 207-253 Open Access
    7. Stefan Kögel, Matthias Tichy, Abhishek Chakraborty, Alexander Fay, Birgit Vogel-Heuser, Christopher Haubeck et al.
      Pages 255-308 Open Access
    8. Bernhard Beckert, Jakob Mund, Mattias Ulbrich, Alexander Weigl
      Pages 309-332 Open Access
  4. Results and Spin-Offs

    1. Front Matter
      Pages 333-333
    2. Safa Bougouffa, Kiana Busch, Robert Heinrich, André van Hoorn, Marco Konersmann, Stephan Seifermann et al.
      Pages 335-374 Open Access
    3. Ralf Reussner, Michael Goedicke, Wilhelm Hasselbring, Birgit Vogel-Heuser, Jan Keim, Lukas Märtin
      Pages 375-380 Open Access
    4. Ralf Reussner, Michael Goedicke, Wilhelm Hasselbring, Birgit Vogel-Heuser, Jan Keim, Lukas Märtin
      Pages 381-388 Open Access
  5. Back Matter
    Pages 389-426

About this book


This open access book presents the outcomes of the “Design for Future – Managed Software Evolution” priority program 1593, which was launched by the German Research Foundation (“Deutsche Forschungsgemeinschaft (DFG)”) to develop new approaches to software engineering with a specific focus on long-lived software systems. The different lifecycles of software and hardware platforms lead to interoperability problems in such systems. Instead of separating the development, adaptation and evolution of software and its platforms, as well as aspects like operation, monitoring and maintenance, they should all be integrated into one overarching process.

Accordingly, the book is split into three major parts, the first of which includes an introduction to the nature of software evolution, followed by an overview of the specific challenges and a general introduction to the case studies used in the project. The second part of the book consists of the main chapters on knowledge carrying software, and cover tacit knowledge in software evolution, continuous design decision support, model-based round-trip engineering for software product lines, performance analysis strategies, maintaining security in software evolution, learning from evolution for evolution, and formal verification of evolutionary changes. In turn, the last part of the book presents key findings and spin-offs. The individual chapters there describe various case studies, along with their benefits, deliverables and the respective lessons learned. An overview of future research topics rounds out the coverage.

The book was mainly written for scientific researchers and advanced professionals with an academic background. They will benefit from its comprehensive treatment of various topics related to problems that are now gaining in importance, given the higher costs for maintenance and evolution in comparison to the initial development, and the fact that today, most software is not developed from scratch, but as part of a continuum of former and future releases.


Open Access Software Evolution Software Engineering Software Development Software Product Lines Software Maintenance Model-Driven Software Engineering Software Versioning Formal Methods

Editors and affiliations

  • Ralf Reussner
    • 1
  • Michael Goedicke
    • 2
  • Wilhelm Hasselbring
    • 3
  • Birgit Vogel-Heuser
    • 4
  • Jan Keim
    • 5
  • Lukas Märtin
    • 6
  1. 1.Institute for Program Structures and Data OrganizationKarlsruhe Institute of Technology (KIT)KarlsruheGermany
  2. 2.palunoUniversität Duisburg-EssenEssenGermany
  3. 3.Software Engineering Group Dept. Computer ScienceKiel UniversityKielGermany
  4. 4.Institute of Automation and Information SystemsTechnische Universität MünchenGarchingGermany
  5. 5.Institute for Program Structures and Data OrganizationKarlsruhe Institute of Technology (KIT)KarlsruheGermany
  6. 6.Institute for Programming and Reactive SystemsTechnische Universität BraunschweigBraunschweigGermany

Bibliographic information