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

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

,  

[発表日]2006/12/7
[資料番号]
目次

,  

[発表日]2006/12/7
[資料番号]
時間経過の概念を導入したTimed STDsによる協調システムのモデリング

豊原 雄太,  川端 亮,  伊藤 潔,  

[発表日]2006/12/7
[資料番号]SS2006-56
単純型項書換え系における定理自動証明系HOPSYS

蒲田 明憲,  草刈 圭一朗,  西田 直樹,  酒井 正彦,  坂部 俊樹,  

[発表日]2006/12/7
[資料番号]SS2006-57
Implementing an OCL to JML Translation Tool

,  

[発表日]2006/12/7
[資料番号]SS2006-58
モデル駆動型開発におけるモデルメトリックスの定義手法

佐伯 元司,  海谷 治彦,  

[発表日]2006/12/7
[資料番号]SS2006-59
プロダクトライン開発方法論PLUSの問題点とその解決

中西 恒夫,  山崎 進,  藤田 充典,  山下 直仁,  芦原 秀一,  

[発表日]2006/12/7
[資料番号]SS2006-60
統合フレームワークとリスク監視に基づくソフトウェアプロセスの長・中・短期的改善法に関する考察

落水 浩一郎,  

[発表日]2006/12/7
[資料番号]SS2006-61
Javaプログラム自動可視化ツールAvisにおける大規模プログラム適用のための拡張

喜多 義弘,  片山 徹郎,  冨田 重幸,  

[発表日]2006/12/7
[資料番号]SS2006-62
シーケンス図を用いた実行履歴の可視化によるJavaプログラムの理解支援に関する考察

竹下 彰人,  片山 徹郎,  

[発表日]2006/12/7
[資料番号]SS2006-63
背表紙画像を用いたネットワーク透過な仮想書架

宮川 拓也,  山口 恭平,  大森 洋一,  池田 大輔,  荒木 啓二郎,  

[発表日]2006/12/7
[資料番号]SS2006-64
複写される方へ

,  

[発表日]2006/12/7
[資料番号]
Notice about photocopying

,  

[発表日]2006/12/7
[資料番号]
奥付

,  

[発表日]2006/12/7
[資料番号]