Sciweavers

23119 search results - page 65 / 4624
» From Domain to Requirements
Sort
View
ESEC
1999
Springer
15 years 10 months ago
Using Model Checking to Generate Tests from Requirements Specifications
Angelo Gargantini, Constance L. Heitmeyer
WER
1998
Springer
15 years 10 months ago
Guidelines From Organizational Requirements to Formal Specification
Fernanda M. R. Alencar, Jaelson Castro
ERCIM
2008
83views more  ERCIM 2008»
15 years 6 months ago
From Rigorous Requirements Engineering to Formal System Design
Christophe Ponsard, Philippe Massonet, Gautier Dal...