Print edition: ISSN 0913-5685
[TOP] | [2006] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [Japanese] / [English]
SS2006-40
静的解析を用いたWebアプリケーションにおける脆弱性の検出
○西田誠幸（拓殖大）
pp. 1 - 6
SS2006-41
手続き型プログラムから書換え系への変換に基づくソフトウェア検証の試み
○古市祐樹・西田直樹・酒井正彦・草刈圭一朗・坂部俊樹（名大）
pp. 7 - 12
SS2006-42
例外処理付きオブジェクト指向言語における情報流の安全性解析
○黒川 翔・桑原寛明（名大）・山本晋一郎（愛知県立大）・坂部俊樹・酒井正彦・草刈圭一朗・西田直樹（名大）
pp. 13 - 18
SS2006-43
ソースコードの保守工程における変更連鎖の追跡とその解析
○森崎 潤・阿萬裕久・山田宏之（愛媛大）
pp. 19 - 24
SS2006-44
クラスの凝集度と修正保守性との関係に関する考察
○山下純一・阿萬裕久・山田宏之（愛媛大）
pp. 25 - 30
SS2006-45
ソースコードの外部依存率と保守性との関係に関する考察
○土居通夫・阿萬裕久・山田宏之（愛媛大）
pp. 31 - 36
SS2006-46
GeneSysによるプログラム生成例とIntroduction規則の追加
○近藤 悟・酒井正彦・西田直樹・坂部俊樹・草刈圭一朗（名大）
pp. 37 - 42
SS2006-47
正常シナリオを用いた例外シナリオの導出支援
○首藤寛樹（立命館大）・山本泰士（立命館大/NTTデータ）・大西 淳（立命館大）
pp. 43 - 48
SS2006-48
CAiSE'06参加報告
○斎藤 忍・山本修一郎（NTTデータ）・佐伯元司（東工大）
pp. 49 - 54
今後、次の点を修正する予定です。(1)欠けている表紙画像・奥付画像を補完いたします。(2)欠けている発行日の情報を補完いたします。
注： 本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります．