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

在这个项目中，我们定义了软件需求规范（SRS）应该满足的属性，开发了基于组合需求模型的需求定义方法，并开发了我们的SRS定义环境1。一个表示真实世界需求的组合需求模型是必不可少的。我们建议将需求框架作为一个组合模型。我们开发了三种需求语言。它们改进了SRS的一些特性，如可用性、正确性和可测试性。这些语言还支持检测现有需求定义方法无法检测到的SRS语义错误。我们开发了一种SRS的验证方法和一种SRS修改中涟漪效应的检测方法。这些方法提高了srs的正确性、可用性、可测试性、可追溯性和可行性。我们已经开发了一种设计支持方法，一种快速原型方法，一种软件文档支持方法。它们提高了sr .5的正确性和可用性。我们已经开发了一个SRS定义环境。我们通过应用我们的方法来定义几个SRS来解释我们的方法和环境的有效性。

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.