Guaranteeing Correct Evolution of Software Product Lines (original) (raw)
Related papers
Managing evolution in software product lines: A model-checking perspective
2012
Assume-Guarantee Testing of Evolving Software Product Line Architectures
2012
Managing evolution in software product lines
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems - VaMoS '12, 2012
A Theory of Software Product Line Refinement
Theoretical Aspects of Computing, 2010
Assessing the Evolution of Software Product Lines Maintainability
2011
Investigating the safe evolution of software product lines
2011
Viewpoint for Online Evolution of Software Product Lines
Verification of evolving software via component substitutability analysis
Formal Methods in System Design, 2008
Evolving software product lines with aspects: an empirical study on design stability
2008
Towards indicators of instabilities in software product lines: An empirical evaluation of metrics
2013 4th International Workshop on Emerging Trends in Software Metrics (WETSoM), 2013
A Model-based on Role for Software Product-Line Evolving Variability
Noureddine Guersi, Yacine Djebar
HATS - A Formal Software Product Line Engineering Methodology
Software product line evolution: A systematic literature review
Information and Software Technology, 2019
Verification and validation in software product line engineering
Verification of evolving software
2004
Simulation-based abstractions for software product-line model checking
2012
Codifying architecture knowledge to supportonline evolution of software product lines
Proceeding of the 6th international workshop on SHAring and Reusing architectural Knowledge - SHARK '11, 2011
Towards an assume-guarantee theory for adaptable systems
2009
VML* – A Family of Languages for Variability Management in Software Product Lines
Lecture Notes in Computer Science, 2010
VERIFICATION AND REFACTORING OF CONFIGURATION KNOWLEDGE FOR SOFTWARE PRODUCT LINES
toritama.cin.ufpe.br
Supporting Online Updates of Software Product Lines–formal verification
2011
IsiSPL: Toward an Automated Reactive Approach to build Software Product Lines
arXiv (Cornell University), 2021
A Formal Framework of Software Product Line Analyses
ACM Transactions on Software Engineering and Methodology, 2021