2019年5月22日
OO--第三单元规格化设计 博客作业
摘要： OO--第三单元规格化设计 博客作业 前言 第三单元，我们以JML为基础，先后完成了 PathContainer -> Graph -> RailwaySystem 这是一个递进的过程，代码实现基于课程组给出的JML语言，JML是一个只关心前提与结果的建模语言，可以描述清楚对于该方法的需求，但具体实 阅读全文
posted @ 2019-05-22 21:47 F_M_L 阅读(211) 评论(0) 推荐(0) 编辑