3月8日(月) A会場 09:00 - 17:30 |
(1) |
09:00-09:30 |
インタビューによる要求抽出作業を誘導するシステム ~ 機能要求を聞き出す質問の誘導方法の提案 ~ |
○埜口 元・谷藤史門(芝浦工大)・山中隆敏(芝浦工大/富士通)・古宮誠一(芝浦工大) |
(2) |
09:30-10:00 |
要求追跡ネットワークを用いたプロセス改善支援およびプロジェクトスケジューリング法 |
○齋藤彰儀・落水浩一郎(北陸先端大) |
(3) |
10:00-10:30 |
開発プロセスの観察とグループ間比較による実践的ソフトウェア開発演習の支援環境 |
○柿元 健(阪大)・井垣 宏(神戸大)・川口真司(奈良先端大)・福安直樹(和歌山大)・佐伯幸郎(高知工科大)・早瀬康裕(阪大)・崎山直洋(NTTデータ) |
|
10:30-10:40 |
休憩 ( 10分 ) |
(4) |
10:40-11:10 |
ユビキタスネットワークにおけるサービス資源検索のためのサービスレジストリの考察 |
○瀬戸英晴・江上公一・松尾周平・井垣 宏・中村匡秀(神戸大) |
(5) |
11:10-11:40 |
サービス競合検出・解消システムを用いたホームネットワーク連携サービスの開発 |
○稲田卓也・吉村悠平・池上弘祐・井垣 宏・中村匡秀(神戸大)・中北賢二・竹原清隆(パナソニック電工) |
(6) |
11:40-12:10 |
振る舞いモデルを用いたフレームワーク利用支援ツール |
○善明晃由・林 晋平・佐伯元司(東工大) |
|
12:10-13:10 |
昼食 ( 60分 ) |
(7) |
13:10-13:40 |
状況に応じた設計情報の再利用を支援するUML図の自動推薦ツール |
○松下 誠・早瀬康裕・松下 誠・井上克郎(阪大) |
(8) |
13:40-14:10 |
重複コードと非重複コードにおける修正頻度の比較 |
○佐野由希子・肥後芳樹・楠本真二(阪大) |
(9) |
14:10-14:40 |
大規模ソースコード集合を対象とした類似関数集合群の抽出 |
○田中健介・肥後芳樹・楠本真二(阪大) |
|
14:40-14:50 |
休憩 ( 10分 ) |
(10) |
14:50-15:20 |
メソッド呼び出しに関する不具合修正での変更作業の分析 |
○森井亮介・畑 秀明(阪大)・水野 修(京都工繊大)・菊野 亨(阪大) |
(11) |
15:20-15:50 |
編集操作の分類に基づくソースコード差分の構造化 |
○林 晋平・佐伯元司(東工大) |
(12) |
15:50-16:20 |
コードクローンに対する変更の一貫性と欠陥発生との関連性に関する分析 |
○西田皓司・伏田享平・川口真司・飯田 元(奈良先端大) |
|
16:20-16:30 |
休憩 ( 10分 ) |
(13) |
16:30-17:00 |
コードクローンを用いたソフトウェア間の類似度の分析 |
○坂本 啓・岸本康成・佐藤宏之・小林 透(NTT) |
(14) |
17:00-17:30 |
テキストマイニング技術を用いたソフトウェアの類似性分析 |
○岸本康成・坂本 啓・佐藤宏之・小林 透(NTT) |
3月8日(月) B会場 09:00 - 17:30 |
(15) |
09:00-09:30 |
時間抽象を行う洗練手法を用いた確率時間システムの到達可能性解析 |
○伊藤明彦・長岡武志・岡野浩三・楠本真二(阪大) |
(16) |
09:30-10:00 |
Symmetry Reductionを使ったAISの確率付きモデル検査 |
○豊島崇士・高橋和子(関西学院大)・関澤俊弦(阪学院大/産総研) |
(17) |
10:00-10:30 |
E-AoSAS++における振舞い検証の枠組み |
○張 漢明・沢田篤史・野呂昌満(南山大) |
|
10:30-10:40 |
休憩 ( 10分 ) |
(18) |
10:40-11:10 |
型付けによるファイル間データ非干渉の検証 |
○座礼晃一・山田俊行(三重大) |
(19) |
11:10-11:40 |
多目的最適化問題における免疫アルゴリズムの研究 |
○森重綾太・小野智司・中山 茂(鹿児島大) |
(20) |
11:40-12:10 |
共通記号を持つ背景理論の決定手続きの結合法とその効率化について |
○岩沼宏治(山梨大) |
|
12:10-13:10 |
昼食 ( 60分 ) |
(21) |
13:10-13:40 |
セーフティクリティカルシステムのプロダクトラインにおけるNバージョンプログラミングの導入 |
○中西恒夫・久住憲嗣・福田 晃(九大) |
(22) |
13:40-14:10 |
コレオグラフィに基づく高信頼通信指向GUIプログラミング |
○下村 翔・結縁祥治(名大) |
(23) |
14:10-14:40 |
計算資源へのアクセス能力に基づく競合検査とデッドロック検査のための型解析 |
○坂野吉隆・結縁祥治(名大) |
|
14:40-14:50 |
休憩 ( 10分 ) |
(24) |
14:50-15:20 |
ソフトウェア信頼度成長モデルにおけるAICの適用条件に関する考察 |
○亀井泰高・古山恒夫(東海大) |
(25) |
15:20-15:50 |
粗粒度モジュールに対するバグ密度予測の精度評価 |
○亀井靖高・柗本真佑・門田暁人・松本健一(奈良先端大) |
(26) |
15:50-16:20 |
実行履歴情報を用いたオブジェクト指向ソフトウェアテスト手法の提案 |
○森 淳郎・上田賀一(茨城大) |
|
16:20-16:30 |
休憩 ( 10分 ) |
(27) |
16:30-17:00 |
遅延パーサを用いた軽量なXQuery処理系 |
○蜂巣吉成・野呂昌満・沢田篤史・張 漢明(南山大) |
(28) |
17:00-17:30 |
限定継続に基づくスケーラブルなウェブアプリケーション構築手法 |
○田中麻峰・亀山幸義(筑波大) |