開催概要
- 日時 平成２４年１１月１日
- 場所 筑波宇宙センター
- 講師 名古屋大学情報連携統括本部情報戦略室 松野裕
プログラム
- 13:30 – 13:40 はじめに(松野)
- 13:30 – 14:00 アシュアランスケースについて(松野)
- 14:00 – 14:40 D-Case作成法１(松野)
- 14:40 – 14:50 休憩
- 14:50 – 16:00 D-Case演習１–文法、文章、分解パターン (松野)
- 16:00 – 16:40 D-Case作成法２ (松野)
- 16:40 – 16:50 休憩
- 16:50 – 18:00 D-Case演習２–D-Case作成 (松野)
Date and place
- Date & Time : 2013/11/11
- Place : Tsukuba Space Center
- Lecturer : Nagoya Uni, Information Coorporation Headquarters, Strategic Inforamtion Department, Matsuno Yutaka
Program
- 13:30 – 13:40 Opening Remarks (Matsuno)
- 13:30 – 14:00 About Assurance Cases (Matsuno)
- 14:00 – 14:40 D-Case How to 1 (Matsuno)
- 14:40 – 14:50 Interval
- 14:50 – 16:00 D-Case Seminar 1 - Syntax, Composition, Disintegration Patterns (Matsuno)
- 16:00 – 16:40 D-Case How to 2 (Matsuno)
- 16:40 – 16:50 Interval
- 16:50 – 18:00 D-Case Seminar 2 - D-Case Creation (Matsuno)