摘要：
OO第四单元作业总结 本单元架构设计 本单元的作业架构，是基于课程组提供的需要实现的接口进行构建的。 第一次作业的架构，比较简单，但是奠定了基础。主干就是实现UmlInterface的MyUmlIntreface，完成分析输入数据构建模型以及顶层应答查询的功能。而执行应答部分则是由各个“包装类”组成 阅读全文
摘要：
第三单元博客 第三单元是对JML规格的初步接触和练习。其初衷是为了以严格的语言来规范代码的书写，避免二义性，传达清晰的信息。总的来说，本单元作业难度不算特别大，但需要对JML的描述进行转化避免性能过差。因此在JML的规格约束下设计合适的架构，进行合理的选择是整个作业的关键，也是使用形式化语言的关键。 阅读全文
摘要：
OO第二单元博客 同步块与锁 本单元是多线程编程练习单元，因此线程安全是重点，也是难点。而线程安全往往体现在锁的设置上，在此陈述一下锁的设计。 第一次作业 第一次作业较为简单，只有一部电梯，因而可以很方便的按照生产者-消费者模式进行构造，将输入和电梯作为两个线程进行处理，而只需在二者取放需求的“桌子 阅读全文
摘要：
第一单元总结 一、程序结构分析 第一次作业 统计数据：//TODO 类个数：3个 MainTermExpression 属性个数 0 3+2 2+1 方法个数 1 15 7 最大规模方法 main:7 toString:27 Expression:33 总控制流规模 0 13 19 总代码行数 11 阅读全文