原则28：了解形式化方法

离散数学不容易，但即使简单地应用离散数学，也会极大地帮助我们发现软件开发中的许多方面的问题。

* 先用自然语言描述；

* 尝试用形式化方法去写其中的某些部分；

* 尝试用更形式化方式书写，会帮助你发现在自然语言中存在的问题；

* 修正自然语言中表达的问题；

* 完成文档后，把形式化的描述去掉。

---

Hail, A, "Seven Myths of Formal Methods", IEEE Software, 7, 5 (Sept. 1990), pp, 11-19.