摘要： 本单元架构设计 第一次作业 架构 第一次作业笔者使用适配器模式，建立了MyClass MyOperation MyAttribute MyInterface四个类，将对应的UML元素包装起来，从而使得具有关系的UML元素之间的关系在这四个类中体现（如MyClass类中包含了类中的MyOperatio 阅读全文

摘要： OO第三单无总结 JML简介 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。通过JML及其支持工具，不仅可以基于规格自动构造测试用例，并整合了SMT Solver等工具以静态方式来检查代码实现对规格的满足情况。 表达式 原子表达式 \resu 阅读全文

摘要： 由于博客园对于Markdown的支持似乎不是很好，因此发在CSDN上 传送门 阅读全文

摘要： 设计策略 对于这一单元，我三次作业的设计基本一致，均为主类-输入类-调度器类-电梯类组合。其中输入线程将受到的请求交给调度器，调度器将请求指定给某个电梯，而电梯线程则专注于处理自身的等待队列中的请求。 第一次作业由于只有一部电梯，因此调度器直接将所有请求交给唯一的一部电梯，电梯使用look算法上下跑 阅读全文

摘要： 第一次作业 结构分析 Methodev(G)iv(G)v(G) MainClass.main(String[]) 1 1 1 Poly.Derive() 1 3 3 Poly.Output() 1 6 9 Poly.Poly() 1 1 1 Poly.Poly(String) 1 2 3 Poly. 阅读全文