10月26日(木) 午後
13:15 - 17:30 |
| (1) |
13:15-13:40 |
静的解析を用いたWebアプリケーションにおける脆弱性の検出 |
○西田誠幸（拓殖大） |
| (2) |
13:40-14:05 |
手続き型プログラムから書換え系への変換に基づくソフトウェア検証の試み |
○古市祐樹・西田直樹・酒井正彦・草刈圭一朗・坂部俊樹（名大） |
| (3) |
14:05-14:30 |
例外処理付きオブジェクト指向言語における情報流の安全性解析 |
○黒川 翔・桑原寛明（名大）・山本晋一郎（愛知県立大）・坂部俊樹・酒井正彦・草刈圭一朗・西田直樹（名大） |
| |
14:30-14:45 |
休憩 （ 15分 ） |
| (4) |
14:45-15:10 |
ソースコードの保守工程における変更連鎖の追跡とその解析 |
○森崎 潤・阿萬裕久・山田宏之（愛媛大） |
| (5) |
15:10-15:35 |
クラスの凝集度と修正保守性との関係に関する考察 |
○山下純一・阿萬裕久・山田宏之（愛媛大） |
| (6) |
15:35-16:00 |
ソースコードの外部依存率と保守性との関係に関する考察 |
○土居通夫・阿萬裕久・山田宏之（愛媛大） |
| |
16:00-16:15 |
休憩 （ 15分 ） |
| (7) |
16:15-16:40 |
GeneSysによるプログラム生成例とIntroduction規則の追加 |
○近藤 悟・酒井正彦・西田直樹・坂部俊樹・草刈圭一朗（名大） |
| (8) |
16:40-17:05 |
正常シナリオを用いた例外シナリオの導出支援 |
○首藤寛樹（立命館大）・山本泰士（立命館大/NTTデータ）・大西 淳（立命館大） |
| (9) |
17:05-17:30 |
CAiSE'06参加報告 |
○斎藤 忍・山本修一郎（NTTデータ）・佐伯元司（東工大） |
10月27日(金) 午前
09:20 - 12:30 |
| (10) |
09:20-09:45 |
プロジェクト類似性に基づく工数見積もりのための変数選択 |
○瀧 進也・柿元 健・角田雅照・大杉直樹・門田暁人・松本健一（奈良先端大） |
| (11) |
09:45-10:10 |
変更履歴情報に着目した依存関係分析 |
○岩田英丈・阿萬裕久・山田宏之（愛媛大） |
| (12) |
10:10-10:35 |
ドメインモデルに対する要求獲得支援 |
○宮西英彰・山田宏之・阿萬裕久（愛媛大） |
| |
10:35-10:50 |
休憩 （ 15分 ） |
| (13) |
10:50-11:15 |
初心者向けXBRL文書作成支援システム |
○神宮司雄祐・渡辺喜道（山梨大） |
| (14) |
11:15-11:40 |
API Hookを用いたWindowsプログラムのモビリティ向上ソフトウェアの作成 |
○齊藤正隆・甲本卓也・杉山裕二（岡山大） |
| (15) |
11:40-12:05 |
ビジネスオントロジーに基づくWebアプリケーション開発 |
○近藤恵一・森田武史（慶大）・和泉憲明（産総研）・山口高平（慶大）・橋田浩一（産総研） |
| (16) |
12:05-12:30 |
数学Webサービスの実装とプロセス実行に関する研究 |
○中西智美・池田理世・甲斐 博（愛媛大） |
: 
is
-u
t
