5180 search results - page 449 / 1036 » Requirements Engineering |
231
click to vote
ASWEC
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper reports the results from an action research project which studies the benefits of documenting the evolution and the rationale for the evolution of a requirements specif...
208
click to vote
ICSE
1999
IEEE-ACM
15 years 11 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
189
click to vote
EUROMICRO
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper we present a novel processor microarchitecture that relieves three of the most important bottlenecks of superscalar processors: the serialization imposed by true dep...
182
click to vote
EUROMICRO
1998
IEEE
15 years 11 months ago
1998
IEEE
A real-time active database system (RTADBS) has to provide capabilities for timely trigger of timeconstrained transactions and at the same time to process them, concurrently with ...
148
click to vote
RE
1999
Springer
15 years 11 months ago
1999
Springer
Scenarios have proven effective for eliciting, describing and validating software requirements; however, scenario management continues to be a significant challenge to practition...