摘要： 第三单元主要介绍JML的规则与使用。第9-11次作业围绕这一目标，逐层深入地实现了一个地铁系统。 一、梳理JML语言的理论基础、应用工具链情况 JML是用于规范化java程序的一种语言，它可以规定java的方法所实现的功能。JML以java注释形式存在于接口或类代码中，每行以@开头。它可以描述的ja 阅读全文