03构建之法阅读笔记

第6章 敏捷流程 —— 6.5 敏捷的故事

　　这一小节中有一个图表，对比了敏捷（Agile）、计划驱动（Plan-driven）、形式化的开发方法（Formal Method）的适用范围。里面提到的形式化的开发方法，其基本步骤是怎样的呢？为什么它能有极高的可靠性呢？下面是一些关于形式化方法特点的说明，从中可以看出它能力的缘由。

　　形式化方法建立在严格的数学基础上，其目标是希望能使系统具有较高的可信度和正确性，并能使系统具有良好的结构，使其易维护，关键是能较好地满足用户需求。“形式化方法”一词虽然一直被广泛地应用，但在不同程度上，因理解不同，使其具有了不同的含义。一般说来，形式化方法是指具有坚实数学基础的方法，它是数学上的综合、分析技术的应用，用于开发计算机控制的系统，经常有推理工具的支持，它可提供一个用于模型设计和分析的一个严格而有效的途径。