摘要：OO第三单元总结 JML(Java Modeling Language) 是用于对 Java 程序进行规格化设计的一种表示语言。第三单元的重点在于训练读写 JML 和根据规格写程序的能力。 一、实现规格所采取的设计策略 1、首先导入JML规格中规定的所有需要实现的方法（IDEA根据接口可批量导入）。 阅读全文