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