2019年5月22日
第三单元总结——JML契约式编程
摘要： OO第三单元博客作业——JML与契约式编程 OO第三单元的三次作业都是在课程组的JML规格下完成。完成作业的过程是契约式编程的过程：设计者完成规格设计，实现者按照规格具体实现。作业正确性的检查同样围绕规格进行：主要验证作业是否严格按照规格实现。 课程组承诺如果作业严格实现规格，作业的正确性就没有问题 阅读全文
posted @ 2019-05-22 21:48 starmiku 阅读(589) 评论(0) 推荐(3) 编辑