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 |
○藤崎友美・掛下哲郎（佐賀大） |
: 
n
w
