3月6日(木) 午前 セッション1 10:30 - 12:20 |
|
10:30-10:35 |
委員長挨拶 ( 5分 ) |
(1) |
10:35-11:10 |
モデル検査における反例解析容易化支援 |
○青木善貴(日本ユニシス)・松浦佐江子(芝浦工大) |
(2) |
11:10-11:45 |
要求変更の予測可能性に関する事例調査 |
○中谷多哉子・小礒裕子(筑波大)・片峯恵一(九工大)・妻木俊彦(NII) |
(3) |
11:45-12:20 |
エンドユーザ主導のWebアプリケーション開発方式の試作 ~ ビジネスロジックの定義と実装方式 ~ |
○許 杰・中所武司(明大) |
|
12:20-13:05 |
休憩 ( 45分 ) |
3月6日(木) 午後 セッション2 13:05 - 15:25 |
(4) |
13:05-13:40 |
要求仕様の理解と妥当性確認の為の議論の実施に向けて ~ 議論の内容を構造化して記録する為のモデルの提案 ~ |
○古宮誠一(NII) |
(5) |
13:40-14:15 |
Traceability Link Recoveryを行うIR手法のマイニング |
○湯浅諒平・小形真平・海谷治彦・海尻賢二(信州大) |
(6) |
14:15-14:50 |
英語7文型と関数従属性に基づくクラス図の理解 |
○金田重郎・井田明男・酒井孝真(同志社大) |
(7) |
14:50-15:25 |
日本語記述単文化法に基づく概念クラス図作成支援システムの構築 |
○熊谷聡志・酒井孝真・金田重郎(同志社大) |
|
15:25-15:35 |
休憩 ( 10分 ) |
3月6日(木) 午後 セッション3 15:35 - 17:50 |
(8) |
15:35-16:10 |
D-Caseを用いたビジネスプロセスの妥当性の考察 |
○村井謙太・山本修一郎(名大) |
(9) |
16:10-16:45 |
D-Caseを用いたテスト十分性の保証方法の適用評価について |
○大林英晶・山本修一郎(名大) |
(10) |
16:45-17:15 |
記号実行を用いた等価ミュータントの検出手法 |
上芝貴也・王 イ涛・○芳賀博英(同志社大) |
(11) |
17:15-17:50 |
テスト戦略の変更に対応した組み合わせテスト技法に関する研究 |
○大羽正浩・佐々木健太・福武久史・佐藤久仁哉・高木智彦・八重樫理人(香川大) |
3月7日(金) 午前 セッション4 09:50 - 11:35 |
(12) |
09:50-10:25 |
差分シナリオを用いたシナリオ検索支援 ~ 差分シナリオの生成・視覚化ツールの開発 ~ |
塩田英二・○大西 淳(立命館大) |
(13) |
10:25-11:00 |
モバイルアドホックネットワークを利用した複数自転車向け路上危険箇所共有システム |
○田端佑介・山本 光・河内雄太・浅田翔平・金田重郎(同志社大) |
(14) |
11:00-11:35 |
定性時空間表現を使ったサッカーの試合動画からのイベント導出 |
○阪井田政樹・清瀬崇則・高橋和子(関西学院大) |
|
11:35-12:35 |
休憩 ( 60分 ) |
3月7日(金) 午後 セッション5 12:35 - 14:55 |
(15) |
12:35-13:10 |
細粒度の利用者情報の流出を可視化するAndroidアプリ解析法 |
○坂下卓弥・小形真平・海谷治彦・海尻賢二(信州大) |
(16) |
13:10-13:45 |
単方向性制約伝搬に基づく業務システム構成法の提案 ~ 地方税の税務処理を例として ~ |
○矢野寛将・桑山浩希・金田重郎(同志社大) |
(17) |
13:45-14:20 |
用語関係抽出によるD-Caseレビュー手法の提案 |
○松村昌典・山本修一郎(名大) |
(18) |
14:20-14:55 |
Software-Aided Feature Selection for Open Source Software by Applying Brainstorming Methodology Based on Existing Open Source Software |
○Md. Mahfuzus Salam Khan・Takaaki Goto・Tetsuro Nishino(Univ. of Electro-Comm.) |
|
14:55-15:05 |
休憩 ( 10分 ) |
3月7日(金) 午後 セッション6 15:05 - 17:30 |
(19) |
15:05-15:40 |
オブジェクトへの責務配分のための多次元尺度構成法の適用 ~ ソフトシステムズ方法論の成果物からの接近 ~ |
○井田明男・金田重郎(同志社大) |
(20) |
15:40-16:15 |
要求モデルに基づくアーキテクチャ・モデルの作成法の提案 |
○山本修一郎(名大) |
(21) |
16:15-16:50 |
開発ドキュメント間トレースリンク構築支援のための検索方式の提案 |
○角田 誠・鈴木源吾(NTT)・渡部修平(NTTコムウェア)・榎本俊文・小林伸幸(NTT) |
(22) |
16:50-17:25 |
オブジェクト指向ペトリネットによるビジネスプロセス表現への時間付きアークの導入 |
○飯島 正(慶大) |
|
17:25-17:30 |
委員長挨拶 ( 5分 ) |