软二刘翔2014551634

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