Product line models of requirements can be used to drive the selection of requirements of new systems in the product line. Validating any selected single system is difficult because product line models are large and complex. However by modelling variability and dependency between requirements using propositional connectives a logical expression can be developed for the model and then selection validation can be achieved by satisfying the logical expression. This approach can be used to validate the model as a whole. A case study with nearly 800 requirements is presented and the computational aspects of the approach are discussed. © Springer-Verlag Berlin Heidelberg 2004.
CITATION STYLE
Mannion, M., & Camara, J. (2004). Theorem proving for product line model verification. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3014, 211–224. https://doi.org/10.1007/978-3-540-24667-1_16
Mendeley helps you to discover research relevant for your work.