第六次作业

举例对比形式化方法和欠形式化方法的优缺点

形式化说明：

优点：1.简洁准确的描述物理现象，对象获动作的结果。

2。可以在不同软件工程活动之间平滑的过度。

3。它提供了高层确认的手段。

缺点：大多形式化的规格说明主要关注系统的功能数据，而时序的问题，控制和行为等方面的需求却更难于表示。

非形式化说明：

优点：难度低

缺点：可能存在矛盾，二义性，含糊性，不完整性

级抽象层次混乱等问题