2019年5月21日
OO规格单元总结
摘要： 第 三 单 元 J M L 总 结 [TOC] PS: 关于这次JML单元 ​ // JML大法好！ ​ 这个单元的三次作业都是在基于给定描述规格下实现相应的接口，Path，PathContainer，Graph，和RailSystem。很明显是想让我们在熟悉JML的同时顺便学习一下迭代继承开发的过 阅读全文
posted @ 2019-05-21 17:30 ChenL 阅读(270) 评论(0) 推荐(0) 编辑