摘要：OO第三单元总结 实现规格时的设计策略 这一单元主要学习的内容是掌握JML，一方面需要通过JML来完成代码实现，另一方面则是通过读JML了解写JML的方式，在以后写代码时也需要为他人书写规格。 由于有JML的指导，所以我能比较独立的完成各个方法的书写。但为了了解本题的方法的意义和更快地理解代码，看一 阅读全文