形式化方法及其在软构件中的应用

形式化方法是借助数学方法来研究计算机科学中的有关问题,软件工程中的形式化方法从软件的本质和规律入手,在开发过程中通过严格的数学推导和证明来保证程序的正确性。使用形式化方法可以帮助开发者获得对其所描述的系统的深刻而正确的理解,多种形式化方法在功能上可以实现互补。