Sciweavers

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