摘要：
一、架构设计 本单元三次作业按照迭代的方式实现。最终设计架构图如下 在第一次作业中只完成了UML中解析类图的部分，其主要功能集成在MyUmlInteraction中，构造了MyClass、MyInterface、MyOperation三个类来辅助完成。 在第二次作业中将第一次作业中的MyUmlInt 阅读全文
摘要：
JML理论基础 JML是用于对Java程序进行规格化设计的一种表示语言。与自然语言会带来的歧义性不同，JML语言通常都具有独一的意义，因此，常被用来实现逻辑严密的规格。 注释结构 JML的注释方法一般有两种： 行注释：//@annotation 块注释：/* @ annotation @ */ JM 阅读全文
摘要：
第一次作业-单部多线程可捎带电梯 本次作业采取了生产者-消费者模式进行设计，主要构造了输入器，调度器，电梯三个类，其中输入器为生产者，不断向托盘也即调度器发送请求。而电梯同时也不断向调度器获取请求。当输入器不再获取输入且调度器中的请求队列为空时，并且电梯将接送的乘客均送到目的楼层时，电梯停止运行。在 阅读全文
摘要：
第一次作业——简单表达式求导 本次作业类图如下 由于是第一次作业，还没有很好地体会到面向对象的思想，加之每一个项都具有固定的格式，因此只引入了Item类。主要处理方法为对于输入表达式进行一系列预处理，然后通过split进行项的切分。当读入一个项时对项的系数和指数进行解析并存储到每个对象中。求导过程由 阅读全文