3月3日(月)
10:10 - 17:20 |
| (1) |
10:10-10:35 |
実時間ソフトウェア再利用のためのパラメトリック実行時間解析の一手法 |
河井敏宏・○中田明夫（広島市大） |
| (2) |
10:35-11:00 |
プロダクトライン開発のためのフィーチャ指向単体テストの一手法 |
○福田雅隆・中西恒夫（九大）・北須賀輝明（熊本大）・田頭茂明・福田 晃（九大） |
| (3) |
11:00-11:25 |
Error Detection with Soft Typing for Dynamically Typed Languages |
○Akihisa Yamada・Keiichirou Kusakari・Masahiko Sakai・Toshiki Sakabe・Naoki Nishida（Nagoya Univ.） |
| (4) |
11:25-11:50 |
有界モデル検査を用いた複数UML図の形式的検証 |
○宮崎 仁・横川智教・佐藤貞仁・佐藤洋一郎・早瀬道芳（岡山県立大） |
| |
11:50-13:05 |
昼食 （ 75分 ） |
| (5) |
13:05-13:30 |
単純型付き項書き換え系における静的依存対法とその周辺 |
○草刈圭一朗・酒井正彦（名大） |
| (6) |
13:30-13:55 |
等式を規則化する変換の停止条件 |
○水野清貴・西田直樹・坂部俊樹・酒井正彦・草刈圭一朗（名大） |
| (7) |
13:55-14:20 |
自己合成法を利用した再帰プログラムの情報流解析法について |
○伊藤信裕・関 浩之（奈良先端大） |
| |
14:20-14:35 |
休憩 （ 15分 ） |
| (8) |
14:35-15:00 |
Token Comparison Approach to Detect Code Clone-related Bugs |
○Yii Yong Lee・Yasuhiro Hayase・Makoto Matsushita・Katsuro Inoue（Osaka Univ.） |
| (9) |
15:00-15:25 |
Quality prediction model for object oriented software using UML metrics |
○Camargo Cruz Ana Erika・Koichiro Ochimizu（JAIST） |
| (10) |
15:25-15:50 |
Specification Description and High-level Design Methodology of SoC Considering Design Reuse |
○Yeonbok Lee・Yuji Ishikawa・Yoshihisa Kojima・Hiroaki Yoshida（Tokyo Univ.）・Hisashi Yomiya（TOSHIBA Corp.）・Satoshi Komatsu・Masahiro Fujita（Tokyo Univ.） |
| |
15:50-16:05 |
休憩 （ 15分 ） |
| (11) |
16:05-16:30 |
アマゾンバグ防止フレームワークのためのWebアプリケーション双実行モデル |
○水野良太・今井敬吾・末次 亮・金子伸幸（名大）・山本晋一郎（愛知県立大）・阿草清滋（名大） |
| (12) |
16:30-16:55 |
MDA体系に沿ったGUIモデル変換手法 |
○迎田 宙・岩田 一（早大）・白銀純子（東京女子大）・深澤良彰（早大） |
| (13) |
16:55-17:20 |
既存類似システムの機能比較に基づく要求定義支援ツールの実現と評価 |
○北沢直幸・長田 晃・上條和幸・海谷治彦・海尻賢ニ（信州大） |
3月4日(火)
09:30 - 12:15 |
| (14) |
09:30-09:55 |
タスク割り当て時の応答時間短縮を目的とした,静的なタスク実行粒度調整手法 |
○金光永煥・中里秀則・星合隆成・浦野義頼（早大） |
| (15) |
09:55-10:20 |
セキュアなソフトウェア開発を実現するセキュアソフト工学の提案 |
○斉藤典明・小田 哲・宮澤俊之・知加良 盛・川村 亨・金井 敦（NTT） |
| (16) |
10:20-10:45 |
メトリクス値の変遷に基づくソフトウェアの特性分析手法の提案と実装 |
○村尾憲治・肥後芳樹・井上克郎（阪大） |
| |
10:45-11:00 |
休憩 （ 15分 ） |
| (17) |
11:00-11:25 |
要求の構造に基づく要求品質の管理 |
○服部 昇・山本修一郎（NTTデータ） |
| (18) |
11:25-11:50 |
Abstraction of Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop |
Takeshi Nagaoka・○Kozo Okano・Shinji Kusumoto（Osaka Univ.） |
| (19) |
11:50-12:15 |
名前の重複を考慮したJavaソフトウェア部品間の利用関係解析手法の提案 |
○市井 誠（阪大）・横森励士（南山大）・井上克郎（阪大） |
: 
is
-u