文献

J-GLOBAL ID：201602008798663486   整理番号：71A0261701

プログラムの正しさ,ソフトウエアの信頼性,現在の段階

Program correctness software reliability todays capabilities.

著者 (1件)： MULOCK R B
資料名： Intern Symp Fault-Tolerant Computing 11th Pasadena IEEE  (Digest International Symposium on Fault-Tolerant Computing 710301)
ページ： 137-139  発行年： 1971年 
JST資料番号： K19710002  資料種別： 会議録 (C)
記事区分： 文献レビュー  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： ソフトウエアの信頼性を確保するための前提条件およびいくつかの手法についてロッキード社の例を用いて解説した,コミュニケ心,ヨンに便利な組織体制.計画と仕様の決定,言語の選定.プロブうマーの環境.をはじめドキュメンテーション.エラー.リカバリ療論討し.アロゾラムの正しさと終結を証明する理論の発展.信頼性畢芋測する統計的モテルの使用などにわたり述べる

シソーラス用語： 検定 ,  信頼性
準シソーラス用語： ソフトウェア ,  プログラム

タイトルに関連する用語 (3件)： プログラムの正しさ ,  ソフトウエア ,  段階