topic:阅读和了解什么是形式化方法。
参考文章:
https://m.sohu.com/a/246274183_464088?strategyid=00014
①形式化方法在古代就运用了,而在现代逻辑中又有了进一步的发展和完善。这种方法特别在数学、计算机科学、人工智能等领域得到广泛运用。它能精确地揭示各种逻辑规律,制定相应的逻辑规则,使各种理论体系更加严密。同时也能正确地训练思维、提高思维的抽象能力。形式化方法英文的名称是formal methods。
②形式化方法是基于数学的特种技术,适合于证。将形式化方法用于软件和硬件设计,是期望能够像其它工程学科一样,使用适当的数学分析以提高设计的可靠性。
③形式化方法的发展趋势逐渐融入软件开发过程的各个阶段,从需求分析、功能描述(规约)、(体 系结构/算法)设计、编程、测试直至维护。
④一、根据说明目标软件系统的方式,形式化方法可以分为两类:面向模型的形式化方法;面向属性的形式化方法。二、根据表达能力,形式化方法可以分为五类:基于模型的方法;基于逻辑的方法;代数方法;进程代数方法;基于网络的方法。
2020-10-24
最新推荐文章于 2022-11-20 15:26:36 发布