CARD: an environment for software requirements definition

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.

[1]  Thomas J. Smith.  READS: a requirements engineering tool , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

[2]  Kiyoshi Agusa,et al.  Japanese Software Requirements Definition Based on Requirements Frame Model , 1991 .

[3]  Atsushi Ohnishi.  A visual software requirements definition method , 1994, Proceedings of IEEE International Conference on Requirements Engineering.

[4]  C. V. Ramamoorthy,et al.  Software Reliability—Status and Perspectives , 1982, IEEE Transactions on Software Engineering.

[5]  Alan M. Davis,et al.  Software Requirements: Objects, Functions and States , 1993 .

[6]  Kazuhisa Kawai,et al.  Requirement analysis by the KJ editor , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

[7]  Mack W. Alford.  SREM at the Age of Eight; The Distributed Computing Design System , 1985, Computer.

[8]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[9]  R.D. Acosta,et al.  A case study of applying rapid prototyping techniques in the Requirements Engineering Environment , 1994, Proceedings of IEEE International Conference on Requirements Engineering.

[10]  Kiyoshi Agusa,et al.  CARD: a software requirements definition environment , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.