举例对比形式化方法和欠形式化方法的优缺点
形式化说明：
优点：1.简洁准确的描述物理现象，对象获动作的结果。
2。可以在不同软件工程活动之间平滑的过度。
3。它提供了高层确认的手段。
缺点：大多形式化的规格说明主要关注系统的功能数据，而时序的问题，控制和行为等方面的需求却更难于表示。
非形式化说明：
优点：难度低
缺点：可能存在矛盾，二义性，含糊性，不完整性
级抽象层次混乱等问题
