摘要：
一、总结本单元两次作业架构 如图所示，这两张UML图即是我这两次作业的整体架构。 具体来说，可以分成两部分：读入和查询 读入：根据传入的数组内UMLElement元素，读入图，需要分成3次读入 1）读入类、接口、关联、状态机、顺序图最高级对应的UMLElement，并相应存储 2）读入方法、属性、继 阅读全文
摘要：
第一部分：JML小结 一、入门关键字小结 1.引导词： requires ：接下来部分的入口要求 assignable ：在该程序中可修改的变量 ensures ：后面是对该函数运行结束后的要求 also exception_behavior ：接下来是出现异常的处理部分 signals ： 对应抛 阅读全文
摘要：
概述： 这三次作业，我采取的类的构造方法大体一致：构造乘客Person对象、等待队列Waiting队列、电梯线程Elevator、读入线程Input以及Main类。 共性上仍有几大缺点：对线程的同步性控制不是很好，后两次可以优化的作业中，我都没有进行什么优化，下面我将对三次作业逐一分析 第一次：纯傻 阅读全文
摘要：
概述： 在这三次OO表达式求导，我大体上采取了两种构造方法，先后实现了多项式求导、简单表达式求导、带有嵌套的表达式求导三个问题，虽然完成了任务，但仍然存在着不少缺点， 共性上有两大很致命的缺点：可拓展性差，这也导致我每次作业基本都是从零开始写程序；仍然是“面向方法”，对面向对象的理解还不够深入，接下 阅读全文