Sciweavers

3943 search results - page 13 / 789
» Architecture-Level Requirements Specification
Sort
View
SWSTE
2003
IEEE
14 years 3 months ago
Higher Quality Requirements Specifications through Natural Language Patterns
Christian Denger, Daniel M. Berry, Erik Kamsties
ESEC
1999
Springer
14 years 2 months ago
Using Model Checking to Generate Tests from Requirements Specifications
Angelo Gargantini, Constance L. Heitmeyer