摘要：
java的编译时错误和运行时错误 java中的super http://c.biancheng.net/view/6394.html java中的集合与map java 数组和集合 Java中HashMap的实现原理 java中的clone 详解Java中的clone方法 java的修饰符 http 阅读全文
摘要：
Reading Sources Objectives ADT 表示独立性 如何设计，避免表示泄露 ADT的特性：抽象函数 表示不变量 表示泄露 AF,RI-->A more formal mathematical idea of what it means for a class to implem 阅读全文
摘要：
第九章 面向复用的软件构造技术 Reading Sources Objectives 软件复用的优缺点 复用的构造 通用可复用组件的特征 开发可移植系统的方法 什么是软件复用 面向复用编程 基于复用编程 如何衡量可复用性 可复用组件的级别和形态 复用的级别 最主要在代码层面 软件构造过程中的任何实体 阅读全文
摘要：
第八章 ADT和OOP中的相等 Reading Sources Objectives 理解等价关系的性质 站在观察者的角度通过AF理解不可变类型的等价关系 引用等价性和对象等价性的差异 区分可变类型的严格观察等价性和行为等价性 理解Object的契约，正确实现可变和不可变类型的等价关系判定 等价关系 阅读全文
摘要：
第四章 数据类型与类型检验 objectives 静态/动态类型检查 可变/不可变数据类型 可变数据类型的危险 不可变数据的优越性 用Snapshot理解数据类型 用集合类表达复杂数据类型 内容 数据类型 类型 变量 java中的类型 基本数据类型 对象数据类型 对象形成层次结构 动态vs静态 类型 阅读全文
摘要：
第五章 设计规约 Reading Source Objectives 理解方法的规约 理解规约的前置，后置条件 欠定规约，非确定规约 规约的强度及其比较 懂得如何写出好的规约 编程语言中的函数和方法 参数：参数类型的匹配的检查在静态检查阶段 返回值：返回值的匹配的检查在静态检查阶段 方法：Block 阅读全文