文献

J-GLOBAL ID：201702219752803084   整理番号：17A0947677

RUSTとSPARK:ソフトウェアの信頼性

Rust and SPARK: Software Reliability for Everyone

著者 (1件)： OCHEM Quentin (AdaCore)
資料名： Electronic Design  (Electronic Design)
巻： 65  号： 7  ページ： 32-34,36-37  発行年： 2017年07月 
JST資料番号： C0397A  ISSN： 0013-4872  CODEN： ELODA  資料種別： 逐次刊行物 (A)
記事区分： 解説  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

シソーラス用語： *ソフトウェア ,  *信頼性 ,  *情報技術 ,  制御プログラム ,  オペレーティングシステム ,  並列処理 ,  プログラミング言語 ,  C言語
準シソーラス用語： *IT ,  デバイスドライバ

分類 (2件)： 計算機ソフトウエア一般  (JD01010K) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (1件)： ソフトウェア