软件构造复习（3）

文章目录 一、数据类型与类型检验 1、数据类型 2、类型检查 3、可变数据类型和不可变数据类型 4、Snapshot图 5、复杂数据类型 6、不可变数据类型例子 二、设计规约 1.规约作用 2、行为等价性 3、spec构成 4、设计spec 三、ADT 1、opertations 2、表示独立性 3、测试 4、RI,AF 5、撰写 四、OOP 1、Interface接口 2、继承inheritan

>>阅读原文<<