形式化方法

首先，如果一种方法有坚实的数学基础，那么他就是形式化的。
通俗的说，形式化就是使用数学进行开发软件，这样具有以下优点：
1；他可以简洁准确地描述物理现象，对象或者动作的结果，所以是理想的建模工具。
2；可以在不同的软件工程活动之间平滑度过。
3；提供高层确认手段。