OO第三階段作業總結

一、JML語言的理論基礎與應用工具鏈 1.理論基礎 JML（Java Modeling Language）是一種規格化設計的語言，它爲程序猿之間的交流提供了一種能規避二義性的通用規範。對於代碼設計而言，規格化設計提供了嚴密的設計邏輯描述；對於代碼擴展而言，規格化提高了代碼的可維護性。 2.應用工具鏈 　　使用openjml可進行規格檢查。其中，-check選項檢查JML語法規範，-esc選項對代碼

>>阅读原文<<