摘要：
一、本单元作业架构设计 本单元涉及的内容较为复杂，在模型建构方面，我就花了较大的功夫，而且代码量也相比之前的几次作业来说有着巨大的提升，极大的考验了我的抗压能力以及将UML模型需要转化成为面向对象语言的能力。 第一次作业 在本次作业中我采取的基本思路是对UML类图中的元素进行分类，对能相似处理的元素 阅读全文
摘要：
一、理论基础 注释结构 JML以javadoc注释的方式来表示规格，每行都以@起头。 行注释：//@annotation 块注释：/* @ annotation @*/ JML表达式 JML的表达式是对Java表达式的扩展，新增了一些操作符和原子表达式。 原子表达式 （1）\result表达式：表示 阅读全文
摘要：
第二单元总结 第一次作业 一、设计策略 这次的电梯只有一个，但要求支持捎带。对此，我采用的是look算法，电梯每到达一层访问一次请求队列，因为电梯无人数限制，若电梯在该层有需要进出的请求，则执行，同时在电梯关门前再次确认是否还有需要进出的请求，用以缩短乘客等待时间，提升电梯性能，电梯运行直到没有当前 阅读全文
摘要：
第一次作业 一、程序结构 从类图中可以看到，一共也三个类，其中MainClass完成主函数、表达式输入及输出、解析表达式等任务，而Qiudao则是对各个因子进行的求导操作，Cal处理了过程中的计算问题。由于刚接触Java语言，也不太懂什么是面向对象思想，所以程序整体来说还是比较面向过程的，也并没有用 阅读全文