题目
什么是形式化方法?
我的答案
形式化方法(formal methods)在逻辑科学中是指分析、研究思维形式结构的方法,它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,再引入表达形式结构的符号语言,用符号与符号之间的联系表达命题或推理的形式结构。在计算机科学和软件工程领域,形式化方法是基于数学的特种技术,适合于软件和硬件系统的描述、开发和验证。
形式花方法的分类:
一、根据说明目标软件系统的方式,可分两类:
1.面向模型的形式化方法
2.面向属性的形式化方法
二、根据表达能力,可分为五类:
1.基于模型的方法
2.基于逻辑的方法
3.代数方法
4.进程代数方法
5.基于网络的方法