摘要： 一.JML知识梳理 本次面向对象的作业的主要训练内容是将JML在编程中进行实践。体会程序规格在开发中的重要意义。 1.JML语言相关知识 1.1JML语言的理论基础 JAVA 建模语言（JAVA MODELING LANGUAGE，JML），是一种接口行为规范语言。其主要作用是在编写类和方法之前规定 阅读全文