摘要：
架构设计 本次单元的作业是对 UML 图进行解析，而我在本次作业利用了自顶向下的方式解析 UML 图，实现成树的形式。根据作业的需求，创建了自定义的类，例如 Class, Interface, Interaction 等，并把所需要的数据存储到该类中。 在解析元素方面利用层次化解析，分析各个 UML 阅读全文
摘要：
BUAA-OO第三单元博客总结 JML 规格 JML 是一种行为接口规格语言，用注释定义了 Java 代码中调用该方法后的行为，来约束接口类的行为。JML 主要以 Javadoc 注释的形式嵌入到 Java 代码当中。这里简略地表达 JML 常见的语法： JML 表达式 原子表达式：\result 阅读全文
摘要：
BUAA-OO第二单元博客总结 OO 第二单元作业主题为电梯调度，主要学习目标为熟悉面向对象思想，构造适合的类，管理和操作对象。 第五次作业总结 设计策略 本次作业采用生产者、消费者模式设计，由于只有一个电梯，上锁的目标就针对楼层进行上锁，保证没有同时读写的情况发生。 调度器设计 调度策略主要参考现 阅读全文