第三單元總結

第三單元總結 • (1)梳理JML語言的理論基礎、應用工具鏈情況 JML語言理論基礎   Java建模語言（Java Modeling Language，JML）是一種進行詳細設計的符號語言，他鼓勵你用一種全新的方式來看待Java的類和方法。JML是一種行爲接口規格語言 （Behavior Interface Specification Language，BISL），基於Larch方法構建。BISL

>>阅读原文<<