2021年6月26日
摘要: 一、第四单元作业架构说明 UmlElement 部分属性说明 公有属性备注 type 类型 id id 字符串 name 名称 visibility(部分没有) 对外可见性,如private、public 类图 UMLClass备注 parentId 指向UmlModel或UmlClass(不是继承 阅读全文
posted @ 2021-06-26 20:21 Junly7 阅读(44) 评论(0) 推荐(0) 编辑
2021年5月29日
摘要: OO第三单元总结 JML(Java Modeling Language) 是用于对 Java 程序进行规格化设计的一种表示语言。第三单元的重点在于训练读写 JML 和根据规格写程序的能力。 一、实现规格所采取的设计策略 1、首先导入JML规格中规定的所有需要实现的方法(IDEA根据接口可批量导入)。 阅读全文
posted @ 2021-05-29 18:39 Junly7 阅读(49) 评论(0) 推荐(0) 编辑
2021年4月25日
摘要: 一、同步块的设置和锁的选择 第一次作业 同步块 RequestList是输入进程Input和调度器进程Manager之间的临界区,主要用于存储输入的请求。 EleState是调度器进程Manager和电梯进程Elevator之间的临界区,主要用于存储电梯的状态。 Input中的锁 向RequestL 阅读全文
posted @ 2021-04-25 10:44 Junly7 阅读(61) 评论(0) 推荐(1) 编辑
2021年3月27日
摘要: 第一单元总结 一、程序结构 名词和标记解释 名词解释 CogC 每个非抽象方法的认知复杂性,嵌套的控制结构越多,认知复杂性就越高 ev(G) 每个非抽象方法的基本复杂性,用图论度量方法的控制流结构,范围1-v(G) iv(G) 方法的设计复杂性,与对其他方法的调用之间的相互联系有关 v(G) 每个非 阅读全文
posted @ 2021-03-27 21:56 Junly7 阅读(71) 评论(0) 推荐(0) 编辑