摘要: OO第四单元及期末总结 一、第四单元作业架构 本单元作业的主要任务是解析mdj格式的文件,需要做的工作是实现一个官方的接口,并完成其内部要求的方法。我们需要解析的有UML类图、UML状态图以及UML顺序图以及模型的有效性检查。 以下会具体介绍三次作业的设计架构。 第一次作业 第一次作业的UML类图以 阅读全文
posted @ 2020-06-15 16:08 陆开翔 阅读(217) 评论(0) 推荐(0) 编辑
摘要: OO第三单元JML总结 一、JML理论基础与应用工具链 1、JML理论基础 JML是JAVA Modeling Language的简称,主要用于对java程序进行规格化设计,是一种基于Larch方法构建的行为接口规格语言。 JML的优点在于它的精准性与可读性。在设计规格时,如果使用自然语言,那么很有 阅读全文
posted @ 2020-05-23 19:20 陆开翔 阅读(172) 评论(0) 推荐(0) 编辑
摘要: OO第二单元多线程总结 一、三次作业设计策略 个人三次作业使用的都是synchronized语句块,都是生产者 消费者模型,都是电梯自调度系统。 第一次作业策略 第一次作业个人使用生产者 消费者模型。作业里一共有三个线程类,分别为Main线程、InputThread线程与Elevator线程。其中M 阅读全文
posted @ 2020-04-18 03:58 陆开翔 阅读(171) 评论(0) 推荐(0) 编辑
摘要: OO第一单元总结 阅读全文
posted @ 2020-03-21 01:29 陆开翔 阅读(138) 评论(0) 推荐(0) 编辑