首页 > 其他分享> > HomeWork_5 HomeWork_5 2021-04-06 12:36:26 作者:互联网 什么是形式化方法? 形式化方法,中文也称形式方法[1]、正规方法[2]。在计算机科学和软件工程领域,形式化方法是基于数学的特种技术,适合于软件和硬件系统的描述、开发和验证[3]。将形式化方法用于软件和硬件设计,是期望能够像其它工程学科一样,使用适当的数学分析以提高设计的可靠性和强健性[4]。 标签:正规方法,形式化,硬件,软件,方法,HomeWork 来源: https://www.cnblogs.com/tHcLo/p/14621246.html