摘要: BUAA-面向对象设计与构造 ——第三单元总结(JML) 单元主题 完成简单社交网络关系的模拟,并实现一些信息的查询,待完成的函数都已经通过JML规格给出,完全按照规格中的写法进行函数编写可以完全保证正确性,但于时间效率方面会出现问题。 架构设计 这个单元的架构关键在于建立图模型并实现动态图的维护, 阅读全文
posted @ 2022-06-06 10:43 Tian_Kuang 阅读(15) 评论(0) 推荐(0) 编辑