Modern software systems are highly configurable and exist in many different variants in order to operate different application contexts. This is called static variability and predominantly considered in software product line engineering [6,14]. Furthermore, software systems have to evolve over time in order to dealwith changing requirements which is referred to by the term temporal evolvability [10,13]. Additionally, modern software systems are designed to dynamically adapt their internal structure and behavior at runtime dependent on their environment in order to efficiently use the available resources, such as energy or computing power [5]. These three dimensions of change, static variability, temporal evolvability and dynamic adaptation, increase the complexity of system development in all phase, from requirements engineering and system design to implementation and quality assurance. In [15], the challenges of static variability and temporal evolution in all phases of the software development process are discussed. In [15], the engineering challenges of self-adaptive systems are described and future research directions are pointed out.

Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
EditorsTiziana Margaria, Bernhard Steffen
Number of pages4
Volume7609 LNCS
Place of PublicationBerlin
PublisherSpringer Verlag
Publication date07.11.2012
EditionPART 1
ISBN (Print)978-3-642-34025-3
ISBN (Electronic)978-3-642-34026-0
Publication statusPublished - 07.11.2012
Event5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change
- Heraklion, Crete, Greece
Duration: 15.10.201218.10.2012
Conference number: 93454


Dive into the research topics of 'Approaches for Mastering Change'. Together they form a unique fingerprint.

Cite this