OO第三單元小結

一、   梳理JML語言的理論基礎、應用工具鏈情況 　　JML是一種行爲接口規格語言（Behavior Interface Specification Language，BISL），基於Larch方法構建。 　　一般而言，JML有兩種主要的用法： 　　（1）開展規格化設計。這樣交給代碼實現人員的將不是可能帶有內在模糊性的自然語言描述，而是邏輯嚴格的規格。 　　（2）針對已有的代碼實現，書寫其對應的

>>阅读原文<<