2702 search results - page 157 / 541 » Requirements Processes: An Experience Report |
186
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Use case models capture and describe the functional requirements of a software system. A use case driven development process, where a use case model is the principal basis for con...
177
click to vote
SIGSOFT
1996
ACM
15 years 10 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
139
click to vote
AVI
2004
15 years 8 months ago
2004
Many applications require comparison between alternative scenarios; most support it poorly. A subjunctive interface supports comparison through its facilities for parallel setup, ...
200
click to vote
SPLC
2004
15 years 8 months ago
2004
The problem of managing the evolution of complex and large software systems is well known. Evolution implies reuse and modification of existing software artifacts, and this means t...
186
click to vote
WCRE
2000
IEEE
15 years 11 months ago
2000
IEEE
Reverse engineering is an imperfect process driven by imperfect knowledge. Most current reverse engineering tools do not adequately consider these inherent characteristics. They f...