2019北航面向對象第三單元總結

本單元的三次作業與JML有關，都是依據課程組下發的JML規格實現相應的類及方法。 一、JML語言的理論基礎及應用工具鏈 1.1 JML語言的理論基礎 JML(Java Modeling Language）是用於對Java程序進行規格化設計的一種表示語言。JML是一種行爲接口規格語言（Behavior Interface Specification Language），基於Larch方法構建，可用於

>>阅读原文<<