摘要： OO第三单元总结 综述 这一单元的内容，相比以往，难度有所降低。但是，依旧在算法，数据结构和逻辑设计等部分上有着不少的难点。由于自己的一些怠惰，导致这三次作业没有太多地去处理整合抽象的过程，而是只在大脑中抽象地想好了步骤，然后就直接在一个类中实现了。 JML梳理 JML语言是一种java的规格描述语 阅读全文