陆开翔

摘要： OO第四单元及期末总结 一、第四单元作业架构 本单元作业的主要任务是解析mdj格式的文件，需要做的工作是实现一个官方的接口，并完成其内部要求的方法。我们需要解析的有UML类图、UML状态图以及UML顺序图以及模型的有效性检查。 以下会具体介绍三次作业的设计架构。 第一次作业 第一次作业的UML类图以 阅读全文

摘要： OO第三单元JML总结 一、JML理论基础与应用工具链 1、JML理论基础 JML是JAVA Modeling Language的简称，主要用于对java程序进行规格化设计，是一种基于Larch方法构建的行为接口规格语言。 JML的优点在于它的精准性与可读性。在设计规格时，如果使用自然语言，那么很有 阅读全文

摘要： OO第二单元多线程总结 一、三次作业设计策略 个人三次作业使用的都是synchronized语句块，都是生产者 消费者模型，都是电梯自调度系统。 第一次作业策略 第一次作业个人使用生产者 消费者模型。作业里一共有三个线程类，分别为Main线程、InputThread线程与Elevator线程。其中M 阅读全文

摘要： OO第一单元总结 阅读全文