摘要：面向对象第三单元总结 一、实现规格的设计策略 JML规格以形式化的方式描述了类和方法的设计要求，所以本单元作业在设计上最主要就是根据规格按部就班地实现要求。 1.类的属性规格 本单元作业以接口规格的形式给出了类的设计要求，JML规格清楚地描述了类的属性个数和数据类型。对于非数组类型的数据，按规格要求 阅读全文