Motivation and Goals
Modern software systems are extremely long-lived and have to adapt to changing user requirements and evolving environment conditions, such as different hardware or resource constraints [6,9]. Furthermore, they have to remain operational over long periods of time which requires to alter their functional or non-functional behavior without halting the system’s operation [3]. These phenomena related to evolving and long-lived software systems pose new challenges for software engineering concepts, methods and tools.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Bodden, E., Follner, A., Rasthofer, S.: Challenges in Defining a Programming Language for Provably Correct Dynamic Analyses. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol. 7609, pp. 4–18. Springer, Heidelberg (2012)
Bosch, J., Eklund, U.: Eternal Embedded Software: Towards Innovation Experiment Systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol. 7609, pp. 19–31. Springer, Heidelberg (2012)
Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J., Andersson, J., Becker, B., Bencomo, N., Brun, Y., Cukic, B., Di Marzo Serugendo, G., Dustdar, S., Finkelstein, A., Gacek, C., Geihs, K., Grassi, V., Karsai, G., Kienle, H.M., Kramer, J., Litoiu, M., Malek, S., Mirandola, R., Müller, H.A., Park, S., Shaw, M., Tichy, M., Tivoli, M., Weyns, D., Whittle, J.: Software Engineering for Self-Adaptive Systems: A Research Roadmap. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Self-Adaptive Systems. LNCS, vol. 5525, pp. 1–26. Springer, Heidelberg (2009)
Hähnle, R., Schaefer, I.: A Liskov Principle for Delta-Oriented Programming. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol. 7609, pp. 32–46. Springer, Heidelberg (2012)
Lamprecht, A.-L., Margaria, T.: Scientific Workflows: Eternal Components, Changing Interfaces, Varying Compositions. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol. 7609, pp. 47–63. Springer, Heidelberg (2012)
Lehman, M.M.: Software’s future: Managing evolution. IEEE Software 15(1), 40–44 (1998)
Lienhardt, M., Bravetti, M., Sangiorgi, D.: An Object Group-Based Component Model. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol. 7609, pp. 64–78. Springer, Heidelberg (2012)
Merten, M., Howar, F., Steffen, B., Pellicione, P., Tivoli, M.: Automated Inference of Models for Black Box Systems Based on Interface Descriptions. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol. 7609, pp. 79–96. Springer, Heidelberg (2012)
Parnas, D.: Software aging. In: ICSE, pp. 279–287 (1994)
Poetzsch-Heffter, A., Feller, C., Kurnia, I.W., Welsch, Y.: Model-based Compatibility Checking of System Modifications. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol. 7609, pp. 97–111. Springer, Heidelberg (2012)
Zech, P., Felderer, M., Kalb, P., Breu, R.: A Generic Platform for Model-Based Regression Testing. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol. 7609, pp. 112–126. Springer, Heidelberg (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hähnle, R., Schaefer, I. (2012). Adaptable and Evolving Software for Eternal Systems. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. ISoLA 2012. Lecture Notes in Computer Science, vol 7609. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34026-0_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-34026-0_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-34025-3
Online ISBN: 978-3-642-34026-0
eBook Packages: Computer ScienceComputer Science (R0)