Title :
CARD: a software requirements definition environment
Author :
Ohnishi, Atsushi ; Agusa, Kiyoshi
Author_Institution :
Data Process. Center, Kyoto Univ., Japan
Abstract :
Computer-aided requirements definition methods/environment are presented. A composite requirements model (requirements frame) is proposed, and several supporting methods of software requirements definition based on the model are developed. They are: analysis of requirements; describing requirements; verification of an SRS (software requirements specification); SRS execution; and software preliminary design. With these methods, it is possible to obtain an SRS of good quality (correctness, testability, traceability, feasibility, and usability). The authors have been developing an environment of requirements definition, named CARD, by using these methods. They present some examples of experimental uses of CARD
Keywords :
formal specification; formal verification; programming environments; CARD; SRS execution; composite requirements model; requirements frame; software preliminary design; software requirements definition environment; software requirements specification; verification; Data processing; Displays; Humans; Information retrieval; Instruments; Logic; Testing; Usability;
Conference_Titel :
Requirements Engineering, 1993., Proceedings of IEEE International Symposium on
Conference_Location :
San Diego, CA
Print_ISBN :
0-8186-3120-1
DOI :
10.1109/ISRE.1993.324831
