摘要：
一、三次作业的架构设计。 第一次作业本人采用了各种各样的hashmap来存储一些对应关系。比如名字和id，类和类内部的属性或方法等等。我通过在构造函数分门别类的构造并存储这些数据关系，以便在接口需要完成的方法中更加高效的完成需要计算的量。比如在构造函数中，将一个类的id和类里面的全部属性作为hash 阅读全文
摘要：
一、JML规格与工具链应用 JML 概述 使用 JML 来说明性地描述所希望的类和方法的行为，可以显著地改善整个开发过程。将建模表示法添加到 Java 代码中，其好处包括以下几点： 能更加精确地描述代码所完成的任务 能有效地发现和纠正错误 能减少随着应用程序的进展而引入错误的机会 能较早地发现客户没 阅读全文
摘要：
一、概述 本单元的主题是通过多线程来模拟电梯调度。总体来讲我觉得这一单元的难度略低于第一单元，主要体现在书写代码的难度低于第一单元，但是调试的难度却略高于第一单元（不过我还是觉得第一单元第三次作业调试debug很难）。 二、设计策略 我在这三次作业采用的是生产者——消费者的模式，输入作为生产者，电梯 阅读全文