摘要：BUAA-面向对象设计与构造 ——第四单元总结（UML) 单元主题 实现UML解析器，使其支持对 UML 类图、状态图和顺序图的分析，可以通过输入相应的指令来进行相关查询，并能根据 UML 规则进行一定的规范性验证。 架构设计 本次作业包含的内容较为繁杂，需要认真阅读指导书，明确作业需求，架构的关键 阅读全文

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