PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Classen A., Schaefer I., Becker M., Roos-Frantz F., Wong P. Y. Formal methods and analysis in software product line engineering. 3rd edition of FMSPLE workshop series. In: SPLC'12 - 16th International Software Product Line Conference (Salvador, Bahia, Brazil, 2-7 September 2012). Proceedings, pp. 286 - 287. ACM, 2012.
 
 
Abstract
(English)
FMSPLE 2012 is the third edition of the FMSPLE workshop series, traditionally affiliated with SPLC, which aims to connect researchers and practitioners interested in raising the efficiency and the effectiveness of SPLE through the application of innovative analysis approaches and formal methods.
URL: http://dl.acm.org/citation.cfm?doid=2362536.2362576
DOI: http://doi.acm.org/10.1145/2362536.2362576
Subject Formal methods
Software Product Lines
Variability
Verification
Testing
Semantics
Evolution
D.2.2 Design Tools and Techniques
D.2.4 Software/Program Verification. Formal methods
D.2.11 Software Architectures
D.2.13 Reusable Software
D.2.5 Testing and Debugging
D.2.4 Software/Program Verification. Model checking
D.2.4 Software/Program Verification. Validation


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