2019年5月22日
BUAA_OO第三单元(JML)总结性博客作业
摘要： 本单元的三次作业均为根据JML规格要求编写代码。三次作业依次为实现Path类和PathContainer类，扩展PathContainer类为Graph类完成部分简单图操作，最后为扩展Graph类为RailwaySystem类已完成不同含义的最短路查询。 本文将从JML理论基础及其工作链，部署JML 阅读全文
posted @ 2019-05-22 20:19 MGcyh 阅读(229) 评论(0) 推荐(0) 编辑