Title :
Software requirements definition for a specification database
Author :
Ohnishi, Atsushi
Author_Institution :
Dept. of Comput. Sci., Ritsumeikan Univ., Kyoto, Japan
Abstract :
The author proposes a method to build a relational database of software requirements specifications (SRSs) from textual and visual SRSs automatically. The author has been developing a requirements model named Requirements Frame, a text-based requirements language and a visual requirements language based on the model in order to improve the quality of SRSs. Since Requirements Frame can be transformed into a relational data model, each of the requirement sentences can be regarded as a tuple of a relational table. The author has been developing both a query language and a relational database management system for an SRS database. One of the features of the SRS DB system is to show an answer with a requirement sentence as an example/counter-example. This feature contributes to verify the SRS from a developer´s own viewpoint. Another feature is to detect the changed requirements in modification of the SRS. This feature contributes to effective maintenance of the SRS
Keywords :
computer aided software engineering; data structures; formal specification; query languages; query processing; relational databases; software quality; specification languages; visual languages; Requirements Frame; maintenance; query language; relational database; relational table; requirements model; software requirements definition; software requirements specifications; specification database; text-based requirements language; textual specification; tuple; visual requirements language; visual specification; Computer science; Data models; Database languages; Humans; Information retrieval; Instruments; Relational databases; Software maintenance; Spatial databases; Visual databases;
Conference_Titel :
Software Engineering Conference, 1997. Asia Pacific ... and International Computer Science Conference 1997. APSEC '97 and ICSC '97. Proceedings
Print_ISBN :
0-8186-8271-X
DOI :
10.1109/APSEC.1997.640215