2019年5月22日
面向对象程序设计——基于JML的地铁系统
摘要： 基于JML的地铁系统设计 本次实验的主要内容是根据JML的需求描述，完成一个支持增删检查以及多种最短路查询的地铁系统设计。主要运用到了JML的相关语法，以及基本的图论知识。 1. JML理论基础 JML是Java Modeling language的简称，是一种对Java程序开发的一种接口规格语言， 阅读全文
posted @ 2019-05-22 20:56 Matr_ix 阅读(223) 评论(0) 推荐(0) 编辑