2019年5月22日
OO第三单元总结
摘要： 一、作业概览 我们这一单元的主题是JML，即按照给定的JML规格实现具有要求功能的类，实现共3次编程作业，3次难度递进式增长，但每一次作业对前一次的作业有所继承和拓展。 第一次作业的任务是实现两个容器类Path和PathContainer，目标是JML规格入门级的理解和代码实现。 第二次作业的任务是 阅读全文
posted @ 2019-05-22 14:12 胖胖的毛毛虫 阅读(229) 评论(0) 推荐(0) 编辑