2384 search results - page 22 / 477 » Analyzing Requirements Engineering Processes: A Case Study |
132
click to vote
INTERACT
2003
15 years 6 months ago
2003
: Models from methods like Contextual Design (CD) are a sound basis for requirements engineering. But current software engineering processes are not prepared to use such models. To...
155
click to vote
GROUP
1995
ACM
15 years 8 months ago
1995
ACM
Software and Information Systems (IS) documents are a common product of large IS development e orts. These documents are produced and consumed through a variety of documentation p...
135
click to vote
DAGSTUHL
2006
15 years 6 months ago
2006
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...
147
click to vote
FATES
2003
Springer
15 years 10 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
137
click to vote
TSE
1998
15 years 4 months ago
1998
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...