摘要：
(目录) 第四单元架构设计 第一次作业是一个类图分析器，我的做法就是用一个类去实现类图分析的接口，然后完全按照要求实现每个函数就行了。 第二次作业在第一次作业的基础上增加了顺序图和状态图的解析，所以我设置了三个类，每个类分别实现一种UML图的解析的接口，然后再用一个类实现所有接口，这一个大类负责初始 阅读全文
摘要：
[TOC](目录） JML JML(Java Modeling Language)是用于对Java程序规格化设计的一种表示语言，可以使得在编写程序之前，就预先规定每个函数的功能。一些基本用法如下： 注释：每一行都以 @ 开头； 纯查询方法：以 注释，该方法执行不带有任何副作用； 条件和限定：requ 阅读全文
摘要：
[TOC] 设计思路 这三次作业的总体架构都很类似，都是采用 生产者 消费者模式 ，两者共用一个公共队列容器。数据输入（生产者）和电梯（消费者）分别用独立的线程实现，请求队列作为公共容器，实现锁的控制。 在作业一中，单独开了一个Input类来作为生产者，后来的两次作业直接把读入请求并入MainCla 阅读全文
摘要：
[TOC] 设计思路 第一单元作业的主要任务为函数的求导，从作业1到作业3难度依次增加。作业1的任务为简单多项式的求导，给出了多项式的形式化表述，并且不要求进行格式检查；作业2新增加了 项 和 因子 的概念，一个表达式由多个项相加，一个项由多个因子相乘，而每个因子可以是幂函数、正余弦函数或者常数，并 阅读全文