oo第三單元總結

JML語言理論基礎 JML理論基礎 　　Java 建模語言(JML)將註釋添加到 Java 代碼中，這樣我們就可以確定方法所執行的內容，而不必說明它們如何做到這一點。有了 JML，我們就可以描述方法預期的功能，無需考慮實現。通過這種方法，JML 將延遲過程設想的面向對象原則擴展到了方法設計階段。JML 爲說明性的描述行爲引入了許多構造。這些構造包括模型字段、量詞、斷言的可見度範圍、前提條件、後置條

>>阅读原文<<