摘要: OO 总结 目录 OO 总结 本单元总结 作业要求与实现细节 hw13 层次划分 Tool工具类——数据结构 instruction7——查询所实现接口 hw14 查询指令(新增顺序图和状态图) 指令分析 关键状态判断 message查询 hw15 模型有效性检查 字段为空的判断 R002-重名成员 阅读全文
posted @ 2022-06-29 11:25 _反派甲 阅读(12) 评论(0) 推荐(0) 编辑
摘要: OO第三单元总结 本单元作业的重点在于阅读和理解JML规格,并依据规格接口的要求设计满足条件的具体实现细节。一开始笔者没有特别深入的理解JML的内涵,所以在设计具体实现时会不自觉的跟着规格走,但是很快发现这种方式会带来性能的损失。本单元的核心也就在于此,即在合乎规格限定的范围内尽可能发挥主观能动性 阅读全文
posted @ 2022-06-06 11:11 _反派甲 阅读(19) 评论(0) 推荐(0) 编辑
摘要: oo第二单元总结 题目分析 第一次作业 题目要求: 多个楼座,每座一个纵向电梯 电梯行为:开关门、上下行、乘客进出 分析: 建立电梯线程Elevator和输入线程Input(选择性建立调度器线程) 设置电梯调度策略,判断请求是否捎带 管理请求队列(包括每个电梯的请求队列以及总的请求队列) 处理同步关 阅读全文
posted @ 2022-05-04 15:17 _反派甲 阅读(13) 评论(0) 推荐(0) 编辑
摘要: OO_Unit1总结 ㊙️ 第一单元的主要任务是实现表达式的计算和化简,从第一次作业到第三次作业表达式结构越来越复杂。总体思路是采用递归下降的方法处理,主要环节有:解析、分类、计算、优化。下面将进行简单介绍。 题目概述 hw1:对只含有单层括号,支持加减乘方的简单多项式进行拆括号和化简输出 hw2: 阅读全文
posted @ 2022-03-25 22:18 _反派甲 阅读(25) 评论(0) 推荐(0) 编辑