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

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

,  

[発表日]2006/10/19
[資料番号]
目次

,  

[発表日]2006/10/19
[資料番号]
静的解析を用いたWebアプリケーションにおける脆弱性の検出

西田 誠幸,  

[発表日]2006/10/19
[資料番号]SS2006-40,KBSE2006-16
手続き型プログラムから書換え系への変換に基づくソフトウェア検証の試み

古市 祐樹,  西田 直樹,  酒井 正彦,  草刈 圭一朗,  坂部 俊樹,  

[発表日]2006/10/19
[資料番号]SS2006-41,KBSE2006-17
例外処理付きオブジェクト指向言語における情報流の安全性解析

黒川 翔,  桑原 寛明,  山本 晋一郎,  坂部 俊樹,  酒井 正彦,  草刈 圭一朗,  西田 直樹,  

[発表日]2006/10/19
[資料番号]SS2006-42,KBSE2006-18
ソースコードの保守工程における変更連鎖の追跡とその解析

森崎 潤,  阿萬 裕久,  山田 宏之,  

[発表日]2006/10/19
[資料番号]SS2006-43,KBSE2006-19
クラスの凝集度と修正保守性との関係に関する考察

山下 純一,  阿萬 裕久,  山田 宏之,  

[発表日]2006/10/19
[資料番号]SS2006-44,KBSE2006-20
ソースコードの外部依存率と保守性との関係に関する考察

土居 通夫,  阿萬 裕久,  山田 宏之,  

[発表日]2006/10/19
[資料番号]SS2006-45,KBSE2006-21
GeneSysによるプログラム生成例とIntroduction規則の追加

近藤 悟,  酒井 正彦,  西田 直樹,  坂部 俊樹,  草刈 圭一朗,  

[発表日]2006/10/19
[資料番号]SS2006-46,KBSE2006-22
正常シナリオを用いた例外シナリオの導出支援

首藤 寛樹,  山本 泰士,  大西 淳,  

[発表日]2006/10/19
[資料番号]SS2006-47,KBSE2006-23
CAiSE' 06参加報告

斎藤 忍,  山本 修一郎,  佐伯 元司,  

[発表日]2006/10/19
[資料番号]SS2006-48,KBSE2006-24
複写される方へ

,  

[発表日]2006/10/19
[資料番号]
Notice about Photocopying

,  

[発表日]2006/10/19
[資料番号]
奥付

,  

[発表日]2006/10/19
[資料番号]