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

在这个项目中，我们定义了软件需求描述(SRS)应该满足的性质，开发了基于组合需求模型的需求定义方法，并开发了我们的SRS定义环境。一个代表真实世界需求的复合征用模型是必不可少的。我们提出了一个复合模型的需求框架。我们已经开发了三种需求语言。它们改善了SRS的几个属性，如可用性、正确性、可测试性。这些语言还支持检测SRS的语义错误，这是现有需求定义方法无法检测到的。提出了一种受激拉曼散射的验证方法和受激拉曼散射修正中波纹效应的检测方法。这些方法提高了SRS的正确性、可用性、可测试性、可跟踪性和易用性。提出了一种设计支持方法、快速成型方法、软件文档支持方法。它们提高了SRS.5的正确性和可用性。我们已经开发了一个SRS定义环境。我们通过应用它们来定义几个SRS，说明了Out方法和环境的有效性。

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.