Software product lines: practices and patterns
Software product lines: practices and patterns
Feature integration using a feature construct
Science of Computer Programming
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
On the Design and Development of Program Families
IEEE Transactions on Software Engineering
Modeling and Model Checking Software Product Lines
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Model Checking of Domain Artifacts in Product Line Engineering
ASE '09 Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Symbolic model checking of software product lines
Proceedings of the 33rd International Conference on Software Engineering
A text-based approach to feature modelling: Syntax and semantics of TVL
Science of Computer Programming
Simulation-based abstractions for software product-line model checking
Proceedings of the 34th International Conference on Software Engineering
Efficient consistency checking of scenario-based product-line specifications
RE '12 Proceedings of the 2012 IEEE 20th International Requirements Engineering Conference (RE)
Hi-index | 0.00 |
Variability is becoming an increasingly important concern in software development but techniques to cost-effectively verify and validate software in the presence of variability have yet to become widespread. This half-day tutorial offers an overview of the state of the art in an emerging discipline at the crossroads of formal methods and software engineering: quality assurance of variability-intensive systems. We will present the most significant results obtained during the last four years or so, ranging from conceptual foundations to readily usable tools. Among the various quality assurance techniques, we focus on model checking, but also extend the discussion to other techniques. With its lightweight usage of mathematics and balance between theory and practice, this tutorial is designed to be accessible to a broad audience. Researchers working in the area, willing to join it, or simply curious, will get a comprehensive picture of the recent developments. Practitioners developing variability-intensive systems are invited to discover the capabilities of our techniques and tools, and to consider integrating them in their processes.