CARD: a software requirements definition environment

Author

Ohnishi, Atsushi ; Agusa, Kiyoshi

Author_Institution

Data Process. Center, Kyoto Univ., Japan

fYear

1993

fDate

4-6 Jan 1993

Firstpage

90

Lastpage

93

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Requirements Engineering, 1993., Proceedings of IEEE International Symposium on

Conference_Location

San Diego, CA

Print_ISBN

0-8186-3120-1

Type

conf

DOI

10.1109/ISRE.1993.324831

Filename

324831