活動案内

第5回D-Case研究会のご案内

日時：平成２６年３月１８日
場所：国立情報学研究所　12F会議室（1208）(注　神保町駅A8出口は工事中)
　　　　 プログラム予定

　　1　13:30 - 13:55　D-Caseのこれから
　　　　　　　　　　　　　松野裕（電通大）

　　2　13:55 - 14:20　D-CaseとSysMLによるISO26262準拠デザイン実験
　　　　　　　　　　　　　豊田学（日本IBM）、屋代眞（DEOSセンター）

　　3　14:20 - 14:45　DEOS要求マネジメント
　　　　　　　　　　　　　山本修一郎（名大）

　　4　14:45 - 15:10　Astah GSNについて
　　　　　　　　　　　　　平鍋健児、岩永寿来（チェンジビジョン）

　　　　休憩

　　5　15:20 - 15:45　Mobile Payment System を対象としたD-Case記述演習
　　　　　　　　　　　　　Mehnaz Seraj, Babatunde Ojetunde、
　　　　　　　　　　　　　高井利憲（奈良先端大）

　　6　15:45 - 16:10　D-Case駆動ソフト開発(DCDD)、およびD-Case実例紹介
　　　　　　　　　　　　　宇都宮浩之（デンソークリエイト）

　　7　16:10 - 16:35　D-Case in Agda
　　　　　　　　　　　　　武山誠（神奈川大）

　　8　16:35 - 17:00　DEOSコンソーシアムの効果
　　　　　　　　　　　　　所眞理雄（Sony CSL）