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

Principles for Constructing Evolutionary Software

Research Project

Project/Area Number 09245104
Research Category

Grant-in-Aid for Scientific Research on Priority Areas (A)

Allocation TypeSingle-year Grants
Research InstitutionJapan Advanced Institute of Science and Technology

Principal Investigator

KATAYAMA Takuya  北陸先端科学技術大学院大学, 情報科学研究科, 教授 (70016468)

Co-Investigator(Kenkyū-buntansha) MIYAMOTO Eiichi  公立はこだて未来大学, システム・情報科学部, 教授 (00001173)
TAKEICHI Masato  東京大学, 大学院・工学系研究科, 教授 (10011165)
ITO Takayasu  東北大学, 大学院・情報科学研究科, 教授 (80124551)
USHIJIMA Kazuo  九州大学, 大学院・システム情報科学研究院, 教授 (40037750)
AGUSA Kiyoshi  名古屋大学, 大学院・工学研究科, 教授 (90026360)
Project Period (FY) 2000
Project Status Completed (Fiscal Year 2000)
Budget Amount *help
¥238,800,000 (Direct Cost: ¥238,800,000)
Fiscal Year 2000: ¥3,000,000 (Direct Cost: ¥3,000,000)
Fiscal Year 1999: ¥30,900,000 (Direct Cost: ¥30,900,000)
Fiscal Year 1998: ¥42,900,000 (Direct Cost: ¥42,900,000)
Fiscal Year 1997: ¥162,000,000 (Direct Cost: ¥162,000,000)
Keywordsprinciples for evolution / mechanisms of evolution / methodologies for evolution / environment for evolution / adaptive reconstruction / 発展的ソフトウェア検証証明法 / ソフトウェア構築再構成方法論 / ソフトウエア構築再構成方法論
Research Abstract

現代社会は極めて複雑かつ大規模なソフトウェアに強く依存しており、社会の複雑化や高度化にともなってその機能や能力を発展させることが強く要求されている。しかしながら、現在のソフトウェアは発展可能なようには作られておらず、社会の変化にソフトウェアを対応させるためのコストが極めて大きいことが指摘されている。
特定領域研究「発展機構を備えたソフトウェアの構成原理の研究」は、ソフトウェア発展のメカニズムを科学的に解明し、発展機構を備えたソフトウェアの構成原理を確立することを目的として、5つの主要研究項目「発展的ソフトウェアの理論に関する研究」、「ソフトウェア発展のための基本機構の研究」、「発展可能ソフトウェアの構築方法論の研究」、「ソフトウェア発展方式の研究」、「既存ソフトウェアの適応的発展の研究」について行なってきた。
平成9年度より3年間の研究を行ない、所定の研究成果を挙げることが出来た。本研究は、上記特定領域研究の研究成果報告のための国際会議の実施に関するものである。
平成12年11月1、2日北陸先端科学技術大学院大学で実施された。ソフトウェア発展の理論および基本機構に関するセッションと方法論/発展方式/適応的発展に関するセッションの2つが並行セッションとして行なわれ、合計37編の論文発表および3編の招待講演が行なわれた。国内外から204名の参加があり、活発な議論が行なわれた。

Report

(5 results)
  • 2000 Annual Research Report
  • 1999 Annual Research Report   Final Research Report Summary
  • 1998 Annual Research Report
  • 1997 Annual Research Report
  • Research Products

    (41 results)

All Other

