6月23日(木) 午後 13:00 - 17:00 |
(1) |
13:00-13:30 |
特定分野のソフトウェアに関する特性の相関を用いた要求獲得法 |
○長田 晃・小澤大伍・海谷治彦・海尻賢二(信州大) |
(2) |
13:30-14:00 |
協調フィルタリングに基づくソフトウェア開発技術の推薦 |
○秋永知宏・大杉直樹・柿元 健・角田雅照・門田暁人・松本健一(奈良先端大) |
|
14:00-14:15 |
休憩 ( 15分 ) |
(3) |
14:15-14:45 |
状態遷移表における無効セルの検証方法 |
○松本充広(福岡県産業・科学技術振興財団/九大)・山下直仁(福岡県産業・科学技術振興財団)・鈴木郁子(シャープ)・福田 晃(九大) |
(4) |
14:45-15:15 |
プログラマの視線を用いたレビュープロセスの分析 |
○上野秀剛・中道 上・井垣 宏・門田暁人・中村匡秀・松本健一(奈良先端大) |
(5) |
15:15-15:45 |
動的に演算定義が可能な拡張正規表現照合システム |
○岡田吉文・山本博章(信州大) |
|
15:45-16:00 |
休憩 ( 15分 ) |
(6) |
16:00-17:00 |
[招待講演]自己増殖型ソフトウェアプロダクト診断 |
○海尻賢二(信州大) |
6月24日(金) 午前 09:00 - 12:15 |
(7) |
09:00-09:30 |
A Static Analysis using Tree Automata for XML Access Control |
○Isao Yagi・Yoshiaki Takata・Hiroyuki Seki(NAIST) |
(8) |
09:30-10:00 |
オントロジーを用いたソフトウェア設計法の一検討 |
○吉田 寛・井上貴司・松雪康巳・山村哲哉(NTT) |
(9) |
10:00-10:30 |
A Formal Model for Stateful Trust Management Systems |
○Hisashi Mouri・Yoshiaki Takata・Hiroyuki Seki(NAIST) |
|
10:30-10:45 |
休憩 ( 15分 ) |
(10) |
10:45-11:15 |
強計算性に基づいた単純型項書換え系の停止性証明法 |
○草刈圭一朗・櫻井敬大・西田直樹・酒井正彦・坂部俊樹(名大) |
(11) |
11:15-11:45 |
難読プログラミング言語Malbolgeにおけるプログラム構成手法 |
○飯澤 恒・坂部俊樹・酒井正彦・草刈圭一朗・西田直樹(名大) |
(12) |
11:45-12:15 |
ナローイング計算の停止性証明のための依存グラフ法 |
○三浦浩一・西田直樹・酒井正彦・草刈圭一朗・坂部俊樹(名大) |