摘要：
抽象数据型（ADT） 抽象数据类型与表示独立性：如何设计良好的抽象数据结构，通过封 装来避免客户端获取数据的内部表示（即“表示泄露”），避免潜在 的bug ADT的特性：表示泄漏、抽象函数AF、表示不变量RI 基于数学的形式对ADT的这些核心特征进行描述并应用于设计中。 ADT的四种操作 1）Cre 阅读全文
摘要：
设计规约 概述：方法的规约、前置/后置条件、操作式规约、规约的强度及其比较、如何设计好的规约 一个完整的方法 一个完整的方法包括规约spec和实现体implementation； "方法"是程序的积木，它可以被独立的开发、测试、复用； 使用“方法”的客户端，无需了解方法内部如何工作，这就是抽象的概念 阅读全文