摘要： 一、本单元三次作业架构设计 第一次作业 这次作业针对一个类图，要实现的功能比较多，但是普遍都是简单的查询方法，且只有一次构造方法，没有更新方法。所以我采取的策略是面向每一个要实现的功能，针对性地设置缓存容器。在构造方法里面对每一种类型的元素针对性的分类储存，只缓存之后要查询的东西。 总体来说，这次的 阅读全文

摘要： 一、JML语言理论基础与应用工具链梳理 理论基础 JML是用于对Java程序进行规格化设计的一种表示语言。通过类似离散数学里面的语句，规范明确地指出操作的行为。 具体而言，JML有两种主要的用法。 （1）开展规格化设计。这样交给代码实现人员的将不是可能带有模糊性的自然语言描述，而是逻辑严格的规格。 阅读全文

摘要： 面向对象第二单元总结——电梯 程序及bug分析： 第一次： 设计思想：本次作业要实现的功能为可稍带电梯。我的设计采用了生产者消费者模式，具体的设计需要三部分，一是输入线程，二是调度器，三是电梯线程。输入线程和所有的电梯线程共用一个调度器，输入线程获取请求并将其放入调度器，电梯根据自身情况（是否静止、 阅读全文

摘要： 程序及bug分析： 第一次作业 设计思想：第一次作业要求的功能较为简单，所以我只设计了三个类，一个主类用来放置main函数，同时简单处理输入，一个表达式类实现求导的主要功能，包括有将表达式的每一项存储，简单排序使得最终结果以正项为第一项，合并同类项，求导，最后输出。最后一个类为幂函数类，拥有系数和指 阅读全文