1月20日(木) 午後 13:00 - 15:00 |
(1) |
13:00-13:30 |
STSプロトコルの形式化と検証によるCafeOBJとCoqの比較 |
○原 光太朗(北陸先端大)・緒方和博(NEC/北陸先端大)・中村正樹・二木厚吉(北陸先端大) |
(2) |
13:30-14:00 |
リッチクライアントに適したWebアプリケーションフレームワークの提案と実装 |
○秋田一郎・満田成紀・福安直樹・吉田 敦・鯵坂恒夫(和歌山大) |
(3) |
14:00-14:30 |
Ripple Down Rules, a practical method of learning from code rewrites |
○Eddy Parkinson・Shinji Kawaguchi・Katsuro Inoue(Osaka Univ.) |
(4) |
14:30-15:00 |
初心者を対象としたJavaプログラム自動可視化ツールの実現に向けて |
○喜多義弘・川添貴議・片山徹郎(宮崎大) |
|
15:00-15:15 |
休憩 ( 15分 ) |
1月20日(木) 午後 15:15 - 17:15 |
(5) |
15:15-15:45 |
プログラミング支援のためのUMLからJavaソースコードへの変換規則の抽出 |
○下村希世人・片山徹郎(宮崎大) |
(6) |
15:45-16:15 |
アスペクト指向プログラムにおけるコールグラフの構築 |
○林田隆元・岩本将典・徳門 敦・趙 建軍(福岡工大) |
(7) |
16:15-16:45 |
ASE2004 参加報告 |
○坂田祐司・松田栄之・山本修一郎(NTTデータ)・佐伯元司(東工大)・本位田真一(NII/東大) |
(8) |
16:45-17:15 |
開発履歴情報に基づいたダイナミックコミュニティ選定支援手法 |
○佐々木 啓・松下 誠・井上克郎(阪大) |
1月21日(金) 午前 09:00 - 11:45 |
(9) |
09:00-09:30 |
AspectJプログラムにおける制御フローグラフの構築法 |
○吉岡伸典・岩本将典・林田隆元・趙 建軍(福岡工大) |
(10) |
09:30-10:00 |
GUIウィジェット変更に伴うソースコード変更支援 |
○深谷和弘(早大)・白銀純子(東京女子大)・深澤良彰(早大) |
(11) |
10:00-10:30 |
プログラム理解度がコードレビュー達成度に及ぼす影響の分析 |
○栗山 進・大平雅雄・門田暁人・松本健一(奈良先端大) |
|
10:30-10:45 |
休憩 ( 15分 ) |
(12) |
10:45-11:15 |
静的なJavaプログラムを対象とした構造の理解コスト計量ツール |
○馬場敬尚・掛下哲郎(佐賀大) |
(13) |
11:15-11:45 |
構造化されたアルゴリズムを対象とした教育支援ツールPerseus |
○藤崎友美・掛下哲郎(佐賀大) |