PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Asirelli P., Ter Beek M. H., Fantechi A., Mazzanti F. Design and validation of variability in product lines. In: PLEASE 2011 - 2nd International Workshop on Product LinE Approaches in Software Engineering (Honolulu, Hawaii, USA, 22-23 May 2011). Proceedings, pp. 25 - 30. ACM, 2011.
 
 
Abstract
(English)
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.
DOI: http://dx.doi.org/10.1145/1985484.1985492
Subject Product Lines
Variability
Temporal logic
Model checking
D.2.4 Software/Program Verification. Formal methods
D.2.4 Software/Program Verification. Model checking


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional