摘要：2022北航OO第四单元总结暨课程总结 第四单元架构设计 本单元在理解UML图的基础上，实现对UML类图、顺序图和时序图的解析、指令查询和模型有效性检查。 实现思路 大致思路是先对UML模型进行解析，再实现指令查询的方法。 解析的思路是：在官方包中给定模型元素的基础上，根据需要实现自己的元素类，从上 阅读全文

摘要：2022北航OO第三单元总结 本单元作业模拟实现了一个社交网络系统，可通过各类输入指令实现此社交网络中成员、消息及关系等各类信息数据的增删改查。本单元作业让我一方面从阅读了解到熟悉并学会使用JML规格化语言，另一方面进一步领悟复杂算法的优化方法及其必要性。 第一次作业 第一次作业需要实现主类、Net 阅读全文