| 研究分担者 |
落水 浩一郎 北陸先端科学技術大学院大学, 情報科学研究科, 教授 (10022310)
片山 卓也 北陸先端科学技術大学院大学, 情報科学研究科, 教授 (70016468)
中田 育男 図書館情報大学, 図書館情報部, 教授 (70133022)
鯵坂 恒夫 和歌山大学, システム工学部, 教授 (30175864)
佐伯 元司 東京工業大学, 大学院・情報理数工学研究科, 助教授 (80162254)
|
|---|
| 研究概要 |
以下の研究を行い,所期の成果を得た.
[1]ソフトウェア発展のための解析データの収集とその応用(阿草清滋) 本年度は,既存のソフトウェアを解析して,変更の必要な場所を同定するための解析ツールを開発し,UNIXシステソースプログラムを対象にプログラム発展を統計的に解析した.
[2]ソフトウェア発展のためのコンパイラの研究(中田育男) 本年度は,分散メモリ型並列計算機のためのコンパイラの研究を進め,データ分散のために線形分散法を開発し,再分散のための転送回避のための転送順序計算アルゴリズムを示した.
[3]ソフトウェア発展方式の研究(片山卓也) 本年度は,要求仕様変更とプログラム変更の関係を代数束により形式化し,ソフトウェア発展関係の理論的基礎を与えた.また,抽象実行に基づくソフトウェア構成法を開発した.
[4]ネットワークを介した共同作業の支援法(落水浩一郎) 本年度は,分散環境のソフトウェア開発支援のための,開発状況を保持する情報リポジトリを用いて漸進的に情報の矛盾や不確実さの解消を行うモデルの提案とそれに基づく支援環境を構築した.
[5]構造的発展に適したソフトウェアやプログラムの構造(佐伯元司) 本年度は,再利用プロセスの形式化をユースケースのパターン化とその構造変換規則として行い,分析パターンや設計パターンの構造をパターン化した.また,ホットスポットを埋める操作により特定の問題を解決できることを示した.
[6]ソフトウェアクォークモテルに基づく発展パターンの発見と発展支援(鯵坂恒夫) 本年度は,さまざまな抽象度レベルで現れるソフトウェア構成要素を統一的に扱うためのソフトウェアクォークモデルを提案しこのモデルを用いてソフトウェアの変更容易性や波及効果の大きさなどの性質を定義した.
|
