第1,3讲: 1,3讲:软件构造基础 第4-8讲: 4,5讲:数据类型与规约 6-8讲:ADT+OOP+等价性 第9-11讲 9讲:面向复用的软件构造技术 10,11讲:可维护性的构造技术与设计模式 第2,12讲: 2,12讲:面向健壮性与正确性的软件构造