kkk7777

摘要： OO第四单元 本单元三次作业的架构设计 第十三次作业架构图如下： 由于作业的要求是实现一个UML类图解析器，要求根据各种指令来进行类图有关信息的查询。而且作业所提供的测试数据量不大，而且由于类图之间的元素非常具有层次性，所以采用HashMap存储类图元素之间的关系，ArrayList存储点。这样查找 阅读全文

摘要： OO第三单元总结——JML 一、梳理JML语言的理论基础、应用工具链情况 JML语言理论基础 JML是一种形式化的、面向JAVA的行为接口规格语言（Behavior Interface Specification Language，BISL），基于Larch方法构建 。BISL提供了对方法和类型的规格 阅读全文

摘要： OO第二单元总结——电梯系列 一、设计策略 这一单元三次作业都采用生产者——消费者模式。输入线程作为生产者，电梯线程作为消费者，再有一个接受和处理请求的调度器即托盘。 这三者的分工非常明确，在代码实现上也应如此。 输入线程：任务是获取乘客的请求，当然也需要将请求推送给调度器，以便电梯能获取请求。 电 阅读全文

摘要： OO 第一单元总结 ——表达式求导 第一次作业 第一次作业较为简单，即对幂函数进行求导即可，也不需要判断表达式的合法性。需要注意的点为数可能很大，需要转换为BigInteger，其次常数要输出0。然后就用面向过程的思维写了大正则，一Main到底，然后使用HashMap便于化简。 （1）基于度量来分析 阅读全文