OO第三单元博客作业——JML与契约式编程

OO第三单元的三次作业都是在课程组的JML规格下完成。完成作业的过程是契约式编程的过程：设计者完成规格设计，实现者按照规格具体实现。作业正确性的检查同样围绕规格进行：主要验证作业是否严格按照规格实现。OO第三单元的三次作业都是在课程组的JML规格下