摘要： 1 本单元三次作业架构分析 本单元作业的核心在于理解UML类图、UML状态图和UML顺序图中各个元素的含义以及不同元素之间的从属关系，对于本单元所涉及的UML元素关系，我梳理如下： 可以明显地看出，UML图中的元素是以树结构组织的，那么在编程过程中，也要建立树形结构组织数据，方便查找。 出于时间的关 阅读全文

摘要： 1 JML语言概述 1.1 JML语言理论基础梳理 JML是一种规格描述语言，它沿用了java的部分语法，并扩展了自己特有的表达式和语法，方便了对规格进行描述。JML语言的特点主要体现在以下三个层面： ①表达式： 由于规格语言相较于编程语言，需要获取在不同情况下的某些特定取值，所以需要设立新的表达式 阅读全文

摘要： 1 第一次作业 1.1 任务概述 第一次作业要求完成单部可捎带电梯的模拟。 1.2 设计策略 第一次作业中，我对于多线程编程理解还不深刻，只能先模仿实验课练习的规范写。 我采用了经典的生产者-消费者模型，由Input线程产生请求，放入调度器对象RequestQueue中，然后由Elevator线程从 阅读全文

摘要： 1 程序分析 1.1 第一次作业 UML图： 行数： 复杂度： 简述： 本次作业难度较低，只有简单幂函数的求导，所以我直接按照输入、存储、求导、输出的思路进行编写。 由于不需要判断WF，在输入时直接利用正则表达式，写出一项的正则然后用find方法找到一项，传给解析函数解析存储。 对象方面，在类内部又 阅读全文