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

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

,  

[発表日]2006/6/15
[資料番号]
目次

,  

[発表日]2006/6/15
[資料番号]
OTS/CafeOBJからOTS/Maudeへの仕様変換の研究

中村 正樹,  孔 維強,  緒方 和博,  二木 厚吉,  

[発表日]2006/6/15
[資料番号]SS2006-13
等式付き書換え系の等式数を削減する変換

三浦 浩一,  西田 直樹,  酒井 正彦,  坂部 俊樹,  草刈 圭一朗,  

[発表日]2006/6/15
[資料番号]SS2006-14
単純型項書換え系上の依存対法における実効規則と直積型項へのラベル付け

櫻井 敬大,  草刈 圭一朗,  酒井 正彦,  坂部 俊樹,  西田 直樹,  

[発表日]2006/6/15
[資料番号]SS2006-15
制約オートマトンに関するモデル検査法の実験

中島 震,  

[発表日]2006/6/15
[資料番号]SS2006-16
クラス図とシーケンス図間における矛盾の識別

ウイドド エルウィン,  大西 淳,  

[発表日]2006/6/15
[資料番号]SS2006-17
オープンソースソフトウェアに対する遺伝的アルゴリズムに基づく信頼性評価法

田村 慶信,  山田 茂,  

[発表日]2006/6/15
[資料番号]SS2006-18
ソフトウェア開発方法論とプロジェクト管理の融合法に関する基礎考察

落水 浩一郎,  

[発表日]2006/6/15
[資料番号]SS2006-19
複写される方へ

,  

[発表日]2006/6/15
[資料番号]
Notice about photocopying

,  

[発表日]2006/6/15
[資料番号]
奥付

,  

[発表日]2006/6/15
[資料番号]