摘要： 1.首先我们应该了解什么是jml，jml是java modeling language的缩写，是一种为java规格化设计的标识语言，简单来说，就是描述“干什么”的标准语言（跟注释差不多，但是是标准化注释）。jml基于Larch方法构建。BISL提供了对方法和类型的规格定义手段。所谓接口即一个方法或类 阅读全文