摘要： BUAA_OO_第三单元总结_JML 一、实现规格的设计策略 首先通读接口的JML规格，了解各个类和方法的基本功能 理解各类和方法的功能在于理解各个类之间的调用关系，然后逐层地分析各个类或方法的功能，因此可以先从被调用的类进行分析实现，然后再分析实现调用者类。 针对某些方法选择合适的算法，防止出现O 阅读全文