2022年5月11日
软件构造学习（二）:AF和RI（表示不变性和抽象方程）
摘要： AF和RI，全称rep invariant和abstraction function，译为表示不变性和抽象函数。要想理解这两个的含义，必须先理解两个空间：一个是表示空间，简称R，包含的是抽象数据型的具体实现；另一个是抽象空间，简称A，是抽象值构成的空间，也就是客户看到和使用的值。两个空间之间的映射关 阅读全文
posted @ 2022-05-11 22:19 叶绿体基质 阅读(516) 评论(0) 推荐(0)