OO--第三單元規格化設計 博客作業

OO--第三單元規格化設計 博客作業 前言 第三單元，我們以JML爲基礎，先後完成了 PathContainer -> Graph -> RailwaySystem 這是一個遞進的過程，代碼實現基於課程組給出的JML語言，JML是一個只關心前提與結果的建模語言，可以描述清楚對於該方法的需求，但具體實現由個人完成，實現方法不限，只需要滿足需求。一定意義上，算是工程方面客戶的需求，而我們依據其完成代碼

>>阅读原文<<