关键词：软件工程;;形式化技术;;理论基础
摘 要：本文主要介绍了形式化技术的一些基本的理论,重点对形式化技术在软件工程和数学理论基础领域的作用进行研究。分析了形式化技术在软件工程领域的一些优势和局限性。并且指明了形式化技术在以后的发展中可能的方向,并且对形式化技术在软件工程中的作用进行了评价。
内 容：原文可通过湖北省科技信息共享服务平台（http://www.hbstl.org.cn)获取