摘要：
1.第四单元作业的架构设计 1.1 第一次作业 第一次作业刚开始看到前人的经验分享建树，查找方法直接对树操作。但我根据自己对类图的理解，选择了使用HashMap。新建类Item，用来存储Class，Operation，Interface这些还有下属成员的元素。Item中有不同的类型为HashMap的 阅读全文
摘要：
1. 理论基础与应用工具链 1.1. 理论基础 1）注释结构 以@开头，行注释//@，块注释/*@ @*/，纯粹查询方法/*@pure@*/。规格中每个子句都必须以；结尾。 model规格层次的描述，不是此类的声明组成部分。 non_null对象引用不能为null。 前置条件，requires。 副 阅读全文
摘要：
1. 分析程序 1.1 作业一 1.1.1 类图 作业一设计了四个类，电梯类、输入类、主类、队列类。其中主类新建线程和共享对象，输入类、电梯类为两个线程，队列类为两个线程的共享对象。其中队列类和电梯类规模较大。 1.1.2 复杂度分析 用于电梯运行过程中乘客上下和楼层变化，乘客请求调度的函数复杂度高 阅读全文
摘要：
1.分析程序 1.1 作业一 1.1.1 类图 第一次作业中OO的思想几乎没有体现，直接在主类中构建了几个方法分别进行读入、求导、输出，没有构建其他的类，这就导致程序几乎没有可扩展性。因为表达式类型简单，只采用了HashMap来存储每一项。规模最大的方法为write_out为59行。 1.1.2 复 阅读全文