3月10日(木) 午後 13:30 - 17:55 |
|
13:30-13:40 |
委員長挨拶 ( 10分 ) |
(1) |
13:40-14:20 |
ゴールグラフの品質向上支援ツールとその評価 |
○鵜飼孝典(富士通研/東工大)・林 晋平・佐伯元司(東工大) |
(2) |
14:20-15:00 |
UML要求仕様からのカバレッジに基づく機能テストのテストケース生成 |
○式見 遼・小形真平・松浦佐江子(芝浦工大) |
(3) |
15:00-15:40 |
要求オントロジーの正当性検証システム |
ブイ クワン フイ・○大西 淳(立命館大) |
|
15:40-15:55 |
休憩 ( 15分 ) |
(4) |
15:55-16:35 |
非正常系現象に着目した組込みシステムの障害シナリオ分析手法 |
○三瀬敏朗・新屋敷泰史(パナソニック電工)・片峯恵一・橋本正明(九工大)・中谷多哉子(筑波大)・鵜林尚靖(九大) |
(5) |
16:35-17:15 |
担当者割当支援における業務実績評価のためのシステム類似度算出方法 |
○亀田栄一・望月雅光・勅使河原可海(創価大) |
(6) |
17:15-17:55 |
ファジィクラスタ分析による「海辺のカフカ」の作品把握 |
○加藤千恵子・前城裕紀(東洋大)・マシュー ストレッカー(ウィノナ大)・土田賢省(東洋大) |
3月11日(金) 午前 10:00 - 12:00 |
(7) |
10:00-10:40 |
プロトタイプ生成可能なモデル駆動要求分析手法の要求工学教育への適用 |
○小形真平・松浦佐江子(芝浦工大) |
(8) |
10:40-11:20 |
情報連携アーキテクチャ分析技法 |
○山本修一郎(名大) |
(9) |
11:20-12:00 |
要求工学のモデル論 |
○青山幹雄(南山大)・中谷多哉子(筑波大)・斎藤 忍(NTTデータ)・鈴木三紀夫(TIS)・中崎博明(富士通FIP)・藤田和明(日立ソリューションズ)・鈴木律郎(情報サービス産業協会) |
3月11日(金) 午後 13:00 - 16:35 |
(10) |
13:00-13:40 |
三上文法に基づくER図関連名に対する一考察 ~ 関連の説明における視点移動と概念データモデリング(CDM) ~ |
○金田重郎(同志社大) |
(11) |
13:40-14:20 |
要件定義における画面プロトタイピングの有効性と問題の考察 |
○蔀 亜紀子・斎藤 忍(NTTデータ) |
(12) |
14:20-15:00 |
既存ウインドウ情報の解析による一貫性を持ったGUI自動生成手法 |
○白井盛太郎(早大)・白銀純子(東京女子大)・岩田 一(神奈川工科大)・深澤良彰(早大) |
|
15:00-15:15 |
休憩 ( 15分 ) |
(13) |
15:15-15:55 |
CRUD分析中心の業務ロジックモデリングと機能型プロトタイプ自動生成 |
○奥田博隆・小形真平・松浦佐江子(芝浦工大) |
(14) |
15:55-16:35 |
モデル検査を用いたプログラムにおける再現性の低い潜在的欠陥の抽出手法 ~ データベースロック問題の検証 ~ |
○青木善貴・松浦佐江子(芝浦工大) |