摘要：
OO第四单元总结 一. 本单元两次作业的架构设计 1.第一次作业 第一次作业任务为对UML图的解析。实现对类图中类的属性、操作、继承关系、接口实现等的查询。 由于大部分的指令是通过类名对类的相关元素进行查询，所以我先建立了MyUmlClass类，对每一个UmlClass，在其中记录它的属性、操作、父 阅读全文
摘要：
OO第三单元总结 一. JML语言 理论基础 JML是用于对Java程序进行规格化设计的一种表示语言 1. 注释结构 JML以javadoc注释的方式来表示规格，每行都以@起头。有两种注释方式，行注释和块注释。其中行注释的表示方式 为//@annotation，块注释的方式为/ @ annota 阅读全文
摘要：
OO第二单元总结 一. 单部多线程傻瓜调度（FAFS）电梯 本次作业为单部傻瓜调度的电梯，没有容量和运行时限制 1. 设计策略： 我的设计为典型的生产者消费者模式，输入线程ElevatorInput作为生产者读取请求将请求放入托盘 Scheduler，电梯作为消费者从Scheduler中获取 阅读全文
摘要：
OO第一单元总结 1. 基于度量来分析自己的程序架构 第一次作业 第一次作业为简单多项式的求导，我的设计由SimplePoly, ComuptePoly类组成。ComputePoly通过正则匹配单个项，并将其送入SimplePoly中进行合并构造形如a x^b的简单项，ComputePoly中定义简 阅读全文