日時：平成27年10月30日 (受付開始 12:00～)
場所：株式会社デンソークリエイト名古屋本社
10F-D会議室（広小路第一生命ビル10F）
★聴講のお申込みはこちらの登録フォームよりお願いします
『保証ケース研究の現状と将来』13:30～17：00
■プログラム予定
| 13:30 RISE受託研究「保証ケース作成支援方式の研究」の概要 山本修一郎（名古屋大） |
13:40 パターンに基づく標準的保証ケース作成法 山本修一郎（名古屋大） |
14:10 保証ケースに基づくコードの正しさの確認法 山本修一郎（名古屋大） |
休憩（10分） |
14:50 保証ケースの客観的なレビュ方法 山本修一郎（名古屋大） |
15:20 保証ケースの導入準備能力の評価方法 山本修一郎（名古屋大） |
休憩（10分） |
16:00 CBCS安全要求の適用性向上に向けた可視化の取り組み |
| 柿本和希（奈良先端科学技術大学院大学） 16:30 繋がる世界における企業間の説明事例 宇都宮浩之（デンソークリエイト） |
17:00 閉会 |
17:30 懇親会 (参加費用：2,000円) |
皆様のご参加をお待ちしています。