摘要： BUAA-OO-第三单元总结 写在前面 ​ 首先，庆祝自己渡劫OO第三单元，并且在本单元做到了"金身不坏"。本单元考察的主要内容是JML规格编程，连带一些堆栈、图等算法知识。本单元让我提前的、很好的、充分的的体会到了一回"乙方"的苦涩生活。JML规格就是我们本次作业中的甲方，我们就是乙方。作为乙方， 阅读全文