OO第三次作業

一、JML語言的理論基礎、應用工具鏈情況 1.JML語言的理論基礎 面向對象分析和設計的原則之一就是應當儘可能地推遲過程設想，在實現方法之前確實能夠做到，但是確定了架構後就會很容易地將思路轉向過程性描述。JML語言的功能正是幫助人們儘可能的避免過程性思考，JML語言將延遲設想的面向對象原則擴展到了方法設計階段，確定方法執行的內容、目的，而不必考慮方法的實現方式。JML說明性地描述類和方法的行爲，能

>>阅读原文<<