摘要： 一、总结本单元三次作业的架构设计 第一次作业 类图: 第一次作业的时候，我正在准备复习os考试，没时间研究架构，所以架构设计的非常烂orz。 没有把每一个UmlElement都抽象到具体的Class、Interaction、Operation，只是把他们全部都处理成了有儿子节点的TreeNode。这 阅读全文

摘要： [TOC] 一、JML的梳理与总结 JML理论基础 由于很多 "jml博客" 对理论基础总结的很好，而且指导书也会讲解基础语法，我就不再赘述。 我这里就分享一下自己在 初学 语法时，对 语法 总结的难点 ，供初学者参考: (1) \old \old( )表达式：用来表示一个表达式 在相应方法执行前的 阅读全文

摘要： [TOC] 分析和总结自己三次作业的设计策略 第一次作业 多线程的协同：只有主线程、输入处理线程、调度器线程、电梯线程。由于只有一部电梯，所以线程的数量是固定的。我的设计是在主线程里启动输入处理线程和调度器线程，由调度器启动电梯线程。在主类里等待输入处理线程join，join之后设置结束信号为tru 阅读全文

摘要： [TOC] 前言 相传，战国时代， 雷神山有一对同门师兄弟——善逸 和 狯岳 。 他们正在切磋剑道，狯岳先出招： 狯岳：雷之呼吸，二之型，输入 狯岳：雷之呼吸，三之型，处理 狯岳：雷之呼吸，四之型，输出 善逸：雷之呼吸，一之型， 面向对象 ！ 狯岳（败）：苏卡布列！为啥这家伙只会这 一招 ， 速度 阅读全文