从广义上讲,形式化方法是借助数学的方法来解决软件工程领域的问题,主要包括建立精确的数学模型以及对模型的分析活动。狭义的讲,形式化方法是运用形式化语言,进行形式化的规格描述、模型推理和验证的方法。
根据说明目标软件系统的方式,形式化方法可以分为两类:面向模型的形式化方法和面向属性的形式化方法。
根据表达能力,形式化方法可以分为五类:基于模型的方法,基于逻辑的方法,代数方法,进程代数方法,基于网络的方法。
从广义上讲,形式化方法是借助数学的方法来解决软件工程领域的问题,主要包括建立精确的数学模型以及对模型的分析活动。狭义的讲,形式化方法是运用形式化语言,进行形式化的规格描述、模型推理和验证的方法。
根据说明目标软件系统的方式,形式化方法可以分为两类:面向模型的形式化方法和面向属性的形式化方法。
根据表达能力,形式化方法可以分为五类:基于模型的方法,基于逻辑的方法,代数方法,进程代数方法,基于网络的方法。