3-2设计规约

一.程序设计语言2中的函数/方法。 规范：通信编程 为什么需要规范 行为等价 规范结构：先决条件和后决条件 测试 验证规范 3.设计规范 分类规范 图表规范 质量规范 4.摘要总结 本次讲座的目的 ▪ 了解方法规范中的先决条件和后决条件，并能写出正确的规范 ▪ 什么是前置条件和后置条件，它们对方法的实现者和客户机意味着什么 ▪ 了解不确定的规格，能够识别和评估不确定性 ▪ 理解声明性规范和操作性规

>>阅读原文<<