摘要：Unit 4博客&课程总结 Unit 4作业的架构设计 本单元作业的设计我分为了三个模块处理：模型构建 + 预处理 + 任务函数，前两部分即为整个图的完整构建，第三部分即为实现题目要求的查询方法。 最终的文件树如下图所示： 模型构建 为了便于对于一些属性的查询以及避免与官方包内的数据类混淆，我为题目 阅读全文
OO summary Unit 3
2022-06-04 00:07 by BUAA_GreenDragon, 22 阅读, 1 推荐, 收藏, 编辑
摘要：Unit 3总结 本单元主要考察了对JML规格的理解与运用，并实现了一个小型的社交系统，支持消息私发/群发、建立小组、发表情包、发对单/对群红包等功能，并具有一定的异常处理能力。 由于JML的规格已经给出，对于方法的种种条件都加以约束，因此大部分时间只需要照猫画虎即可，实现的难度相较于前两个单元可谓 阅读全文
OO summary Unit 2
2022-05-02 02:21 by BUAA_GreenDragon, 56 阅读, 0 推荐, 收藏, 编辑
摘要：unit 2 总结 本次OO第二单元实现的主要任务为模拟了一个多线程电梯运行的基本场景，**基于“生产者-消费者模式”**实现了满足不同的电梯调度以及运行策略达到满足用户上下楼、换乘等请求的电梯。 不得不说比起往届的博客，可以看出这届的助教还是收手了的，让我们在这一单元的编程充实快乐但又不失必要的痛 阅读全文