摘要： BUAA面向对象设计与构造第三次博客总结 一. 实现规格采取的策略 这三次作业我主要采用的就是单个类，单个方法逐个攻破的方法。首先通过JML规格在每个类前定义的变量名称定义好必要的变量。然后在逐个单独实现不同的方法，由于每个函数单独规格都不是很复杂，所以实现并不是很困难。而在实现的过程中，如果需要定 阅读全文