第五章、软件过程中的形式化方法

第五章、软件过程中的形式化方法

1、 广义上讲，形式化方法是指将离散数学中的方法用于解决软件工程领域的问题。   

     狭义上讲、形式化方法是运用形式化语言进行形式化的规格描述，模型推理和验证的方法。        形式化的方法运用于软件工程的目的主要是为了确保软件的正确性。