HATS: A Formal Software Product Line Engineering Methodology
Övrigt konferensbidrag, 2010
Författare
D. Clarke
Nikolay Diakov
Reiner Hähnle
Chalmers, Data- och informationsteknik
Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)
Einar Broch Johnsen
German Puebla
Balthasar Weitzel
Peter Wong
Proceedings 1st International Workshop on Formal Methods in Software Product Line Engineering (Jeju Island, South Corea)
Ämneskategorier
Programvaruteknik
Datavetenskap (datalogi)