Approaches for Mastering Change

Ina Schaefer, Malte Lochau, Martin Leucker


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.

TitelLeveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Redakteure/-innenTiziana Margaria, Bernhard Steffen
Band7609 LNCS
Herausgeber (Verlag)Springer Verlag
AuflagePART 1
ISBN (Print)978-3-642-34025-3
ISBN (elektronisch)978-3-642-34026-0
PublikationsstatusVeröffentlicht - 07.11.2012
Veranstaltung5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change
- Heraklion, Crete, Griechenland
Dauer: 15.10.201218.10.2012
Konferenznummer: 93454


Untersuchen Sie die Forschungsthemen von „Approaches for Mastering Change“. Zusammen bilden sie einen einzigartigen Fingerprint.