摘要：
BUAA-OO Unit4 UML系列 本单元要求实现一个UML分析器，解析mdj文件数据，对UML类图、顺序图和状态图进行分析，通过输入指令来进行UML图中有关信息的查询。同时对模型进行有效性检查，如果模型不符合UML规则，抛出异常。 1 总结本单元作业的架构设计 本次作业程序主干逻辑的架构已经非 阅读全文
摘要：
BUAA-OO Unit3 JML规格 第三单元的作业主要是根据给出的接口和JML规格实现一个可以进行分组、发送不同种类信息、统计可达性、最短路径和相关数据的小型社交系统，应用到了一些图的相关知识。总体而言，实现JML规格完成大部分功能难度并不大，但在细节上容易发生疏漏；而性能的优化也是一个考察点。 阅读全文
摘要：
BUAA-OO Unit2 目的选层电梯 本单元模拟了多线程实时电梯的运行，其中电梯是目的选层电梯，乘客在进入电梯之前就输入自己的目的楼层。在获取每个乘客的起始楼层和目标楼层后，要求程序模拟完成电梯的上下行、开关门和乘客进出，在一定的时间限制内将所有乘客运送到目的地。 第一次作业模拟单部多线程电梯的 阅读全文
摘要：
BUAA-OO Unit1 表达式求导 1 历次作业分析 1.1 第一次作业 1.1.1 设定的形式化表述 表达式 → 空白项 [加减 空白项] 项 空白项 | 表达式 加减 空白项 项 空白项 项 → [加减 空白项] 因子 | 项 空白项 * 空白项 因子 因子 → 变量因子 | 常数因子 变量 阅读全文