摘要：
BUAA_OO_2020_UNIT4_Summary 一、第四单元作业总结 本单元的主要任务为对uml图（包括类图、状态图、顺序图）进行解析，并对相应的查询指令给出正确的结果。重点在于理解uml图元素的组织结构，以及架构设计 HW13 本次作业实现较为简单，重点是理解uml类图。由于基础um 阅读全文
摘要：
BUAA_OO_2020_UNIT3_Summary 本单元在阅读并理解JML规格的基础上，完成一个简单社交网络系统的迭代开发，该系统为实时在线系统，输入给出指令，需要及时给出正确的输出。训练重点为对规格的理解，数据结构和算法的选择，程序复杂度和时间的控制。 一、JML理论基础与应用工具链梳理 阅读全文
摘要：
BUAA_OO_2020_UNIT2_Summary 本单元的作业为三次电梯系统的迭代开发，输入端定时给出请求，系统需要响应请求并在符合规范的时间范围内输出正确的处理结果。训练重点为多线程并发程序设计，具有一定的难度和挑战性。 一、作业分析 HW5 HW5较为简单，只涉及一部电梯，且无楼层或 阅读全文
摘要：
BUAA_OO_2020_UNIT1_Summary 第一单元的整体任务为，给出一串字符串，判定是否合乎规范，并按照一定的规则将字符串解析为表达式，并将表达式求导后的结果输出 一、程序分析 第一次作业 第一次作业较为简单，只包含带系数的幂函数项组成的表达式，并且不涉及WF判断 1. 设计思路 阅读全文