摘要： JML理论基础： JML全称为Java Modeling Language，是一种行为接口规范语言，可用于指定Java模块的行为。它实现了对一个方法/类/程序的外部可感知行为的抽象表示，内部细节无需在JML中表示，JML把设计与实现有效的分离开。本单元我们的重点放在了JML规格化设计这一点，同时只做 阅读全文