開催概要
- 日時：平成２６年３月１８日
- 場所：国立情報学研究所 12F会議室（1208）
プログラム
- 13:30 - 13:55 D-Caseのこれから
- 松野裕（電通大）
- 13:55 - 14:20 D-CaseとSysMLによるISO26262準拠デザイン実験
- 豊田学（日本IBM）、屋代眞（DEOSセンター）
- 14:20 - 14:45 DEOS要求マネジメント
- 山本修一郎（名大）
- 14:45 - 15:10 Astah GSNについて
- 平鍋健児、岩永寿来（チェンジビジョン）
- 休憩
- 15:20 - 15:45 Mobile Payment System を対象としたD-Case記述演習
- Mehnaz Seraj, Babatunde Ojetunde、
- 高井利憲（奈良先端大）
- 15:45 - 16:10 D-Case駆動ソフト開発(DCDD)、およびD-Case実例紹介
- 宇都宮浩之（デンソークリエイト）
- 16:10 - 16:35 D-Case in Agda
- 武山誠（神奈川大）
- 16:35 - 17:00 DEOSコンソーシアムの効果
- 所眞理雄（Sony CSL）