摘要：
（1）表示不变量和抽象函数几个概念表示域（space of representation values）里面包含的是值具体的实现实体。 抽象域里面包含的则是类型设计时支持使用的值。这些值是由表示域“抽象/想象”出来的，也是使用者关注的。 每一个抽象值都是由表示值映射而来：我们之前说过实现抽象类型的意 阅读全文
摘要：
Chapter 3: Data Type and Type Checking 重点： 3.1 Data type in programming languages 类型（type）：一组值以及可以对这些值执行的操作。 变量（variables）：用特定数据类型定义，可存储满足类型约束的值。 基本数据 阅读全文
摘要：
Chapter 2: Process and Tools of Software Construction 软件测试与测试优先的编程 学会用等价划分和边界值分析方法为模块设计测试用例，用工具度量一组测试用例对代码的“覆盖度”，了解下列测试手段： 2.1 Software Testing测试是提升软件 阅读全文
摘要：
specification作用规约可以隔离"变化"，无需通知客户端规约可以提高代码效率规约扮演"防火墙"角色解耦，不需要了解具体实现内容只讲"能做什么"，而不讲"怎么实现" Behavior equivalence 行为等价性是否可以相互替换 站在客户端的视角看行为等价性，不同的行为，对用户来说（根 阅读全文
摘要：
Chapter 1: Views and Quality Objectives of Software Construction 1.软件的多维视图 1.1Multi-dimensional software view Build-time:关注软件的构造阶段。Code-level:这一维度关注代码 阅读全文
