通过设计实现可靠软件
计算机控制着我们的客机，并运行着世界上大多数的银行、通信、零售和制造系统。现在，强大的分析工具最终将帮助软件工程师确保他们设计的可靠性
丹尼尔·杰克逊
通过设计实现可靠软件：概述/软件设计检查器
通过设计实现可靠软件：调试癌症治疗机器
