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 . 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 , the challenges of static variability and temporal evolution in all phases of the software development process are discussed. In , the engineering challenges of self-adaptive systems are described and future research directions are pointed out.
|Titel||Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change|
|Redakteure/-innen||Tiziana Margaria, Bernhard Steffen|
|Herausgeber (Verlag)||Springer Verlag|
|Publikationsstatus||Veröffentlicht - 07.11.2012|
|Veranstaltung||5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change |
- Heraklion, Crete, Griechenland
Dauer: 15.10.2012 → 18.10.2012