表示不变量（Representation Invariant）与抽象函数（Abstract Function）
主要内容来自MIT6.031 Software Construction课程及HIT 软件构造课程。我们先来介绍两种类型空间的值：一、 Space of representation values （表示空间） R表示空间由事实上实现的实体值构成。换句话说，由不同的、对抽象类型的实现的对象相应表示（Representation）的值组成。二、 Space of abst...
