情報・システム-ソフトウェアサイエンス(開催日：2003/01/23)

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

,  

[発表日]2003/1/23
[資料番号]
目次

,  

[発表日]2003/1/23
[資料番号]
ユーザの間欠使用を考慮したデバッグ回数に基づくソフトウェア可用性評価

齋藤 豊,  得能 貢一,  山田 茂,  

[発表日]2003/1/23
[資料番号]SS2002-27
ペトリネットに対するSATを利用したモデル検査の効率化

市原 浩司,  土屋 達弘,  菊野 亨,  

[発表日]2003/1/23
[資料番号]SS2002-28
拡張時間オートマトン群による実時間システムの記述および検証

加藤 雄一郎,  山口 弘純,  岡野 浩三,  谷口 健一,  

[発表日]2003/1/23
[資料番号]SS2002-29
XML文書に対するアクセシビリティ・ガイドラインの自動検証

中村 岳志,  高田 喜朗,  関 浩之,  

[発表日]2003/1/23
[資料番号]SS2002-30
離散確率分布を持つリアルタイムシステムの詳細化検証手法

山根 智,  

[発表日]2003/1/23
[資料番号]SS2002-31
設計レビューにおける人的要因とソフトウェア信頼性の関係に対する品質工学的分析

松田 僚太郎,  山田 茂,  

[発表日]2003/1/23
[資料番号]SS2002-32
デバッグの実施回数とソフトウェア安全性/可用性評価の関係に関する考察

才津 久永,  得能 貢一,  山田 茂,  

[発表日]2003/1/23
[資料番号]SS2002-33
プロセス資産の再利用を支援するプロセスモデルの提案とそれに基づくプロセス中心型開発環境の試作

後藤 徹平,  飯田 元,  松本 健一,  田中 康,  

[発表日]2003/1/23
[資料番号]SS2002-34
ソフトウェアプロセスのグラフモデル表現に基づくプロジェクト事例共有システムの開発

粕淵 健郎,  飯田 元,  松本 健一,  田中 康,  

[発表日]2003/1/23
[資料番号]SS2002-35
分散開発環境に対する一般化確率微分方程式モデルに基づく最適リリース問題

内田 雅也,  田村 慶信,  山田 茂,  木村 光宏,  

[発表日]2003/1/23
[資料番号]SS2002-36
複写される方へ

,  

[発表日]2003/1/23
[資料番号]
奥付

,  

[発表日]2003/1/23
[資料番号]