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

佐藤武久(著者), 大槻繁(著者), 金藤栄孝(著者), 二木厚吉

• 販売会社／発売会社: 日科技連出版社/
• 発売年月日: 1997/12/24
• JAN: 9784817160553

商品レビュー

2012/04/30

本書は、入門書ではありますが、ソフトウェアクリーンルーム手法についての考え方、進め方が一通り学べるとても良い本だと思います。

# ボックス構造モデルについては、『ソフトウェアエンジニアリング論文集80's』のMillsの章の方が詳しいです（当たり前ですけど）。

ただ、10章と、11章に出てくる「ホーア論理」と「ダイクストラ法」については全くといっていいほど理解できませんでした。
知人に、そのあたりについては、ゾーハ・マンナの『プログラムの理論』で勉強したと聞き、そちらも読んでみたのですが、難しい。