_反派甲

摘要： OO 总结 目录 OO 总结 本单元总结 作业要求与实现细节 hw13 层次划分 Tool工具类——数据结构 instruction7——查询所实现接口 hw14 查询指令（新增顺序图和状态图） 指令分析 关键状态判断 message查询 hw15 模型有效性检查 字段为空的判断 R002-重名成员 阅读全文

摘要： OO第三单元总结 本单元作业的重点在于阅读和理解JML规格，并依据规格接口的要求设计满足条件的具体实现细节。一开始笔者没有特别深入的理解JML的内涵，所以在设计具体实现时会不自觉的跟着规格走，但是很快发现这种方式会带来性能的损失。本单元的核心也就在于此，即在合乎规格限定的范围内尽可能发挥主观能动性 阅读全文

摘要： oo第二单元总结 题目分析 第一次作业 题目要求： 多个楼座，每座一个纵向电梯 电梯行为：开关门、上下行、乘客进出 分析： 建立电梯线程Elevator和输入线程Input（选择性建立调度器线程） 设置电梯调度策略，判断请求是否捎带 管理请求队列（包括每个电梯的请求队列以及总的请求队列） 处理同步关 阅读全文

摘要： OO_Unit1总结 ㊙️ 第一单元的主要任务是实现表达式的计算和化简，从第一次作业到第三次作业表达式结构越来越复杂。总体思路是采用递归下降的方法处理，主要环节有：解析、分类、计算、优化。下面将进行简单介绍。 题目概述 hw1：对只含有单层括号，支持加减乘方的简单多项式进行拆括号和化简输出 hw2： 阅读全文