HIT 软件构造 设计规约

一个完整的方法 方法的规约 方法的实现 Specification: Programming for communication specification 输入/输出的数据类型 功能和正确性 性能 只讲“能做什么”，不讲“怎么实现” behavioral equivalence（行为等价性） 站在客户端角度看行为等价性 根据规约判断行为是否等价 两个函数符合这个规约，故它们等价 规约结构（前置条

>>阅读原文<<