ソフトウェアクリーンルーム手法―高品質ソフトウェア開発パラダイム

二木 厚吉【監修】/佐藤 武久/大槻 繁/金藤 栄孝【著】

日科技連出版社（1997/12発売）

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

内容説明

本書では無欠陥のソフトウェアを開発するソフトウェアクリーンルーム手法について、原理から実務レベルのノウハウまでを解説する。開発パラダイム、仕様記述、設計、検証、テスト、保証、プロジェクト組織などの広範囲な話題を背景として、理論から実務の適用レベルにいたるまで、ポイントを押さえたわかりやすい解説を試みている。

目次

１　クリーンルーム手法とは
２　適用実績と効果
３　統計的品質管理
４　インクリメンタル開発プロセス
５　段階的詳細化と構造化プログラミング
６　関数等価性の検証
７　仕様化とボックス構造分析
８　オブジェクト指向開発技術とクリーンルーム手法
９　段階的導入法とプロジェクトプラン
１０　クリーンルームの背景理論
１１　ダイクストラ法によるプログラム導出