2019年6月21日

摘要: (1)总结本单元两次作业的架构设计 第一次作业: 重定义了 类和 类,在 里边存储成员属性及操作,储存与之有关的关联,父类以及其实现的接口; 存放所有的 , 从`ClassContainer`取出类进行计算。 uml类图如下: 第二次作业: UMLClass, UMLStateMachine, UM 阅读全文
posted @ 2019-06-21 23:53 栗子芊芊 阅读(147) 评论(1) 推荐(0) 编辑
 

2019年5月22日

摘要: 一、梳理JML语言的理论基础、应用工具链情况 理论基础 JML 是一种 形式化的、 面向 JAVA 的行为接口规格语言 behavioral interface specification language JML 允许在规格中混合使用 Java 语法成分和 JML 引入的语法成分 JML 使用 J 阅读全文
posted @ 2019-05-22 19:13 栗子芊芊 阅读(149) 评论(0) 推荐(0) 编辑
 

2019年4月24日

摘要: OO第二单元总结 1. 从线程协同和同步控制方面,分析三次作业的设计策略 第一次单电梯 FCFS 调度算法实现 : ​ 按照先来先服务的原则,整个程序中有两个进程:输入线程和电梯进程,二者同时工作,并用调度器进行二者消息的传输——输入线程读入请求存入调度器。 ​ 因为同一ID不能两次进入电梯,所以我 阅读全文
posted @ 2019-04-24 21:39 栗子芊芊 阅读(145) 评论(1) 推荐(0) 编辑
 

2019年3月27日

摘要: 一、结构度量 1. UML类图 第一次作业 第二次作业 第三次作业 2. 复杂度分析 (1)方法复杂度 ​ ev, iv, v这几栏,分别代指基本复杂度(Essential Complexity (ev(G))、模块设计复杂度(Module Design Complexity (iv(G)))、Cy 阅读全文
posted @ 2019-03-27 18:58 栗子芊芊 阅读(210) 评论(0) 推荐(0) 编辑