HATS: A Formal Software Product Line Engineering Methodology
Konferensbidrag (offentliggjort, men ej förlagsutgivet), 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)

Mer information

Skapat

2017-10-08