PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Gnesi S., Mazzanti F. Demonstration of a model checker for the analysis of product variability. In: SPLC'12 - 16th International Software Product Line Conference (Salvador, Bahia, Grazil, 2-7 September 2012). Proceedings, vol. II pp. 242 - 245. ACM, 2012.
 
 
Abstract
(English)
We demonstrate an experimental tool for the modeling and analysis of behavioral variability in product families.
URL: http://dl.acm.org/citation.cfm?doid=2364412.2364454
DOI: http://doi.acm.org/10.1145/2364412.2364454
Subject Product family
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