2019年5月20日
OO第三单元博客作业
摘要： ——“基于正确规格的程序就可以被认为是正确的程序 ” 本单元的三次作为均为根据jml规格完成代码。三次作业依次为实现Path路径类和PathContainer路径容器类；将PathContainer类扩展成Graph类以实现图相关问题的处理；将Graph类扩展成RailwaySystem类以支持多种 阅读全文
posted @ 2019-05-20 11:00 weekends 阅读(645) 评论(5) 推荐(1) 编辑