摘要： [TOC] 一、JML语言理论基础及应用工具链 理论基础 官网定义： Java建模语言（JML）是一种行为接口规范语言，可用于指定Java模块的行为 。它结合了Eiffel的契约方法设计 和Larch系列接口规范语言的基于模型的规范方法 ，以及细化演算一些元素 。 用法： （1）开展规格化设计。这样 阅读全文