| ゼミナールI講演 |
|---|
| 日時(Date)： | 平成29年1月11日(水)3限 (13:30 -- 15:00) Wed., Jan. 11th, 2017 (3rd Period, 13:30 -- 15:00) |
|---|---|
| 場所(Location)： | L1 |
| 司会(Chair)： | 崔 恩瀞 (Choi Eunjong) |
| 講演者(Presenter)： | 片平 真史, 石濱 直樹 (宇宙航空研究開発機構) Masafumi Katahira, Naoki Ishihama (Japan Aerospace Exploration Agency) |
|---|---|
| 題目(Title)： | 超高信頼ソフトウエアシステム検証学研究室の研究と 最新のJAXAにおけるソフトウェア関連研究について |
| 概要(Abstract)： | 研究室の研究テーマである、 『極限環境で正しい動作が求められるソフトウェアの超高信頼性・安全性を 実現するためのソフトウェア検証方法論』と、 宇宙における信頼性・安全性を確保するためのソフトウェア工学の研究や、 最新の情報技術を活用した研究について講演する。 |
| 講演言語(Language)： | Japanese |
| 講演者略歴(Biography)： |