摘要：
OO第四单元总结&&学期总结 （1）总结本单元三次作业的架构设计 本单元三次作业的架构设计我有点偷懒。第一次作业就一个大类，第二次作业将状态图和时序图分别在建类，第三次作业再将检查方法分为一个大类。信息的存储就用HashMap，将查找时会用到的id与element关联，然后根据element tpy 阅读全文
摘要：
JML语言的理论基础 什么是JML？ JML是一种形式化的、面向JAVA的行为接口规格语言。 JML拥有坚实的理论基础。 JML使用Javadoc的注释方式。 注释结构 JML以javadoc注释的方式来表示规格，每行都以@起头。有两种注释方式，行注释和块注释。其中行注释的表示方式为//@annot 阅读全文
摘要：
OO第二单元总结 设计策略 这三次作业，我都采取了类似的设计策略。首先由LiftInput线程来从外界获取请求，并放入requestQueue(请求队列）。然后LiftController线程从requestQueue中按顺序取出请求，通过调度算法分配给LiftDatas（电梯信息表，每部电梯都有一 阅读全文
摘要：
OO第一单元总结 第一次作业 类图 代码分析 说明 第一次作业比较简单。我构建了一个抽象类Term，然后由ConstantTerm和PowerFunction分别继承该类，来表示表达式中两种不同的项（常数项和含幂函数的项）。然后由Polynomial类来管理整个表达式。这个过程中我认为我没有把表达式 阅读全文