All Publications (41 results)

  • [Publications] Koichiro Ochimizu: "Sharing Instability of a Distributed Cooperative Work"ISPSE2000. 36-45 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] Takuya Katayama: "Evolutionary Development of Object Behaviors"ISPSE2000. 68-77 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] Akinori Yonezawa: "Dynamic Complication of a Reflective Language Using Run-Time Specification"ISPSE2000. 128-137 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] Kazuo Ushijima: "Redesigning of an Existing Software using Design Patterns"ISPSE2000. 165-169 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] Kiyoshi Agusa: "Source Program Archives Site : A Step toward Cooperation of Open-source and Software Evolution"ISPSE2000. 206-212 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] Masato Takeichi: "Calculation Carrying Programs - How to Code Program Transformations"ISPSE2000. 250-259 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] 片山卓也: "ソフトウェア発展"岩波出版. 155 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] Katayama,T.: "A Theoretical Framework of Software Evolution"IWPSE98. 1-5 (1998)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Ito,T.: "A Sound Parallelization Framework for Parallel Scheme Programming,Parallel and Distributed Computing for Symbolic and Irregular Applications"World Scientific 2000. 2-39 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Takeichi,M.: "Diffusion:Calculating Efficient Parallel Programs"Proc.PERM7'99,BRICS Notes Series. NS-99-1. 85-94 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] 宮本 衛市: "CollaborationとScenarioに基づくエージェントモデル"信学技法. Vol.99,No.547. 57-64 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Agusa,K.: "An Evolution Framework based on Fine Grained Repository"Proc.IWPSE99. 43-47 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Ushijima,K.: "Investigating Metrics for Applying Design Patterns in Object-Oriented Software Design"Proc.3rd Annual IASTED. 148-148 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Katayama, T.: "A Theoretical Framework of Software Evolution"IWPSE98. 1-5 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Ito, T.: "A Sound Parallelization Framework for Parallel Scheme Programming, Parallel and Distributed Computing for Symbolic and Irregular Applications"World Scientific 2000. 2-39 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Takeichi, M.: "Diffusion : Calculating Efficient Parallel Programs"Proc. PERM7'99, BRICS Notes Series. NS-99-1. 85-94 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Miyamoto, E.: "Agent Model based on Collaboration and Scenario"Tech. Rep. IEICE. Vol.99-No.547. 57-64 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Agusa, K.: "An Evolution Framework based on Fine Grained Repository"Proc. IWPSE99. 43-47 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Ushijima, K.: "Investigating Metrics for Applying Design Patterns in Object-Oriented Software Design"Proc. 3rd Anual IASTED. 148-148 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] 片山卓也: "進化するソフトウェアの原理"情報処理学会論文誌. Vol.14,No.2. (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] Takayasu Ito: "A Sound Paralleization Framework for Parallel Scheme Programming, Parallel Scheme Programming, Parallel and Distributed Computing for Symbolic and Irregular Applications"World Scientific 2000. 2-39 (2000)

    • Related Report
      1999 Annual Research Report
  • [Publications] Takeichi, M.: "Diffusion : Calculating Efficient Parallel Programs"Proc. PERM7'99, BRICS Notes Series. NS-99-1. 85-94 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] 宮本衛市: "CollaborationとScenarioに基づくエージェントモデル"信学技法. Vol.99,No.547. 57-64 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] K. Agusa: "An Evolution Framework based on Fine Grained Repository"Proc. IWPSE99. 43-47 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] K. Ushijima: "Investigating Metrics for Applying Design Patterns in Object-Oriented Software Design"Proc. 3rd Annual IASTED. 148-148 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] T.Katayama: "A Theoretical Framework of Software Evolution" Proc.of International Workshop on Software Evolution(IWPSE98). 1-5 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] Takayasu Ito: "A multi-threaded implementation of PaiLisp interpreter and compiler using the Steal-Help evaluation strategy" Advanced Information Processwing Technology Series. vol.6. (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] M.Takeichi: "Diffusion:Calculating Efficient Parallel Programs" 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation(PEPM'99). 85-94 (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] Eiichi Miyamoto: "Applying Program Transformation to Type Inference for a Logic Language" IEICE Trans.of Information and Systems. 1141-1147 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 阿草清慈: "抽象スレッドに基づくソースプログラムの依存解析の枠組の提案" コンピュータソフトウェア. Vol.16・No.1. 46-56 (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] Kazuo Ushijima: "Applying Design Patterns to Decision Tree Learning System" Proceedings of ACM SIGSOFT Sixth International Symposium on the Foundation of Software Engineering. E81-D・11. 111-120 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] Takuya Katayama: "Proceedings of International Workshop on Principles of Software Evolution" 田中昭文堂印刷株式会社, 197 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 落水浩一郎: "オブジェクトモデリング" 株式会社星雲社, 158 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 片山 卓也: "A Theoretical Frame of Software Evolution" Proc.International Workshop on the Principles of Software Evolution. (1998)

    • Related Report
      1997 Annual Research Report
  • [Publications] 伊藤 貴康: "Temporal Linear Logic Specifications for Concurrent Processes" Proceedings of IEEE Symposium on Logic in Computer Science. 48-57 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 武市 正人: "Parallelization in Calculational Form" Proceedings of ACM 25th Conference on Principles of Programming Languages. 316-328 (1998)

    • Related Report
      1997 Annual Research Report
  • [Publications] 宮本 衛市: "クラスと部分構造を持つ対象の表現と計算-論理に基づいた単純な枠組みの提案-" 人工知能学会誌. 12・1. 48-57 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 阿草 清磁: "意味を考慮した差分抽出ツール" 情報処理学会論文誌. 38・6. 1663-1171 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 牛島 和夫: "A Test-Case Generation Method for Cocurrent Programs Including Task-Types" Proceedings of Asia Pacific Software Engineering Conference(APSEC'97). 485-494 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 米崎 直樹: "計算論入門" 日本評論社, 211 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 萩谷 昌己: "関数プログラミング" 日本評論社, 242 (1998)

    • Related Report
      1997 Annual Research Report

URL: 

Published: 1997-04-01   Modified: 2017-05-19  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi