透過設計實現可靠軟體
計算機控制著我們的客機，並執行著世界上大多數的銀行、通訊、零售和製造系統。現在，強大的分析工具最終將幫助軟體工程師確保他們設計的可靠性
丹尼爾·傑克遜
透過設計實現可靠軟體：概述/軟體設計檢查器
透過設計實現可靠軟體：除錯癌症治療機器
