简答题 简述形式化方法（基于数学）的优点。

【参考答案】

（1）能够简洁准确的描述物理现象、对象和动作的结果；
（2）可以在不同的软件工程活动之间平滑的过度；
（......

(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)