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

软件工程课后习题答案 习题1 略。 习题2 略。 习题3 略。 习题4 2．在什么情况下应该使用形式化说明技术？使用形式化说明技术时应遵守哪些准则？ 人们在理解用自然语言描述的规格说明时，容易产生二义性。为了克服非形式化方法的 缺点，人们把数学引入软件开发工程，创造了基于数学的形式化说明技术。 应用形式化方法的准则： （1）应该选用释放的表示方法； （2）应该形式化，但不要过分形式化； （3）应该估算成本； （4）应该有形式化方法顾问随