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

Study on the Construction of Software Development Environment based on the Attribute Grammar Formalisms

Research Project

Project/Area Number 61420045
Research Category

Grant-in-Aid for General Scientific Research (A)

Allocation TypeSingle-year Grants
Research Field Informatics
Research InstitutionTokyo Institute of Technology

Principal Investigator

KATAYAMA Takuya  Department of Computer Science Professor, 工学部, 教授 (70016468)

Co-Investigator(Kenkyū-buntansha) WATANABE Osamu  Department of Computer Science lecturer, 工学部, 講師 (80158617)
SAEKI Motoshi  Department of Electrical and Electronic Engineering Associate Professor, 工学部, 助教授 (80162254)
YONEZAKI Naoki  Department of Computer Science Associate Professor, 工学部, 助教授 (00126286)
Project Period (FY) 1986 – 1988
Project Status Completed (Fiscal Year 1988)
Budget Amount *help
¥25,100,000 (Direct Cost: ¥25,100,000)
Fiscal Year 1988: ¥1,200,000 (Direct Cost: ¥1,200,000)
Fiscal Year 1987: ¥1,000,000 (Direct Cost: ¥1,000,000)
Fiscal Year 1986: ¥22,900,000 (Direct Cost: ¥22,900,000)
KeywordsAttribute Grammar / Software Development / Software Process / Hierarchical and Functional Programming / Object-Oriented Programming / ソフトウェア環境 / プログラミング環境 / プロセスモデル / 自動生成 / 記憶領域割当 / ソフトウェア仕様記述 / オブジェクト管理 / ソフトウェア自動生成 / オブジェクト指向 / 大域的領域割当て
Research Abstract

Construction of software development enviroment based on attribute grammar formalisms has been studied. Originally, attribute grammarhas been invented for describing formal semantics of programminglanguages and much amount of work has been preformed to automatecompiler construction. The principle of attribute grammar is, however, computation of values on trees and it is very general andfundamental computational, model which is useful not only for language processing but also for software developmet when tree structures of hierarchical structures play essential role. In our project, we have done three works on the construction of software development environment based on the attribute grammar formalisms.
The first work is on a hierarchacal and fuctional programming language AG and its environment. AG is a language based on the priniciple of hierarchical decomposition of functions and derived from attribute grammar formalism. Programming environment SAGE for AG has been constructed which consists of structure editor, interpreter, debugger, browser, compiler and verifier.
The second work is to model software development process in the hierarchical and function software process model HFSP and enact the process on the SAGE system. Properties of HFSP and enaction mechanism for HFSP has been studied together with enation of JSD and JSD process on SAGE.
The third part of oru results is the proposal of an objective attribute grammar OAG and its application to the description of software objects. OAG is obtained from the usual attribute grammar by adding state and reflective mechanism and formulated in the framework of object-oriented programming. Evaluation mechanism for OAG and its application to software objectbase have been studied.

Report

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

    (41 results)

All Other

