摘要：面向对象第四单元总结 第四单元的任务是实现一个UML解析器，支持对UML类图、状态图与顺序图的分析，并能根据UML规则进行规范性验证。第十三次作业实现了对类图的分析，第十四次作业增加了状态图与时序图，而第十五次则在读入指令之前进行了规范性验证。三次的目标较为独立，在迭代开发上较为简单，不像前两个单元 阅读全文

摘要：面向对象第三单元总结 第三单元的任务是根据官方给出的JML规格实现代码、完成社交网络模型。由于方法的前置条件、后置条件等信息已由JML给出，本单元的功能实现较之前简单了不少，而算法优化则成为了不可回避的问题，毕竟完全按照JML实现代码只保证结果正确而不保证性能。 一、结构分析 各类的基本结构已由JM 阅读全文