@inproceedings{514b8eeb596945518fb3c9d5b575b491,
title = "Theorem proving for product line model verification",
abstract = "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.",
keywords = "mobile phone, theorem prove, single system, software product line, logical expression",
author = "Mike Mannion and Javier Camara",
year = "2004",
doi = "10.1007/978-3-540-24667-1_16",
language = "English",
isbn = "9783540219415",
volume = "3014",
series = "Lecture Notes in Computer Science",
publisher = "Springer Nature",
pages = "211--224",
editor = "{van der Linden}, Frank",
booktitle = "Software Product-Family Engineering: 5th International Workshop, PFE 2003, Siena, Italy, November 4-6, 2003, Revised Papers",
address = "United States",
edition = "1",
}