| Project/Area Number |
08680381
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
計算機科学
|
|---|
| Research Institution | Ritsumeikan University |
|---|
Principal Investigator |
OHNISHI Atsushi Ritsumeikan University, Computer Science, Professor, 理工学部, 教授 (50160560)
|
|---|
| Project Period (FY) |
1996 – 1997
|
| Project Status |
Completed (Fiscal Year 1997)
|
| Budget Amount *help |
¥2,200,000 (Direct Cost: ¥2,200,000)
Fiscal Year 1997: ¥900,000 (Direct Cost: ¥900,000)
Fiscal Year 1996: ¥1,300,000 (Direct Cost: ¥1,300,000)
|
|---|
| Keywords | Requirements Definition / Requirements Specification / Specification Database / Software Development |
|---|
| Research 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-base 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 relational data model, each of requirement sentences can be regarded as a tuple of 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 changed requirements in modification of the SRS.This feature contributes to effective maintenance of the SRS.
We have developed prototypes and validated our method with some examples.
|
