2018年6月15日
表示不变量（Representation Invariant）与抽象函数（Abstract Function）
摘要： 主要内容来自MIT6.031 Software Construction课程及HIT 软件构造课程。 我们先来介绍两种类型空间的值： 一、 Space of representation values （表示空间） R 表示空间由事实上实现的实体值构成。换句话说，由不同的、对抽象类型的实现的对象相应 阅读全文
posted @ 2018-06-15 19:02 siren27 阅读(2822) 评论(0) 推荐(0) 编辑