摘要：
一、第四单元总结 第一次作业 主要是在阅读题目和官方包以获取信息的时候耗费了很长的时间，研究如何获取相关的数据，对应的调用方法是什么，这方面比较麻烦且耗费时。还有就是在容器的建立方面遭遇到了很多的问题，如何存储读取的数据，在调用方法时如何使用存储的数据，都是这次作业的难点所在。 Bug主要出现在对于 阅读全文
摘要：
一、JML语言基础 原子表达式： \result：表示方法执行后的返回值，类型为方法声明中所定义的返回值类型。 \old(exp)：表示表达式exp在方法执行前的值。 \not_assigned(x)：判断括号中的变量在方法执行过程中是否没有被赋值、改变。 \nonnullelements(cont 阅读全文
摘要：
一、三次作业的设计策略 三次作业中我没有采取很大的重构方式，都是使用了四个类，一个MainClass类，作为程序运行的主类，一个Customer类，用于输入数据的处理和请求的生成，一个Tray类（在第三次中命名为Channel类），作为生产者和消费者之间的托盘，同时在第二次和第三次需要调度多部电梯的 阅读全文
摘要：
一、作业架构与性能分析 1、第一次作业 a、架构分析 第一次作业较为简单，由于第一次接触JAVA，并不是十分了解面向对象的编程方法，所以整个程序的编写更倾向于面向过程。使用了Hashmap的存储容器，以指数为index，每个指数所对应的系数为value，利用map中项的index不能相同这一特点，在 阅读全文