3月15日(木) 午後 13:30 - 15:50 |
|
13:30-13:35 |
委員長挨拶 ( 5分 ) |
(1) |
13:35-14:20 |
Assurance Case作成手法(d*)の適用評価 |
○猿渡卓也(名大/NTTデータ)・山本修一郎(名大) |
(2) |
14:20-15:05 |
保証ケースを用いたサービス提供判断方法の提案 |
○小林茂憲(NEC)・山本修一郎(名大) |
(3) |
15:05-15:50 |
矩形同士の埋め込み型重ね合わせについての定性空間推論 |
○小西貴子・高橋和子(関西学院大) |
|
15:50-16:05 |
休憩 ( 15分 ) |
3月15日(木) 午後 16:05 - 17:05 |
(4) |
16:05-17:05 |
[招待講演]実務に着目した知能ソフトウェア工学の研究と教育 |
○橋本正明(九工大名誉教) |
3月16日(金) 午前 10:00 - 11:30 |
(5) |
10:00-10:45 |
持続的情報連携サービス分析方法論の構築について |
○山本修一郎(名大) |
(6) |
10:45-11:30 |
業務システムの高速生成ツールの開発と適用 |
○萩原 淳・斎藤 忍(NTTデータ) |
|
11:30-11:40 |
休憩 ( 10分 ) |
3月16日(金) 午前 11:40 - 13:10 |
(7) |
11:40-12:25 |
受託ソフトウェア開発の見積もりリスクの特定方法の事例研究 |
○納富雅人・中谷多哉子(筑波大) |
(8) |
12:25-13:10 |
ソフトウェアセキュリティ知識体系化に関する研究動向 |
○櫨山淳雄(学芸大) |
|
13:10-13:15 |
委員長挨拶 ( 5分 ) |