摘要： 一、作业架构设计 第一次作业 1、设计思路： 第一次作业主要是对于类图元素的解析，而为了更便捷的处理元素，我使用了多个HashMap来以树状的层次来储存元素，也就是类图本身的树状结构类似的结构，实现了从父元素直接找到相应的子元素，大大降低了遍历与寻找子元素的难度，后续的分析只要注意好各自不同元素的具 阅读全文

摘要： 理论基础 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言，主要有两个用法：（1）开展规格化设计，（2）针对已有的代码实现，书写其对应的规格，从而提高代码的可维护性。 整体上而言，JML是保证了在一定条件的基础下会得到的结果，但并不关心实现的具体 阅读全文

摘要： 1.前三次作业总结 1.第一次作业 类图： 复杂度分析： 第一次作业我一共用了两个线程来实现电梯和请求的获取，我专门设立了一个人的集合来储存请求，并将其分为电梯内和电梯外，人员的储存方式我是用的hashmap按照所需楼层来储存要到此楼层的所有人员的集合，因此每次调度器只需要考虑相应楼层，而不用考虑具 阅读全文

摘要： 1.前三次作业总结 1.第一次作业 类图： 复杂度分析： 第一次作业比较简单，通过获取指数和系数构建表达式单元，最后进行排序后合并输出，可以看出代码复杂度主要集中在表达式的解析构建和输出上，这部分其实可以单独划分为一个类。 2.第二次作业 类图： 复杂度分析： 第二次作业我将每个乘积项作为单元，获取 阅读全文