Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Formal methods and analysis in software product line engineering

 
: Beek, M.H. ter; Classen, A.; Schaefer, I.; Becker, M.; Roos-Frantz, F.; Wong, P.Y.H.

:

Santana de Almeida, E (Ed.) ; Association for Computing Machinery -ACM-:
16th International Software Product Line Conference, SPLC 2012. Proceedings. Vol.1 : Salvador, Brazil; September 02 - 07, 2012
New York: ACM Press, 2012
ISBN: 978-1-4503-1094-9
S.286-287
International Software Product Line Conference (SPLC) <16, 2012, Salvador>
Englisch
Konferenzbeitrag
Fraunhofer IESE ()

Abstract
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. Copyright

: http://publica.fraunhofer.de/dokumente/N-264031.html