摘要：
第四单元总结 1.本单元三次作业的架构设计 （1）第一次作业 本次作业仅实现了 ClassInteraction接口，我运用了大量的哈希表来进行对姓名、id等信息的检索，如下图所示。在层次结构上，本次作业我都结构较为简单，在MyUmlIntreaction中继承了UmlInteraction接口，此 阅读全文
摘要：
oo第三单元总结 1.JML语言的基础理论、应用工具链情况 JML是Java模块的行为接口规范语言。JML提供了语义来正式描述Java模块的行为，从而避免了有关模块设计者意图的歧义。JML的目标是提供严格的形式语义，同时仍然可供任何Java程序员访问。可以利用JML的行为规范的各种工具。因为规范可以 阅读全文
摘要：
一．三次作业的设计策略 1.第一次作业的设计策略 在第一次作业中我设计了两个线程，电梯线程和输入线程，还有控制器模块作为连接两个线程的托盘。总的来说，我采用了生产者 消费者模式，其中生产者是输入线程，将输入的结果放入托盘中的waitingline队列，当电梯为空或到达某层时，电梯向控制器发出进入乘客 阅读全文
摘要：
第一次作业 由于第一次的作业较为简单，我仅设置了两个类，即主函数类和用于存储表达式的atom类，在atom类中，我分别记录了幂函数的指数和系数。在本次作业中，我才用了arraylist的容器用于存储每个单项式，利用arraylist的遍历来进行化简。 （1）基于度量来分析自己的程序结构 正如前文所述 阅读全文