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