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.
Keywords
- Embed Software
- Product Line Engineering
- Regression Test Selection
- Agile Manner
- Embed Software Development
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
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)