软件构造课程

哈工大软件构造课程考点复习总结（第三章）

数据类型，类型检查，specification，规约，ADT，抽象数据类型，等价性数据类型 Primitiv […]

哈工大软件构造课程考点复习总结（第一、二章）

软件构造的多维视图，阶段划分，质量指标，软件配置管理，版本控制系统软件构造的多维视图 Build-time […]