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

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