Sciweavers

23119 search results - page 65 / 4624
» From Domain to Requirements
Sort
View
ESEC
1999
Springer
15 years 2 months ago
Using Model Checking to Generate Tests from Requirements Specifications
Angelo Gargantini, Constance L. Heitmeyer
ERCIM
2008
83views more  ERCIM 2008»
14 years 9 months ago
From Rigorous Requirements Engineering to Formal System Design
Christophe Ponsard, Philippe Massonet, Gautier Dal...