All Publications (41 results)

  • [Publications] 片山卓也: 情報処理. 2. 146-154 (1988)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1988 Final Research Report Summary
  • [Publications] 片山卓也: Computer Today. 11. 1-145 (1988)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1988 Final Research Report Summary
  • [Publications] 今泉貴史: 電子情報通信学会秋季全国大会論文集. Dー1. 239-240 (1988)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1988 Final Research Report Summary
  • [Publications] 今泉貴史: 日本ソフトウェア科学会第5回大会論文集. 5. 233-236 (1988)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1988 Final Research Report Summary
  • [Publications] 鈴木正人: 日本ソフトウェア科学会第5回大会論文集. 5. 93-96 (1988)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1988 Final Research Report Summary
  • [Publications] Takuya KATAYAMA: Proc.of 4th International Software Process Workshop. 4. 39-42 (1988)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1988 Final Research Report Summary
  • [Publications] Takuya,Katayama: Proc.of 11th International Conference on Software Engineering. 11. (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1988 Final Research Report Summary
  • [Publications] Kouichi,KISHIDA: Proc.of 10th International Conference on Software Engineering. 10. 69-79 (1988)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1988 Final Research Report Summary
  • [Publications] Takuya,KATAYAMA: Proc.of US-Japan Seminar on Software Engineering. (1987)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1988 Final Research Report Summary
  • [Publications] 片山卓也: 電子情報通信学会ソフトウェアサイエンス研究会資料. 87. 91-99 (1987)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1988 Final Research Report Summary
  • [Publications] 片山卓也: 日本ソフトウェア科学会第4回大会論文集. 4. 79-82 (1987)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1988 Final Research Report Summary
  • [Publications] 篠田陽一: 日本ソフトウェア科学会第4回大会論文集. 4. 83-86 (1987)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1988 Final Research Report Summary
  • [Publications] 羅峻輝: 日本ソフトウェア科学会第4回大会論文集. 4. 187-190 (1987)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1988 Final Research Report Summary
  • [Publications] Yoichi SHINODA: Proc.of 21st Annual Hawaii International Conference on System Sciences. 21. 612-620 (1988)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1988 Final Research Report Summary
  • [Publications] 篠田陽一: 日本ソフトウェア科学会プログラム合成/変換研究会資料. PMー86ー6. 41-48 (1986)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1988 Final Research Report Summary
  • [Publications] 森山孝男: 情報処理学会ソフトウェア基礎論研究会資料. 16ー5. 1-10 (1986)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1988 Final Research Report Summary
  • [Publications] 篠田陽一: 情報処理学会ソフトウェア基礎論研究会資料. 16ー6. 1-9 (1986)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1988 Final Research Report Summary
  • [Publications] 森山孝男: 日本ソフトウェア科学会第3回大会論文集. 3. 249-252 (1986)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1988 Final Research Report Summary
  • [Publications] 篠田陽一: 日本ソフトウェア科学会第3回大会論文集. 3. 253-256 (1986)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1988 Final Research Report Summary
  • [Publications] Takuya,KATAYAMA: "A Hierarchical and Functional Approach to Software Process Description" Proc. of 4th International Software Process Workshop. 4. 39-42 (1988)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1988 Final Research Report Summary
  • [Publications] Takuya,Katayama: "A Hierarchical and Functional Software Process Description and its Enaction" Proc. of 11th International Conference on Software Engineering. 11. (1989)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1988 Final Research Report Summary
  • [Publications] Kouichi,KISHIDA: "SDA: A Novel Approach to Software Environment Design and Construction" Proc. of 10th International Conference on Software Engineering. 10. 69-79 (1988)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1988 Final Research Report Summary
  • [Publications] Takuya,KATAYAMA: "Application of Attribute Grammar Techniques to Software Development" Proc. of US-Japan Seminar on Software Engineering. (1987)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1988 Final Research Report Summary
  • [Publications] Yoichi,SHINODA: "Attribute Grammar Based Programming and Its Environment" Proc. of 21st Annual Hawaii International Conference on System Sciences. 21. 612-620 (1988)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1988 Final Research Report Summary
  • [Publications] 片山卓也: 情報処理. 2. 146-154 (1988)

    • Related Report
      1988 Annual Research Report
  • [Publications] 片山卓也: Computer Today. 11. 1-145 (1988)

    • Related Report
      1988 Annual Research Report
  • [Publications] 今泉貴史: 電子情報通信学会秋季全国大会論文集. Dー1. 239-240 (1988)

    • Related Report
      1988 Annual Research Report
  • [Publications] 今泉貴史: 日本ソフトウェア科学会第5回大会論文集. 5. 233-236 (1988)

    • Related Report
      1988 Annual Research Report
  • [Publications] 鈴木正人: 日本ソフトウェア科学会第5回大会論文集. 5. 93-96 (1988)

    • Related Report
      1988 Annual Research Report
  • [Publications] Takuya KATAYAMA: Proc.of 4th International Software Process Workshop. 4. 39-42 (1988)

    • Related Report
      1988 Annual Research Report
  • [Publications] Takuya KATAYAMA: Proc. US-Japan Seminar on Software Engineering. (1987)

    • Related Report
      1987 Annual Research Report
  • [Publications] 片山 卓也: 電子情報通信学会 ソフトウェアサイエンス研究会資料. 87. 91-99 (1987)

    • Related Report
      1987 Annual Research Report
  • [Publications] 片山 卓也: 日本ソフトウェア科学会第4回大会論文集. 4. 79-82 (1987)

    • Related Report
      1987 Annual Research Report
  • [Publications] 篠田 陽一: 日本ソフトウェア科学会第4回大会論文集. 4. 83-86 (1987)

    • Related Report
      1987 Annual Research Report
  • [Publications] 羅 峻輝: 日本ソフトウェア科学会第4回大会論文集. 4. 187-190 (1987)

    • Related Report
      1987 Annual Research Report
  • [Publications] Yoichi SHINODA: Proceedings of the Twenty-First Annual Hawaii international Conference on System Sciences. 21. 612-620 (1988)

    • Related Report
      1987 Annual Research Report
  • [Publications] 篠田陽一: 日本ソフトウェア科学会プログラム合成変換研究会資料. PM-86-6. 41-48 (1986)

    • Related Report
      1986 Annual Research Report
  • [Publications] 森山孝男: 情報処理学会ソフトウェア基礎論研究会資料. 16-5. 1-10 (1986)

    • Related Report
      1986 Annual Research Report
  • [Publications] 篠田陽一: 情報処理学会ソフトウェア基礎論研究会資料. 16-6. 1-9 (1986)

    • Related Report
      1986 Annual Research Report
  • [Publications] 森山孝男: 日本ソフトウェア科学会大会論文集. 3. 249-252 (1986)

    • Related Report
      1986 Annual Research Report
  • [Publications] 篠田陽一: 日本ソフトウェア科学会大会論文集. 3. 253-256 (1986)

    • 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