软件构造复习第三章3.3

软件构造第三章3.3 抽象数据类型（ADT） 数据抽象 分类类型和操作 设计一个抽象类型 表示独立性（representation independence）RI 测试ADT 不变量（invariants） RI和AF beneficent mutation （有益突变） 记录AF，RI，safety from rep exposure ADT不变量替换前置条件 summary 抽象数据类型（AD

>>阅读原文<<