摘要： OO第三单元总结 JML理论基础与工具链梳理 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。我们使用 JML 来描述 Java 模块的行为可以忽略其具体实现。 JML有类型规格和方法规格，类型规格主要包括类所管理的数据，不变式invarian 阅读全文