摘要： 1 JML语言的基础及应用 1.1 JML语言 Java建模语言（JML）是一种行为行为规范语言，可以使用给定Java模块的行为。 为了支持JML语言的轴论，我们将Eiffel的“合同设计（contract design）”方法与Larch系列框架规范语言的基于模型的规范方法相结合。 主要文章为以下 阅读全文