Development of sofrware Requirements Definition Environment on the basis of Requirments Frame Model

点击翻译按钮获取中文摘要

In this project, we have defined properties which sofrware requirements speciffcation (SRS) should be satistied, developed requirements definition methods based on composite requitements model, and developed our SRS definition environment.1. A composite requierments model to represent real worls requirements is indispensable. We have proposed Requirements Frame as a composite model.2. We have developed three requirements languages. They improves several properties of SRS, such as usability, correctness, testability. These languages also support to detect semantic errors of SRS, which cannot be detected by existing requirements definition methods.3. We have developes a verification method of SRS and a detection method for ripple effect in SRS modification. Thse methods improve correctness, usability, testability, traceability, and fasibility of SRS.4. We have decelopesd a design supporting method, a rapid prototyping method, a sofrware docunentation supporting methos. They improve correctness and usability of SRS.5. We have developed an SRS definition environment. We explained effectibeness of out methosda and the environment through applying them to define sevetal SRS.