摘要：第三单元（JML）总结 一、JML学习小结 JML是一种面向JAVA的行为接口规格语言 。它用逻辑严格描述规格，使设计更为规范，并且更利于测试与维护。 规格的总体结构 对于JAVA的类的规格，一般包含了数据（类型）规格和方法规格。 类型规格 不变式invariant：所有可见状态下都必须满足的特性 阅读全文