情報・システム-ソフトウェアサイエンス(開催日:2001/05/22)

タイトル/著者/発表日/資料番号
表紙

,  

[発表日]2001/5/22
[資料番号]
目次

,  

[発表日]2001/5/22
[資料番号]
機能モジュールに対する優先度に基づいた選択的ソフトウェアテスト手法の提案

平山 雅之,  山本 徹也,  岡安 二郎,  水野 修,  菊野 亨,  

[発表日]2001/5/22
[資料番号]SS2001-6
スタック検査を含むプログラムに対する効率のよいセキュリティ検証法

新田 直也,  高田 喜朗,  関 浩之,  

[発表日]2001/5/22
[資料番号]SS2001-7
別名情報による段階的詳細化に基づいた等価式発見

滝本 宗宏,  原田 賢一,  

[発表日]2001/5/22
[資料番号]SS2001-8
コンポーネントソフトウェア開発用軽量フォーマルメソッド

松本 充広,  二木 厚吉,  

[発表日]2001/5/22
[資料番号]SS2001-9
静的側面から見たソフトウェアコンポーネントの品質

山本 浩数,  鷲崎 弘宜,  深澤 良彰,  

[発表日]2001/5/22
[資料番号]SS2001-10
ホームページ作成支援システムHALSの開発

林 信吾,  中村 彰,  安藤 忠,  

[発表日]2001/5/22
[資料番号]SS2001-11
[OTHERS]

,  

[発表日]2001/5/22
[資料番号]