摘要：OO_第三单元总结 设计策略 本单元是关于JML的使用，JML可以提供具有严谨逻辑的规格，避免了自然语言描叙需求时可能存在的二义性。在完成作业的过程中我也体会到了JML规格的优势，因为阅读JML基本就是在阅读伪代码，省去了前两个单元理解题意后自行设计各个类和方法的过程。因此客观来说本单元的难度较为平 阅读全文