12月18日(木) 午後
14:00 - 16:15 |
| (1) |
14:00-14:30 |
バグ管理システムを対象としたアジャイルソフトウェア開発における保守プロセスの観察 |
伏田享平・○大前勇輝・名倉正剛・川口真司・大蔵君治・飯田 元（奈良先端大） |
| (2) |
14:30-15:00 |
コードクローンの長さに基づくプログラム盗用確率の実験的算出 |
○岡原 聖（奈良先端大）・真鍋雄貴（阪大）・山内寛己・門田暁人・松本健一（奈良先端大）・井上克郎（阪大） |
| |
15:00-15:15 |
休憩 （ 15分 ） |
| (3) |
15:15-15:45 |
モデルチェッカを用いた要求仕様の法令準拠性の検査 |
○佐伯元司（東工大）・海谷治彦（信州大）・服部 哲（東工大） |
| (4) |
15:45-16:15 |
バージョン管理システムの利用コストと、その軽減手法 |
○坂井 仁・権藤克彦（東工大） |
12月19日(金) 午前
09:30 - 12:15 |
| (5) |
09:30-10:00 |
利用者インタフェースレベルでの理解が可能な処理モデルの構築法 |
○古宇田フミ子・近山 隆（東大） |
| (6) |
10:00-10:30 |
基本対称関数を付加したCNF論理式の充足可能性判定 |
○馬野洋平・酒井正彦・西田直樹・坂部俊樹・草刈圭一朗（名大） |
| (7) |
10:30-11:00 |
Decidability of Termination Properties for Term Rewriting Systems Consisting of Shallow Dependency Pairs |
○Keita Uchiyama・Masahiko Sakai・Toshiki Sakabe・Keiichirou Kusakari・Naoki Nishida（Nagoya Univ.） |
| |
11:00-11:15 |
休憩 （ 15分 ） |
| (8) |
11:15-11:45 |
木オートマトンを用いたXML処理 |
○高田喜朗（高知工科大）・関 浩之（奈良先端大） |
| (9) |
11:45-12:15 |
センサ情報のオープン化に向けたデータ記述・問い合わせ手法 |
○高橋洋士・満田成紀・鯵坂恒夫（和歌山大） |
: 
n
