2022年6月2日
BUAA_OO_2022_Unit3总结
摘要： 本单元的主角是JML，介绍了JML这一有力的设计工具，考察了利用JML实现代码的能力。 一、架构设计和性能优化 1.1 第九次作业 目标是实现MyGroup，MyNetwork，MyPerson三个类，实现简单社交关系的模拟和查询,并且实现六个抽象异常类，要求具有计数功能。 图结构可以自然地由JML 阅读全文
posted @ 2022-06-02 19:29 LetsHurtTonight 阅读(40) 评论(0) 推荐(0) 编辑
← → ↓ ↑