• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

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

Research Project

Project/Area Number 61880006
Research Category

Grant-in-Aid for Developmental Scientific Research

Allocation TypeSingle-year Grants
Research Field Informatics
Research InstitutionKyoto University

Principal Investigator

OHNO Yutaka  Faculty of Engineering, Kyoto University, Professor, 工学部, 教授 (60026185)

Co-Investigator(Kenkyū-buntansha) AJISAKA Tsuneo  Faculty of Engineering, Kyoto University, Instructor, 工学部, 助手 (30175864)
OHNISHI Atsushi  Data Processing Center, Kyoto University, Instructor, 大型計算機センター, 助手 (50160560)
AGUSA Kiyoshi  Faculty of Engineering, Kyoto University, Associare Prodessor, 工学部, 助教授 (90026360)
Project Period (FY) 1986 – 1987
Project Status Completed (Fiscal Year 1987)
Budget Amount *help
¥5,100,000 (Direct Cost: ¥5,100,000)
Fiscal Year 1987: ¥1,500,000 (Direct Cost: ¥1,500,000)
Fiscal Year 1986: ¥3,600,000 (Direct Cost: ¥3,600,000)
KeywordsDefinition of Requirements Specification / Definition of Software Requitements / Sofrware Desigh with Good quality / Software Productibity / ソフトウェア生産性 / ソフトウェア工学
Research Abstract

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.

Report

(2 results)
  • 1987 Final Research Report Summary
  • 1986 Annual Research Report
  • Research Products

    (13 results)

All Other

All Publications (13 results)

  • [Publications] 大西 淳: 情報処理学会論文誌. 28. 367-375 (1987)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1987 Final Research Report Summary
  • [Publications] 大西 淳: システムと制御. 31. 643-652 (1987)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1987 Final Research Report Summary
  • [Publications] 大西 淳: 情報処理学会プロトタイピングと要求定義シンポジウム論文集. 19-28 (1986)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1987 Final Research Report Summary
  • [Publications] Atsushi Ohnishi: Proc.6th Advanced Database Symposium. 57-63 (1986)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1987 Final Research Report Summary
  • [Publications] 大西 淳: 日本ソフトウェア科学会ソフトウェア研究会資料. SW-7-1. 1-8 (1987)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1987 Final Research Report Summary
  • [Publications] 大西 淳: 電子情報通信学会コンピュテーション研究資料. COMP87. 29-40 (1988)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1987 Final Research Report Summary
  • [Publications] Atsushi Ohnish: "Requirements Frame for Requirements Definition" Transactions of Information Processing Society of Japan. 28. 367-375 (1987)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1987 Final Research Report Summary
  • [Publications] Atsushi Ohnishi: "Requirements Specification and Requirements Specification Techniques" Journal of Japan Association of Automatic Control Engineers. 31. 643-652 (1987)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1987 Final Research Report Summary
  • [Publications] Atsushi Ohnishi: "Requirements Definition Method based on Requirements Models" Rpoc. Prototype and Requirements Definition Symposium, Information Rpocessing Society of Japan. 19-28 (1986)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1987 Final Research Report Summary
  • [Publications] Atsushi Ohnishi: "Supporting Methods of Defining Software Requirements" Peport of Technical Group on Computer Software, Japan Society for Software Science and Technology. SW-87-1. 1-8 (1987)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1987 Final Research Report Summary
  • [Publications] Atsushi Ohnishi: "Sortware Requirements Definition Method based on Communication Model" Report of Technical Group on Computation, The Institute of Electronics, Information and Communication Engineers of Japan. COMP87. 29-40 (1988)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1987 Final Research Report Summary
  • [Publications] 大西淳: 日本ソフトウェア科学会 ソフトウェア研究会. SW-87. 1-8 (1987)

    • Related Report
      1986 Annual Research Report
  • [Publications] 大西淳: 情報処理学会論文誌. 28. (1987)

    • Related Report
      1986 Annual Research Report

URL: 

Published: 1987-03-31   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi