HATS: A Formal Software Product Line Engineering Methodology
Other conference contribution, 2010
Author
D. Clarke
Nikolay Diakov
Reiner Hähnle
Chalmers, Computer Science and Engineering (Chalmers)
Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (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)
Subject Categories
Software Engineering
Computer Science