チョウコウシンライ ソフトウェア システム ケンショウガク ケンキュウシツ ノ ケンキュウ ト サイシン ノ JAXA ニ オケル ソフトウェア カンレン ケンキュウ ニ ツイテ
片平真史, 石濱直樹
生駒 : 奈良先端科学技術大学院大学, 2015.11
In-house publ.No. | Printing year | Location | Call Number | Material ID | Circulation class | Status | Waiting |
---|---|---|---|---|---|---|---|
1 |
|
|
R012335 |
|
|
|
研究室の研究テーマである、『極限環境で正しい動作が求められるソフトウェアの超高信頼性・安全性を実現するためのソフトウェア検証方法論』と、宇宙における信頼性・安全性を確保するためのソフトウェア工学の研究や、最新の情報技術を活用した研究について講演する。
2015
47 p.
講義・講演レジュメ ; 平成27年度
情報科学研究科・ゼミナール講演 ; 平成27年度
独立行政法人宇宙航空研究開発機構
講演日: 平成27年11月4日
講演場所: 情報科学研究科大講義室L1
Japan
Japanese (jpn)
Japanese (jpn)