摘要：
一、针对规格所采取的设计策略 本单元的所有设计都是围绕给出的规格来展开的，所以读懂规格、正确理解每条规格的意义，是完成设计的第一步。 1、“翻译”每一条规格 JML的语法规则我们已经学习过，所以想要看懂JML规格并不是难事，但我们要做的不只是看懂，而是要理解。 以第一次作业中Network类getP 阅读全文
摘要：
一、类图 第二单元三次作业类图如下： 第一次作业： 第二次作业： 第三次作业： 二、三次作业的调度器设计 第一次作业结构相对简单，虽然只用到一部电梯，但为了减少后续作业的工作量，在调度器的设计上参考了实验课上的设计：输入线程不断读取请求并添加到等待队列中；调度器线程根据实际情况，在合适的时间将等待队 阅读全文
摘要：
一、程序结构分析 1、第一次作业 （1）类图 第一次作业大致思路是，用Term类存储幂函数和求导，再用ArrayList存储Term对象。由于需求简单，我在设计和编写时也就没有考虑迭代需求，最后把所有代码塞进了Main和Term两个类中，让主类起到了多项式类的作用。第一次作业的设计是比较失败的，虽然 阅读全文
摘要：
一、四个单元架构设计及OO方法理解的演进 OO课程四个单元的学习下来，自我感觉每个单元都有突破我对编程的理解。寒假预习作业和第一单元是我首次接触到面向对象的编程模式，首次认识到了封装、继承、多态以及它们的作用。经历了第一单元的三次作业过后，我才逐渐从当初“唯结果”式的编程模式跳脱出来，懂得考虑代码的 阅读全文
摘要：
一、JML语言的理论基础 初次接触JML时，我并不太能理解它的意义和实际作用。在初步了解了JML的语法之后，我认为JML只是在用另一种形式对编程者提出要求，甚至感觉JML相比前几次作业单纯的自然语言描述更加“繁琐”。但我经历了三次作业的考验，查阅了相关资料后，似乎才真正get到JML的作用。JML语 阅读全文
摘要：
一、设计策略 第五次作业： 类图如下： 此次作业共设计了五个类，分别是：MainClass，主类；InputData类，有单独的线程，用于处理输入数据，并传递给调度器；Elevator类，电梯线程，根据调度器的指令执行上下楼、开关门等操作；Scheduler类，调度器线程，根据电梯当前的状态和所有等 阅读全文