Author_Institution :
Dept. of Comput. Sci., Ritsumeikan Univ., Shiga, Japan
Abstract :
Computer aided requirements definition methods and an environment are presented. We have proposed a requirements model, named Requirements Frame, and requirements languages based on the model. We have developed several supporting methods of software requirements definition on the basis of the model. They are: analysis of requirements; describing requirements; verification of SRS (Software Requirements Specification); SRS execution; software preliminary design. With these methods, a requirements definer can get an SRS of good quality ie., correctness, testability, traceability, feasibility, and usability. We have been developing an environment of requirements definition, named CARD by realizing these methods. The CARD supports two kinds of requirements languages, that is, textual language and visual language. The CARD includes: (1) SRS analyzer, (2) SRS verifier (3) SRS retriever, (4) SRS executor, and (5) software design assistant
Keywords :
computer aided software engineering; formal specification; program verification; programming environments; software quality; visual languages; CARD; Requirements Frame; SRS analyzer; SRS execution; SRS executor; SRS retriever; SRS verification; SRS verifier; Software Requirements Specification; analysis of requirements; computer aided requirements definition methods; describing requirements; requirements definer; requirements languages; software design assistant; software preliminary design; software requirements definition; software requirements definition environment; textual language; visual language; Computer science; Databases; Humans; Information retrieval; Instruments; Natural languages; Software design; Software quality; Testing; Usability;
