10月13日(木) 午後 13:00 - 17:15 |
(1) |
13:00-13:30 |
Javaプログラムを対象としたオブジェクト間の呼び出し関係情報を含んだコントロールフローグラフの生成について |
○川添貴議・片山徹郎(宮崎大) |
(2) |
13:30-14:00 |
拡張オーバレイモデルへの難易度の導入とその効果 |
○桜井将人・砂長 裕・山本洋介・上之薗和宏・橋浦弘明・古宮誠一(芝浦工大) |
(3) |
14:00-14:30 |
データ依存解析に基づくレガシーソフトウェアからのサービス抽出法 |
○木村隆洋・中村匡秀・井垣 宏・松本健一(奈良先端大) |
(4) |
14:30-15:00 |
ソフトウェア開発に関する実践的な仮説 |
○服部 昇・副島千鶴・山本修一郎(NTTデータ) |
|
15:00-15:15 |
休憩 ( 15分 ) |
(5) |
15:15-15:45 |
テスト駆動開発に基づくプログラミング学習支援システム ~ 初心者開発者のためのセルフトレーニングアーキテクチャ ~ |
○吉田英輔(広島大)・角川裕次(阪大) |
(6) |
15:45-16:15 |
産能大式事務分析図とアクティビティ図における業務分析の有効性比較 |
○立松卓磨(芝浦工大)・小島 章(NECソフト)・木口貴人(芝浦工大)・高橋 弘(富士電機アドバンストテクノロジー)・古宮誠一(芝浦工大) |
(7) |
16:15-16:45 |
重なりを持つTRSにおける最外戦略の完全性について |
○岩田篤史・酒井正彦・西田直樹・草刈圭一朗・坂部俊樹(名大) |
(8) |
16:45-17:15 |
類似プロジェクトを用いた工数予測方法の性能比較 |
○角田雅照・柿元 健・大杉直樹・門田暁人・松本健一(奈良先端大) |
10月14日(金) 午前 09:00 - 12:45 |
(9) |
09:00-09:30 |
UMLモデルに対するXPathとXMI-differenceを用いた不整合検出と解消 |
○佐々木 亨・岡野浩三・楠本真二(阪大) |
(10) |
09:30-10:00 |
Daikonの限定利用によるJavaメソッドの事後条件の自動導出 |
○梶田泰伸・岡野浩三・楠本真二(阪大) |
(11) |
10:00-10:30 |
A New Architecture for Trust Management with User Presence |
○Jun Noda(NEC)・Hisashi Mouri(NAIST)・Yoshiaki Takata・Hiroyuki Seki(NEC/NAIST)・Daigo Taguchi・Mie Takahashi・Itaru Hosomi(NEC) |
(12) |
10:30-11:00 |
Parametric Verification towards Design of Real-Time Systems |
○Chaiwat Sathawornwichit・Takuya Katayama(JAIST) |
|
11:00-11:15 |
休憩 ( 15分 ) |
(13) |
11:15-11:45 |
フィーチャー指向分析を基にしたApacheの構成・設定の動的変更 |
○谷崎裕明・片山卓也(北陸先端大) |
(14) |
11:45-12:15 |
Communication model among Statecharts: An approach using characteristic event sequences |
○Hsin-Hung Lin・Takuya Katayama(JAIST) |
(15) |
12:15-12:45 |
PSF手法に基づくプログラム作成過程における変遷の可視化 |
○水穂良平・土田康太・浜名隆広・佐藤匡正(島根大) |