摘要： OO第四单元总结&课程总结 第四单元架构分析 由于三次作业整体结构几乎相同，因此在此只给出第三次作业的UML类图： 可以看到，基本的思路就是在MyUmlGeneralInteraction这个类中分别构造三个类用于处理类图，顺序图和状态图相关的指令。三个类分别根据自己要处理的数据针对性的构造数据结构 阅读全文

摘要： OO第三单元总结 JML理论基础与工具链梳理 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。我们使用 JML 来描述 Java 模块的行为可以忽略其具体实现。 JML有类型规格和方法规格，类型规格主要包括类所管理的数据，不变式invarian 阅读全文

摘要： OO第二单元总结 1.多线程设计策略 在本单元的作业中，我采用的是一致的设计策略：采用生产者-消费者模式，由输入管理线程（生产者）不断读取输入，并放进队列RequestQueue中进行排队，由电梯（消费者）从队列中取需求。 在本单元的作业中，我没有实现调度器，而是完全由共享容器来联系生产者和消费者， 阅读全文

摘要： OO第一单元总结 程序结构 第一次作业 第一次作业比较简单，只涉及幂函数的加减，因此我采用小正则对每一项进行识别并存入HashMap中，在此次作业中主类承担了包括对输入进行处理，项的识别，同类项合并，输出等功能，比较臃肿。 复杂度分析如下： 第一次作业有一个bug和一个与性能有关的小问题： Bug是 阅读全文