D. Benavides, Martin Leucker, Martin Becker, Rick Rabiser, Karina Villela, Peter Wong,
"Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011)"
, in IEEE CS: Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011), Serie 15th International, Seite(n) 336 - 336, 8-2011, ISBN: 978-1-4577-1029-2
Original Titel:
Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011)
Sprache des Titels:
Englisch
Original Buchtitel:
Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011)
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.