第五章、软件过程中的形式化方法
1、 广义上讲，形式化方法是指将离散数学中的方法用于解决软件工程领域的问题。
狭义上讲、形式化方法是运用形式化语言进行形式化的规格描述，模型推理和验证的方法。 形式化的方法运用于软件工程的目的主要是为了确保软件的正确性。
原文：http://www.cnblogs.com/revenge/p/4306093.html
