形式化技术在软件工程中的作用

摘要

本文主要介绍了形式化技术的一些基本的理论，重点对形式化技术在软件工程和数学理论基础领域的作用进行研究。分析了形式化技术在软件工程领域的一些优势和局限性。并且指明了形式化技术在以后的发展中可能的方向，并且对形式化技术在软件工程中的作用进行了评价。