来自MIT6.031 软件构造课的Reading材料的第7篇。
- Spec重点：
-
- 是否具有确定性，即，给出的是确定的postcondition，还是众多可能性中的一种
-
- 描述性多强，是说明了所有的步骤，还是只给出结果和输出与输入的关系
-
- 强壮性多高，postcondition和precondition的强度。
- 优秀的spec，应该有更好的确定性，能够最精确地指明方法的结果，有较低的描述性，只描述结果，结果与输入的关系，不向用户泄漏编码的技术细节。更强壮，能够减少对用户的要求，增加对开发者（postcondition）的要求
- 简单介绍了 访问控制权限 和 静态方法与实例方法的区别
具体内容及笔记见下图，笔记主要以手写方式提供。
