• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

発展機構を備えたソフトウェアの構成原理の研究

研究課題

研究課題/領域番号 09245104
研究種目

特定領域研究(A)

配分区分補助金
研究機関北陸先端科学技術大学院大学

研究代表者

片山 卓也  北陸先端科学技術大学院大学, 情報科学研究科, 教授 (70016468)

研究分担者 宮本 衛市  公立はこだて未来大学, システム・情報科学部, 教授 (00001173)
武市 正人  東京大学, 大学院・工学系研究科, 教授 (10011165)
伊藤 貴康  東北大学, 大学院・情報科学研究科, 教授 (80124551)
牛島 和夫  九州大学, 大学院・システム情報科学研究院, 教授 (40037750)
阿草 清滋 (阿草 清磁 / 阿草 清慈)  名古屋大学, 大学院・工学研究科, 教授 (90026360)
研究期間 (年度) 2000
研究課題ステータス 完了 (2000年度)
配分額 *注記
238,800千円 (直接経費: 238,800千円)
2000年度: 3,000千円 (直接経費: 3,000千円)
1999年度: 30,900千円 (直接経費: 30,900千円)
1998年度: 42,900千円 (直接経費: 42,900千円)
1997年度: 162,000千円 (直接経費: 162,000千円)
キーワードソフトウェア発展構成原理 / ソフトウェア発展基本機構 / ソフトウェア発展方法論 / ソフトウェア方式 / ソフトウェア適応的再構成 / 発展的ソフトウェア検証証明法 / ソフトウェア構築再構成方法論 / ソフトウエア構築再構成方法論
研究概要

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

報告書

(5件)
  • 2000 実績報告書
  • 1999 実績報告書   研究成果報告書概要
  • 1998 実績報告書
  • 1997 実績報告書
  • 研究成果

    (41件)

すべて その他

すべて 文献書誌 (41件)

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

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] Takuya Katayama: "Evolutionary Development of Object Behaviors"ISPSE2000. 68-77 (2000)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] Akinori Yonezawa: "Dynamic Complication of a Reflective Language Using Run-Time Specification"ISPSE2000. 128-137 (2000)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] Kazuo Ushijima: "Redesigning of an Existing Software using Design Patterns"ISPSE2000. 165-169 (2000)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] Kiyoshi Agusa: "Source Program Archives Site : A Step toward Cooperation of Open-source and Software Evolution"ISPSE2000. 206-212 (2000)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] Masato Takeichi: "Calculation Carrying Programs - How to Code Program Transformations"ISPSE2000. 250-259 (2000)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] 片山卓也: "ソフトウェア発展"岩波出版. 155 (2000)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] Katayama,T.: "A Theoretical Framework of Software Evolution"IWPSE98. 1-5 (1998)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] 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)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Takeichi,M.: "Diffusion:Calculating Efficient Parallel Programs"Proc.PERM7'99,BRICS Notes Series. NS-99-1. 85-94 (1999)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] 宮本 衛市: "CollaborationとScenarioに基づくエージェントモデル"信学技法. Vol.99,No.547. 57-64 (1999)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Agusa,K.: "An Evolution Framework based on Fine Grained Repository"Proc.IWPSE99. 43-47 (1999)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Ushijima,K.: "Investigating Metrics for Applying Design Patterns in Object-Oriented Software Design"Proc.3rd Annual IASTED. 148-148 (1999)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Katayama, T.: "A Theoretical Framework of Software Evolution"IWPSE98. 1-5 (1998)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] 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)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Takeichi, M.: "Diffusion : Calculating Efficient Parallel Programs"Proc. PERM7'99, BRICS Notes Series. NS-99-1. 85-94 (1999)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Miyamoto, E.: "Agent Model based on Collaboration and Scenario"Tech. Rep. IEICE. Vol.99-No.547. 57-64 (1999)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Agusa, K.: "An Evolution Framework based on Fine Grained Repository"Proc. IWPSE99. 43-47 (1999)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Ushijima, K.: "Investigating Metrics for Applying Design Patterns in Object-Oriented Software Design"Proc. 3rd Anual IASTED. 148-148 (1999)

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

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] 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)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] Takeichi, M.: "Diffusion : Calculating Efficient Parallel Programs"Proc. PERM7'99, BRICS Notes Series. NS-99-1. 85-94 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] 宮本衛市: "CollaborationとScenarioに基づくエージェントモデル"信学技法. Vol.99,No.547. 57-64 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] K. Agusa: "An Evolution Framework based on Fine Grained Repository"Proc. IWPSE99. 43-47 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] K. Ushijima: "Investigating Metrics for Applying Design Patterns in Object-Oriented Software Design"Proc. 3rd Annual IASTED. 148-148 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] T.Katayama: "A Theoretical Framework of Software Evolution" Proc.of International Workshop on Software Evolution(IWPSE98). 1-5 (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] 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)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] M.Takeichi: "Diffusion:Calculating Efficient Parallel Programs" 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation(PEPM'99). 85-94 (1999)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] Eiichi Miyamoto: "Applying Program Transformation to Type Inference for a Logic Language" IEICE Trans.of Information and Systems. 1141-1147 (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] 阿草清慈: "抽象スレッドに基づくソースプログラムの依存解析の枠組の提案" コンピュータソフトウェア. Vol.16・No.1. 46-56 (1999)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] 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)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] Takuya Katayama: "Proceedings of International Workshop on Principles of Software Evolution" 田中昭文堂印刷株式会社, 197 (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] 落水浩一郎: "オブジェクトモデリング" 株式会社星雲社, 158 (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] 片山 卓也: "A Theoretical Frame of Software Evolution" Proc.International Workshop on the Principles of Software Evolution. (1998)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 伊藤 貴康: "Temporal Linear Logic Specifications for Concurrent Processes" Proceedings of IEEE Symposium on Logic in Computer Science. 48-57 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 武市 正人: "Parallelization in Calculational Form" Proceedings of ACM 25th Conference on Principles of Programming Languages. 316-328 (1998)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 宮本 衛市: "クラスと部分構造を持つ対象の表現と計算-論理に基づいた単純な枠組みの提案-" 人工知能学会誌. 12・1. 48-57 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 阿草 清磁: "意味を考慮した差分抽出ツール" 情報処理学会論文誌. 38・6. 1663-1171 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 牛島 和夫: "A Test-Case Generation Method for Cocurrent Programs Including Task-Types" Proceedings of Asia Pacific Software Engineering Conference(APSEC'97). 485-494 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 米崎 直樹: "計算論入門" 日本評論社, 211 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 萩谷 昌己: "関数プログラミング" 日本評論社, 242 (1998)

    • 関連する報告書
      1997 実績報告書

URL: 

公開日: 1997-04-01   更新日: 2017-05-19  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi