DocumentCode
3445546
Title
Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011)
Author
Benavides, David ; Leucker, Martin ; Becker, Martin ; Rabiser, Rick ; Villela, Karina ; Wong, Peter Y.H.
fYear
2011
fDate
22-26 Aug. 2011
Firstpage
336
Lastpage
336
Abstract
This workshop will bring together researchers interested in raising the efficiency and the effectiveness of Software Product Line Engineering by applying innovative analysis approaches and formal methods.
Keywords
Analytical models; Communities; Computational modeling; Conferences; Educational institutions; Electronic mail; Software;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Product Line Conference (SPLC), 2011 15th International
Conference_Location
Munich, Germany
Print_ISBN
978-1-4577-1029-2
Type
conf
DOI
10.1109/SPLC.2011.39
Filename
6030077
Link To Document