摘要： 第三单元课程概述 ​ 本单元的主人公是JML语言，全称为 Java Modeling Language ，即用于对Java程序进行规格化设计的一种表示语言。在前两个单元中，助教下发任务指导书，我们根据指导书的任务需求 自行设计 我们的架构，比如需要将需求抽象成哪些类，类之间的逻辑关系是什么样的，数据 阅读全文