2011
Conference article
Restricted
Design and validation of variability in product lines
Asirelli P Ter Beek M H, Fantechi A, Gnesi S, Mazzanti F
Product Lines Variability Temporal logic Model checking
We propose an emerging solution technique, pushing the application of model-checking techniques to the design and validation of variability in a product line (PL), mainly aimed at those industrial domains where model-based development is adopted for the development of safety-critical systems.
Publisher: ACM Press
Back to previous page
BibTeX entry
@inproceedings{oai:it.cnr:prodotti:199830,
title = {Design and validation of variability in product lines},
author = {Asirelli P Ter Beek M H and Fantechi A and Gnesi S and Mazzanti F},
publisher = {ACM Press},
year = {2011}
}CNR authorsLaboratories
0000-0003-4562-8777