PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Clarke D., Schaefer I., Ter Beek M. H., Apel S., Atlee J. M. Formal methods and analysis in software product line engineering: 4th edition of FMSPLE workshop series. In: SPLC'13 - 17th International Software Product Line Conference (Tokyo, Japan, 26-30 August 2013). Proceedings, pp. 266 - 267. ACM, 2013.
 
 
Abstract
(English)
FMSPLE 2013 is the fourth edition of the FMSPLE workshop series aimed at connecting researchers and practitioners interested in raising the efficiency and the effectiveness of software product line engineering through the application of innovative analysis approaches and formal methods.
URL: http://dl.acm.org/citation.cfm?doid=2491627.2499880
DOI: 10.1145/2491627.2499880
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.4 Software/Program Verification. Validation
D.2.4 Software/Program Verification. Model checking
D.2.13 Reusable Software
D.2.11 Software Architectures
D.2.5 Testing and Debugging


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