Auflistung nach Autor "Heymans, Patrick"
Anzeige der Dokumente 1-3 von 3
-
Call for Papers - Requirements Engineering: Foundation for Software Quality(RefsQ'07)
Paech, Barbara; Sawyer, Pete; Heymans, Patrick
-
Counterexample guided abstraction refinement of product-line behavioural models
Cordy, Maxime; Heymans, Patrick; Legay, Axel; Schobbens, Pierre-Yves; Dawagne, Bruno; Leucker, Martin
79-80 -
Incrementally synthesizing controllers from scenario-based product line specifications
Greenyer, Joel; Brenner, Christian; Cordy, Maxime; Heymans, Patrick; Gressi, Erika
91-92