阿草 清滋

片山 卓也 （北陸先端大学）

高信頼WebWareの生成技術

阿草 清滋 （名古屋大学）

WebWareの統合的管理システムの開発

WebWare（コンテンツ、プログラム等）を、統合的に管理するための手法を開発する。また、統合管理された情報をソフトウェア開発者に提供することを可能とする。さらに、プログラミング言語への依存性が少ない汎用の解析エンジンを作成し、これを用いて、スクリプトと、それが記述された文脈の整合性を検査することにより、WebWareの信頼性・安全性の検査を行うことを可能とする。

上原 （富士通）
小川 （野村総研）
山本 （愛知県立大学）

5年