OO--第三单元规格化设计 博客作业

OO--第三单元规格化设计 博客作业 前言 第三单元，我们以JML为基础，先后完成了 PathContainer -> Graph -> RailwaySystem 这是一个递进的过程，代码实现基于课程组给出的JML语言，JML是一个只关心前提与结果的建模语言，可以描述清楚对于该方法的需求，但具体实现由个人完成，实现方法不限，只需要满足需求。一定意义上，算是工程方面客户的需求，而我们依据其完成代码

>>阅读原文<<