摘要：面向对象第三单元博客 本单元的主要内容为根据JML规格实现相应的接口。因为项目的大致框架都已经给出了现成的，不需要自己再去构思算法，所以上手较为简单。但需要着重考虑细节的优化，因此过弱中测较容易，而过强测较难。 一、实现规格采取的设计策略 1.从整体出发，大致把握各类所实现的功能和类与类之间的联系 阅读全文