ソフトウェア信頼性ハンドブック―ソフトウェアの品質保証技術

Ｒｏｏｋ，Ｐａｕｌ Ｅ．【編】/菅野 文友/大森 晃【共訳】

日科技連出版社（1995/05発売）

• サイズ A5判／ページ数 623p／高さ 23cm
• 商品コード 9784817160362
• NDC分類 007.63
• Cコード C3050

内容説明

本書は、ソフトウェア信頼性を達成するための主要点◆必要とするソフトウェア信頼性の程度をいかにして決定し、仕様化するか◆高信頼性ソフトウェアをいかにして開発し、保守するか◆結果として生ずるソフトウェアの信頼性をいかにして評価するかについて、論点のすべてを十分に示しており、ソフトウェア信頼性に真剣に取り組もうとする人達にとって堅実な出発点となるものである。

目次

第１章　ソフトウェア信頼性の問題
第２章　信頼性のためのソフトウェア設計
第３章　信頼性のための形式的方法
第４章　ソフトウェア・フォールトトレランス
第５章　欠陥の検出と修正
第６章　ソフトウェア信頼度成長のモデル化
第７章　ソフトウェアプロジェクトの統制と管理
第８章　高信頼性ソフトウェアの調達と保守
第９章　ソフトウェア品質管理
第１０章　ソフトウェア開発の測定
第１１章　コストのモデリングと推定
第１２章　ソフトウェアエンジニアリング環境