摘要： 一、JML简介 Java建模语言（JML）是一种行为接口规范语言，可用于指定Java模块的行为。我们知道，面向对象分析和设计的原则之一就是应当尽可能地把过程设想往后推，把精力集中于整体架构的设计，协调管理各个单元部件的运转，而不拘泥于某些琐碎细节实现当中。 因此，在设计层面，我们对于每一个类以及方法 阅读全文