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