2022年6月5日
BUAA_OO_Unit3 基于JML规格的设计总结
摘要： BUAA_OO_Unit3 基于JML规格的设计总结 一、综述 ​ 面向对象课程的第三单元的主题是基于JML规格的设计与测试。本单元的作业背景是实现简单的社交网络，包括NetWork，Group，Person，Message等元素，通过添加图算法和异常类，来实现查询和异常处理功能。本次作业已经通过J 阅读全文
posted @ 2022-06-05 11:31 薛定谔的猫SC 阅读(29) 评论(1) 推荐(0) 编辑