麻省理工大学-软件构造(6.031)-课程阅读

由于我们学校（哈工大）大二软件构造课程的大部分素材取自此，也是推荐的阅读材料之一，
于是打算做一些翻译工作，自己学习的同时也能帮到一些懒得看英文的朋友。
另外，该课程的阅读资料中有许多练习题，但是没有标准答案，所给出的答案均为译者所写，有错误的地方还请指出。
By: 李秋豪

译者

李秋豪
江家伟
王一航

更新：请到新地址访问阅读材料，很多错误和更新没有同步到GitHub上来。

目录

• [x] 静态检查
• [x] Java 基础
• [x] 测试
• [x] 代码评审
• [x] 版本控制
• [x] 规格说明
• [x] 设计规格说明
• [x] 可变性与不变性
• [x] 避免Debugging
• [x] 抽象数据类型
• [x] 抽象函数与表示不变量
• [x] 接口与枚举
• [x] 调试
• [x] 相等

协议

本文内容来自 MIT_6.031_sp18: Software Construction 课程的 Readings 部分，采用 CC BY-SA 4.0 协议。