摘要： 面向对象JML系列作业总结 一、综述 本单元作业，由简到难地迭代式实现了三种JML需求，主要学习了面向规格的编程方法。 第一次：实现Path类和PathContainer类 第二次：继承PathContainer类实现Graph类 第三次；继承Graph类实现RailwaySystem类 前两次作业 阅读全文