The Feature and Service Interaction Problem in Telecommunications Systems: A Survey
IEEE Transactions on Software Engineering
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Self-adaptive software: Landscape and research challenges
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Software Engineering for Self-Adaptive Systems
Software Engineering for Self-Adaptive Systems
Detecting feature interactions in SPL requirements analysis models
FOSD '09 Proceedings of the First International Workshop on Feature-Oriented Software Development
Feature oriented evolutions for context-aware adaptive systems
Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and International Workshop on Principles of Software Evolution (IWPSE)
Symbolic model checking of software product lines
Proceedings of the 33rd International Conference on Software Engineering
Run-time efficient probabilistic model checking
Proceedings of the 33rd International Conference on Software Engineering
Leveraging state-based user preferences in context-aware reconfigurations for self-adaptive systems
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
A software lifecycle process for context-aware adaptive systems
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Graph transformations for MDE, adaptation, and models at runtime
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
| Hi-index | 0.00 |
Environment uncertainty opens new scenarios to the problem of assessing modern software systems. To this end, requirements have been studied to guide system evolution despite continuous context variations. At design-time, the software designer provides a set of requirements specifications to assess system functionalities. These functionalities are strictly related to the context in which the system operates. If the context changes unpredictably the user may require new behaviors at run-time in terms of new requirements and corresponding implementations that have to be deployed. Since these requirements are not known at design-time the adapted implementation should be dynamically validated before delivering new functionalities to the user. Following a feature engineering perspective we propose a framework to support correct unanticipated evolutions of requirements. Our process validates evolved implementations artifacts with respect to evolved requirements specifications.