摘要：
OO第四单元（UML）及课程总结 OO课程完结撒花！最后对第四单元以及课程进行一个整体的回顾。 本单元架构设计 本单元最终要求完成一个UML解析器，实现类图、顺序图、状态图相关信息查询功能，并进行有效性检查。 三次作业架构上是增量开发，并没有太大的重构，因此仅放出最后一次作业的架构： MyUmlGn 阅读全文
摘要：
第三单元（JML）总结 一、JML学习小结 JML是一种面向JAVA的行为接口规格语言 。它用逻辑严格描述规格，使设计更为规范，并且更利于测试与维护。 规格的总体结构 对于JAVA的类的规格，一般包含了数据（类型）规格和方法规格。 类型规格 不变式invariant：所有可见状态下都必须满足的特性 阅读全文
摘要：
在对第二单元的电梯进行分析之前，先给出整体架构（如下图所示）： 线程：输入线程、调度器（Scheduler）线程、若干电梯线程 共享对象： RequestQueue：总候乘表，输入线程输入请求，调度器进行调度。 ProcessingQueue：局部候乘队列，调度器把请求分配到各局部队列，再由对应电梯 阅读全文
摘要：
OO第一单元总结 第一单元是对表达式求导，并且分为三次增量开发。第一次是仅有简单幂函数，第二次是增加三角函数和表达式因子，第三次是允许三角嵌套因子并支持格式检查。 一、程序结构分析 涉及的度量指标 基础度量 Class Metrics CSA（class size (attributes)）：类的属 阅读全文