https://www.cajzella.cn/2023/05/18/OO-unit3/ 前言这是2021级BUAA 面向对象课程第三单元实验——基于规格的层次化设计的博客总结。 架构设计本单元作业需要根据 JML 规格描述实现一个社交关系模拟系统，需要阅读JML，实现高效图算法以及异常处理。下面主要从各单元图算法实现进行分析。 首先阅读 JML 发现许多方法需要通过 id 得到 person ，容易想到用 HashMap 进行存储。 hw9 —— 查询连通性和三角形关系数通过阅读 J
https://www.cajzella.cn/2023/05/18/OO-unit3/
前言这是2021级BUAA 面向对象课程第三单元实验——基于规格的层次化设计的博客总结。 架构设计本单元作业需要根据 JML 规格描述实现一个社交关系模拟系统，需要阅读JML，实现高效图算法以及异常处理。下面主要从各单元图算法实现进行分析。 首先阅读 JML 发现许多方法需要通过 id 得到 person ，容易想到用 HashMap 进行存储。 hw9 —— 查询连通性和三角形关系数通过阅读 J