2013/11/11

第3回 D-Case講習会(JAXA技術者向け) / 3rd D-Case Short Course(For JAXA Engineers)


開催概要

  • 日時 平成24年11月1日
  • 場所 筑波宇宙センター
  • 講師 名古屋大学情報連携統括本部情報戦略室 松野裕

プログラム

  • 13:30 – 13:40 はじめに(松野)
  • 13:30 – 14:00 アシュアランスケースについて(松野)
  • 14:00 – 14:40 D-Case作成法1(松野)
  • 14:40 – 14:50 休憩
  • 14:50 – 16:00 D-Case演習1–文法、文章、分解パターン (松野)
  • 16:00 – 16:40 D-Case作成法2 (松野)
  • 16:40 – 16:50 休憩
  • 16:50 – 18:00 D-Case演習2–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)