2019年5月22日
OO2019第三单元作业总结
摘要： 写在前面 早在做第二单元的电梯作业时，便和同学开玩笑道，幸好没有让我们做地铁的排班、线路优化。没想到一语成谶，在第三单元地铁系统就迫不及待地跑来与我们相见。 JML语言基础及应用工具链 1.1 JML语言基础 JML是对java程序进行规格化设计的一种表示语言。它主要有两种用途：（1）开展规格化设计 阅读全文
posted @ 2019-05-22 18:30 GYF325 阅读(179) 评论(0) 推荐(0) 编辑