软件工程课后习题答案复习课程.pdfVIP

软 件 工 程 课 后 习 题 答 案 精品文档 软件工程课后习题答案 习题 1 略。 习题 2 略。 习题 3 略。 习题 4 2 ．在什么情况下应该使用形式化说明技术？使用形式化说明技术时应遵守哪些 准则？ 人们在理解用自然语言描述的规格说明时，容易产生二义性。为了克服 非形式化方法的缺点，人们把数学引入软件开发工程，创造了基于数学的形式 化说明技术。 应用形式化方法的准则： （1）应该选用释放的表示方法； （2 ）应该形式化，但不要过分形式化； （3 ）应该估算成本； （4 ）应该有形式化方法顾问随时提供咨询； （5 ）不应该放弃传统的开发方法； （6 ）应该建立详尽的文档； （7 ）不应该放弃质量标准； （8 ）不应该盲目依赖形式化方法； （9 ）应该测试、测试再测试； （