标题:什么是形式化方法?
在计算机科学与软件工程领域,形式化方法是基于数学的特种技术,适合于软件和硬件系统的描述、开发和描述,适当的使用数学分析提高了设计的可靠性和鲁棒性,但形式化方法的成本高,让它通常只用于开发注重安全性的高度整合的系统。从广义上讲,形式化方法是借助数学的方法来解决软件工程领域的问题,主要包括建立精确的数学模型以及对模型的分析活动。狭义的说,它是运用形式化语言,进行形式化的规格描述、模型推理和验证的方法。形式化建模包含了一组定义及其语法语义的形式化规则。
2021-05-12
最新推荐文章于 2021-05-12 16:44:37 发布