摘要：BUAA-OO Unit3 JML规格 第三单元的作业主要是根据给出的接口和JML规格实现一个可以进行分组、发送不同种类信息、统计可达性、最短路径和相关数据的小型社交系统，应用到了一些图的相关知识。总体而言，实现JML规格完成大部分功能难度并不大，但在细节上容易发生疏漏；而性能的优化也是一个考察点。 阅读全文