Sciweavers

2062 search results - page 2 / 413
» A Concern-Oriented Requirements Engineering Model
Sort
View
ESEC
1999
Springer
13 years 9 months ago
Using Model Checking to Generate Tests from Requirements Specifications
Angelo Gargantini, Constance L. Heitmeyer
IJSEKE
2002
91views more  IJSEKE 2002»
13 years 5 months ago
A Compositional Knowledge Level Process Model of Requirements Engineering
In current literature few detailed process models for Requirements Engineering are presented: usually high-level activities are distinguished, without a more precise specification...
Daniela E. Herlea, Catholijn M. Jonker, Jan Treur,...
ATAL
2009
Springer
13 years 6 months ago
Conditional Dependence Networks in Requirements Engineering
In this paper we present a new model for the requirements analysis of a system. We offer a conceptual model defined following a visual modeling language, called dependence networks...
Guido Boella, Leendert van der Torre, Serena Villa...