摘要: OO2022第三单元总结 第三单元主要学习了契约式编程以及JML,根据作业提供的JML实现相应的接口来完成一定的任务。 JML只严格约束了方法和类的行为、对象可见状态的改变等,内部的实际实现是自由的。在本单元作业中,需要灵活使用一些算法(Dijkstra、Kruskal等)、数据结构(二叉堆、并查集 阅读全文
posted @ 2022-06-01 18:55 aaicy64 阅读(30) 评论(0) 推荐(0) 编辑