12月17日(木) 午後 13:40 - 18:00 |
(1) |
13:40-14:10 |
開放型分散アスペクト指向フレームワークの高度道路交通システムへの適用 |
○成瀬龍人・野村 潤・外村慶二・鵜林尚靖(九工大)・司代尊裕・岩井明史(デンソー) |
(2) |
14:10-14:40 |
ドメイン特化型言語のための開発支援手法 |
○佐々木 晃・市川 寛(法政大) |
(3) |
14:40-15:10 |
携帯端末用Webページから通常端末用ページを構成する手法 ~ Webページのモデル化とその評価 ~ |
○勝俣浩樹(早大)・小野康一(日本IBM)・深澤良彰(早大) |
|
15:10-15:20 |
休憩 ( 10分 ) |
(4) |
15:20-15:50 |
条件式の解析によるSQLインジェクション脆弱性検査法の改良 |
○大橋知典・Heng Li・西田誠幸(拓殖大) |
(5) |
15:50-16:20 |
高階書換え系における引数切り落とし法と実効規則 |
○鈴木 翔・草刈圭一朗・坂部俊樹・酒井正彦・西田直樹(名大) |
(6) |
16:20-16:50 |
右線形右シャローな項書換え系における文脈依存停止性の決定可能性について |
○御宿義勝・酒井正彦・坂部俊樹・草刈圭一朗・西田直樹(名大) |
|
16:50-17:00 |
休憩 ( 10分 ) |
(7) |
17:00-18:00 |
[招待講演]ソフトウェアテスト技術の現状と動向
○古川善吾・高木智彦(香川大学) |
12月18日(金) 午前 08:40 - 12:30 |
(8) |
08:40-09:10 |
条件付き等式の変換に基づくプログラム生成 |
○長島正憲・酒井正彦・坂部俊樹・西田直樹・草刈圭一朗(名大) |
(9) |
09:10-09:40 |
表現の変換という視点からの計算機上の処理のモデル化 |
○古宇田フミ子・近山 隆(東大) |
(10) |
09:40-10:10 |
実行履歴にもとづくマルチコア実時間応用プログラムのデバッグモデル |
○水野洋樹・結縁祥治(名大) |
|
10:10-10:20 |
休憩 ( 10分 ) |
(11) |
10:20-10:50 |
ソースコードに対して適用可能な編集手順を探索するリファクタリング支援手法の提案 |
○譜久島 亮・吉田則裕・松下 誠・井上克郎(阪大) |
(12) |
10:50-11:20 |
リファクタリングのための変更波及解析を利用したテスト支援ツールの提案 |
○吉田昌友・吉田則裕・松下 誠・井上克郎(阪大) |
|
11:20-11:30 |
休憩 ( 10分 ) |
(13) |
11:30-12:00 |
ソフトウェアタグを用いた設計文書メトリクスからの低品質モジュールの予測 |
○片山真一・大蔵君治・伏田享平・川口真司(奈良先端大)・名倉正剛(奈良先端大/現日立)・門田暁人・飯田 元(奈良先端大) |
(14) |
12:00-12:30 |
オープンソース開発におけるコード変更量の推移予測に関する考察 ~ 成長曲線モデルの適用 ~ |
○阿萬裕久(愛媛大) |