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

【文件属性】：

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

文件大小：210KB

文件格式：KDH

更新时间：2015-07-06 03:09:13

形式化方法；软件规约形式语言；软件工程；形式系统；规约

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