摘要： JML理论 jml是对java程序进行规格化设计的一种表示语言。jml主要运用在：(1)开展规格化设计；(2)针对已有的代码书写规格，增强代码的可维护性。 需要注意的是：jml描述的是我们的程序在什么样的情况下会正确执行，预期的返回值满足什么样的条件，一言以蔽之：jml描述的是程序能用什么样的原料做 阅读全文