摘要：
一、本单元作业的架构设计 本单元的任务是实现一个UML图的解析器，可以通过输入各种指令来进行对类图、顺序图、状态图有关信息的查询，并在最后一次作业中支持对模型的有效性检查。 第十三次作业 本次作业只需要实现对UML类图的解析，设计总体上与StarUML中的层次结构相同。由于官方包提供的各种UmlEl 阅读全文
摘要：
本单元要求我们基于给出的JML规格实现一个社交关系网络，并可以通过各种指令实现数据的增删改查。 一、实现规格所采取的设计策略 相较于前两个单元对于架构设计的整体性及可扩展性的考察，本单元对于需要实现的类都给出了相应的抽象类或接口，类中需要实现的方法也都给出了JML描述，相当于已经定好了整体框架，我们 阅读全文
摘要：
第一次作业 第一次作业要求模拟单部多线程电梯的运行，在规定时间内将所有乘客运送至目的楼层。 设计思路 本次作业一共设计了三个线程，分别是输入线程InputThread、调度器线程Scheduler和电梯线程Elevator。 输入线程InputThread将控制台输入的请求添加到等待队列WaitQu 阅读全文
摘要：
第一单元要求我们构造一个多项式求导器，并通过迭代开发最终实现包含简单幂函数和简单正余弦函数及其嵌套组合函数的导函数的求解。 第一次作业 一、基于度量分析程序结构 UML类图 第一次作业的任务为仅包含幂函数的简单多项式的导函数求解。本次任务较为简单，因为表达式中每一项均由乘法运算符连接若干因子组成，总 阅读全文