摘要：
OO第四单元总结 本单元两次作业的架构设计 第一次作业 设计思路 1. 对必要的 类型进行包装,增加必要的属性 2. 建立必要的数据集合用于查询指令 3. 基于数据集合实现查询 设计技巧 1. 基于 结构使用 作为 来组织数据 2. 使用工厂方法使用对应类型的 来建立包装后的类型 3. 根据关联关系 阅读全文
摘要：
JML设计 JML语言基础 基本语法 一般对一个属性/方法的规格描述在其紧邻的上方 原子表达式 1. : 表示一个非 方法的返回值 2. : 表示一个表达式 在方法执行前的值 注意 : 当 为一个引用对象时 只表示引用对象的地址值,不代表引用对象的引用值 3. : 表示括号内的各个变量在方法前后没有 阅读全文
摘要：
第一次作业 设计策略 第一次的傻瓜电梯设计十分平凡,没有使用任何算法策略 1. 类设计: 1. 类 : 表示电梯的状态,控制电梯的运行. 2. 类 : 模拟电梯运行的线程类 3. 类 : 主类控制输入 2. 多线程分析: 1. 共享对象 : 由 类与 类共享一个请求队列 2. 安全性保障 : 自定义 阅读全文
摘要：
作业分析 第一次作业 设计 质量分析 总结 1. 第一次作业明显的表现出面向过程编程的思想,没有层次划分,只是简单的根据功能划分了多项式与处理输入两个功能. 2. 第一次作业我的第一版由于使用了长正则导致爆栈, 当时对正则表达式的独占模式了解不多,所以选择了重新设计,采用逐项检查的形式,由于时间的紧 阅读全文