研究課題/領域番号 |
08308021
|
研究種目 |
基盤研究(A)
|
配分区分 | 補助金 |
応募区分 | 一般 |
研究分野 |
計算機科学
|
研究機関 | 名古屋大学 |
研究代表者 |
稲垣 康善 名古屋大学, 工学研究科, 教授 (10023079)
|
研究分担者 |
荒木 啓二郎 九州大学大学院, システム情報科学研究科, 教授 (40117057)
鰺坂 恒夫 和歌山大学, システム工学部, 教授 (30175864)
落水 浩一郎 北陸先端科学技術大学院大学, 情報科学研究科, 教授 (10022310)
阿草 清滋 名古屋大学, 工学研究科, 教授 (90026360)
当麻 喜弘 東京電気大学, 工学部, 教授 (50016317)
|
研究期間 (年度) |
1996 – 1997
|
キーワード | 要求獲得 / ソフトウェア信頼性モデル / 超幾何分布モデル / LOTOS仕様 / ソフトウェアプロセス / ネットワーク環境 / エージェント / 形式モデル |
研究概要 |
本研究の研究成果の代表的なものを以下にあげる。 (1)分散環境下でのソフトウェア要求獲得手法研究グループでは、ネットワークを介した共同作業の支援環境構築、プロダクトの進化から見た要求分析の支援法、RSLにおけるセキュリティプロトコルの形式的仕様記述と検証など、ソフトウェアの発注者の要求を開発者が獲得するのを分散環境下で支援する手法について研究を行なった。 (2)ソフトウェアプロセスとソフトウェアプロダクトの分散リポジトリの構築研究グループでは、ソフトウェアプロセスの進捗モデルに基づく作業の並行化による作業時間・コストの変化のシミュレーションシステム、新工法モデルからみたドメイン分析・モデリング、オブジェクト指向ソフトウェアプロセスモデル、プログラムの電子透かしについて研究を行なった。 (3)ソフトウェアの分散開発のためのエージェントの開発研究グループでは、ネットワーク文書記述言語HTMLを用いたソフトウェア文書のブラウズ手法、通信アプリケーションの変更に応じた状態機械の記述への操作とその再利用について、また、ポストモダン分散システムと人間-エージェント共生空間、電子メールを用いた日本語文による質問応答システムについて研究を行なった。 (4)分散環境下におけるソフトウェア信頼性評価法研究グループでは、超幾何分布モデルに基づくソフトウェア信頼性成長モデルの反応係数の拡張、Javaを利用したソフトウェア信頼性成長モデルの遠隔操作、拡張有限状態機械によってモデル化される通信プロトコルの時間到達性解析法について研究を行なった。 (5)ソフトウェア分散開発の形式化研究グループでは、実時間並行計算のモデルとして時間切れ演算を導入したCCSのテスト原理に基づく意味論、LOTOS仕様のアニメーション、システム要求記述と形式仕様の導出の方法論、書換え型のメタ計モデルである動的項書換え計算の合流性について研究を行なった。
|