摘要： oo第三单元总结 一. 梳理JML语言的理论基础、应用工具链情况 (1) JML理论基础 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言，基于Larch方法构建。 一般而言，JML有两种主要的用法： （1）开展规格 阅读全文