摘要：
一、本单元作业的架构设计 1.第一次作业 第一次作业我选择将输入的类图模型分给Class、Interface这两个基本模型存储，同时也将Operation分出来存储，这样的优势就是结构比较清晰，查找时可以到相应的类中查找。本次作业类图如下所示： 由于深度优先遍历的时候没有剪枝，导致我在强测试 阅读全文
摘要：
一、自己实现规格所采取的设计策略 在起初刚学习完JML规格语法的时候，由于对JML规格不够熟练，我选择了让自己的代码与规格代码基本保持一致来完成作业。意思是，JML使用数组实现，我也会使用数组实现；JML使用两层for循环实现，我也会使用两层for循环实现。并且，我选择了每读一个方法的JML，就 阅读全文
摘要：
OO第二单元作业总结 一、总结分析三次作业中同步块的设置和锁的选择，并分析锁与同步块中处理语句直接的关系 1.第一次作业 第一次作业只有一台电梯，所以我们只需要将输入的信息直接交给电梯即可。所以我们需要一个方法全部上锁的队列作为“盘子”，将输入放到盘子上，电梯从盘子上取出乘客请求。当然，在我们“ 阅读全文
摘要：
OO第一单元作业总结 一、基于度量分析程序结构 1.第一次作业 第一次作业相对比较简单，根据题目的意思，可以把每一项归纳为axb的形式，这样可以把式子化为最简再进行求导。对于优化来说，我利用HashMap对所有项进行合并同类项，使得表达式保持在一个相对较短的长度。 首先来看看类图。 第一 阅读全文