OOP第三次作业

第三单元博客作业 • (1)梳理JML语言的理论基础、应用工具链情况 JML语言理论基础 Java建模语言（Java Modeling Language，JML）是一种进行详细设计的符号语言，他鼓励你用一种全新的方式来看待Java的类和方法。JML是一种行为接口规格语言 （Behavior Interface Specification Language，BISL），基于Larch方法构建。BISL

>>阅读原文<<