形式化方法在软件工程中的应用研究 (2011年)

【文件属性】：

文件名称：形式化方法在软件工程中的应用研究 (2011年)

文件大小：1.04MB

文件格式：PDF

更新时间：2024-07-05 16:31:32

工程技术 论文

探讨了形式化方法的基本概念,重点研究了形式化方法的数学理论基础和其在软件工程各阶段的应用情况,分析了形式化方法在理论研究和工程实践上的优势和局限性及其原因,并指出了形式化方法发展的几个方向,最后对形式化方法在软件工程中的应用做了评价。