在百度百科上,提到形式化方法在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式。
在计算机科学和软件工程领域,形式化方法是基于数学的特种技术,适合于软件和硬件系统的描述、开发和验证。将形式化方法用于软件和硬件设计,是期望能够像其它工程学科一样,使用适当的数学分析以提高设计的可靠性和鲁棒性。形式化方法是运用形式化语言,进行形式化的规格描述、模型推理和验证的方法。
阅读是形式化方法,可以对符号、模型这些材料吸取信息。
阅读和了解什么是形式化方法
最新推荐文章于 2021-05-24 21:20:18 发布