Sciweavers

2274 search results - page 5 / 455
» Qualitative Modeling for Requirements Engineering
Sort
View
RE
2008
Springer
14 years 11 months ago
Design Science, Engineering Science and Requirements Engineering
For several decades there has been a debate in the computing sciences about the relative roles of design and empirical research, and about the contribution of design and research ...
Roel Wieringa, J. M. G. Heerkens
72
Voted
APSEC
2000
IEEE
15 years 4 months ago
Building Formal Models for Software Requirements
Axel van Lamsweerde
74
Voted
ESEC
1999
Springer
15 years 4 months ago
Using Model Checking to Generate Tests from Requirements Specifications
Angelo Gargantini, Constance L. Heitmeyer