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.
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;
Conference_Titel :
Software Product Line Conference (SPLC), 2011 15th International
Conference_Location :
Munich, Germany
Print_ISBN :
978-1-4577-1029-2
DOI :
10.1109/SPLC.2011.39
