摘要：
OO第四单元与课程总结 一、本单元作业的架构设计 本单元三次作业的架构大同小异，而第一次作业内容最少，UML图最清晰，所以只放了第一次作业的UML图。 本单元作业的设计重点就是设计储存UML元素的数据结构。我使用了以下集合来描述一个UML图，以便于实现各种查询工作（见上图红框部分）： element 阅读全文
摘要：
OO第三单元总结 [TOC] 一、JML理论基础、应用工具链情况 JML理论基础 我所理解的JML规格化设计语言，是设计契约的一种表达形式。应用JML表达对代码的需求，避免了自然语言不严谨的问题，可以一定程度上降低因为沟通问题而出现的代码出错的概率。 我们在主要使用了JML中的方法规格和类型规格，用 阅读全文
摘要：
[TOC] 设计策略 架构 我这三次作业架构的差别不大，都是由以这三部分组成：输入部分，电梯，调度器。其中电梯和输入都是线程，有run()方法；调度器是共享变量，没有run()方法。下面是第一次作业的UML类图： 下面是第三次作业的UML类图，可以看见从第一次到第三次作业，除了多出一些方便换乘的类之 阅读全文
摘要：
[TOC] 第一次作业 思路 表达式由各个项相加组成，每个项带有自己的符号，可正可负。第一次作业的项中只包含幂函数和常数项，所以项 仅由系数和指数两个参数确定 。项之间能否合并取决于x的指数，所以在表达式中采用HashMap来存储表达式中的各个项，指数作为key，方便同类项的查询。 依次确定 阅读全文