Sciweavers

2062 search results - page 2 / 413
» A Concern-Oriented Requirements Engineering Model
Sort
View
ESEC
1999
Springer
13 years 10 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...