OO2019第三單元作業總結

寫在前面 早在做第二單元的電梯作業時，便和同學開玩笑道，幸好沒有讓我們做地鐵的排班、線路優化。沒想到一語成讖，在第三單元地鐵系統就迫不及待地跑來與我們相見。 JML語言基礎及應用工具鏈 1.1 JML語言基礎 JML是對java程序進行規格化設計的一種表示語言。它主要有兩種用途：（1）開展規格化設計 （2）針對已有代碼實現，書寫規格，增加代碼可維護性。 JML表達式 \old(expr)：表示ex

>>阅读原文<<