摘要： BUAA_OO_JML单元总结 [TOC] 一、JML语言理论基础 JML概述 Java建模语言（JML）是一种行为接口规范语言，可用于指定Java模块的行为。我们知道，面向对象分析和设计的原则之一就是应当尽可能地把过程设想往后推，把精力集中于整体架构的设计，协调管理各个单元部件的运转，而不拘泥于某 阅读全文