Sciweavers

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