Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011)
Sprache des Titels:
Englisch
Original Kurzfassung:
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. Workshop at the 15th International Software Product Line Conference (SPLC 2011), Munich, Germany, 2011, IEEE CS, p. 336