This paper discusses briefly some basic concepts of formal method, and studies mainly its mathematical theory foundation and its application in each stage of software engineering. The paper also analyzes advantages. Limitations of formal method as well as their respective reasons in theoretical research and engineering practice, then points out some future developing directions of formal method, and finally makes a brief evaluation of applying formal method to software engineering.%探讨了形式化方法的基本概念,重点研究了形式化方法的数学理论基础和其在软件工程各阶段的应用情况,分析了形式化方法在理论研究和工程实践上的优势和局限性及其原因,并指出了形式化方法发展的几个方向,最后对形式化方法在软件工程中的应用做了评价.
展开▼