Istituto di Scienza e Tecnologie dell'Informazione     
Schaefer I., Ter Beek M. H. Formal methods and analyses in software product line engineering (Track Summary). In: ISoLA 2014 - Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. 6th International Symposium (Corfu, Greece, 8-11 October 2014). Proceedings, vol. I pp. 253 - 256. Tiziana Margaria, Bernhard Steffen (eds.). (Lecture Notes in Computer Science, vol. 8802). Springer, 2014.
Track Summary
URL: http://link.springer.com/chapter/10.1007%2F978-3-662-45234-9_18
DOI: 10.1007/978-3-662-45234-9_18
Subject Formal methods
Analysis techniques
Software Product Line Engineering
Formal modeling
Formal analysis
D.2.2 Design Tools and Techniques
D.2.4 Software/Program Verification. Formal methods
D.2.4 Software/Program Verification. Model checking
D.2.4 Software/Program Verification. Validation
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