BUAA面向對象設計與構造——第三單元總結

BUAA面向對象設計與構造——第三單元總結 1.JML語言及應用工具鏈 　　JML(Java Modeling Language)是用於對Java程序進行規格化設計的一種表示語言。JML是一種行爲接口規格語言，基於Larch方法構建。它以標準化的語言描述了類與方法的屬性和規格，便於代碼工作人員理解和實現。 　　JML以javadoc註釋的方式來表示規格，每行都以@起頭。有兩種註釋方式，行註釋和塊注

>>阅读原文<<