《软件工程导论第6版》--张海藩 牟永敏 课后答案及其详解 第4章 形式化说明技术

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

>>阅读原文<<