The research question that we posed ourselves and which has led to this paper is: how can we guarantee the correct functioning of products of an SPL when core components evolve? This exploratory paper merely proposes an overview of a novel approach that, by extending and adapting assume-guarantee reasoning to evolving SPLs, guarantees the resilience against changes in the environment of products of an SPL. The idea is to selectively model check and test assume-guarantee properties on those SPL components affected by the changes. © 2011 Springer-Verlag.
CITATION STYLE
Ter Beek, M. H., Muccini, H., & Pelliccione, P. (2011). Guaranteeing correct evolution of software product lines: Setting up the problem. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6968 LNCS, pp. 100–105). https://doi.org/10.1007/978-3-642-24124-6_9
Mendeley helps you to discover research relevant for your work.