2021年5月31日
北航OO第三单元（社交网络JML）总结博客
摘要： 第三单元（社交网络JML）总结博客 第三单元要求我们对一个社交网络进行模拟，主要的方式是通过阅读和理解课程组给出的JML规格语句来实现社交网络中的各种行为，例如增加人、增加群组、增加关系、增加消息、查询人数、查询群组基本信息等等。本单元不再需要我们自己搭建整个程序框架，也不再有性能分的要求，我们只需 阅读全文
posted @ 2021-05-31 23:17 白丶枫 阅读(114) 评论(0) 推荐(0)