原则28　了解形式化方法

KNOW FORMAL METHODS

没有过硬的离散数学技能，使用形式化方法是不容易的。但是，使用它们（即便是很简单的使用），可以极大地帮助我们发现软件开发中许多方面的问题。在每个项目中，至少应该有一个人能熟练使用形式化方法，以确保不会错过提升产品质量的机会。

很多人以为，使用形式化方法的唯一途径，就是完全使用它们来定义系统。其实并非如此。实际上，最有效的方法之一，是先用自然语言描述。然后再尝试用形式化方法去写其中某些部分。尝试用更形式化的方式书写，会帮助你发现在自然语言中存在的问题。修正自然语言表达中的问题，你会得到一个更好的文档。在完成之后，如果有需要，可以再把形式化的描述去掉。

Hall，A.，"Seven Myths of Formal Methods，" IEEE Software，7，5 （September 1990），pp.11-19.