阅读和了解什么是形式化方法

形式化方法就是在逻辑科学中是指分析、研究思维形式化结构的方法。它把各种具有不同内容的思维形式加以比较，找出其中各个部分互相联结的方式。如果一个方法有良好的数学基础，那么它就是形式化的，典型的以形式化规约语言给出的。形式化方法的本质是基于数学的方法来描述目标软件系统属性是不同的一种技术。不同的形式化方法的数学基础是不同的。
基于数学的形式化规格说明技术，与欠形式化方法比较有实质性的优点：形式化的规格说明可以用数学方法研究、验证，此外形式化的规格说明消除了而义性，而且它鼓励软件开发者在软件工程过程的早期阶段使用更严格的方法，从而可以减少差错。
当然形式化方法也有缺点：大多数形式化的规格说明主要关注与系统的功能和数据，而问题的时序、控制和行为等方面的需求却更难于表示。此外，形式化方法比欠形式化方法更难学习，不仅在培训阶段要华大量的投资，而且对某些软件工程师来说，它代表了一种“文化冲击”。