摘要: 一.UML设计 本单元作业的要点在于 1.理解UMLelement的各种子类的属性和联系 2.用合适的容器保存图信息,实现对应的方法 第一次作业 解析UML类图,类图中元素包含以下信息: UmlClass / UmlInterface: id:类/接口名称 name:类/接口对应的独一无二id Um 阅读全文
posted @ 2020-06-17 23:43 ZhaoYunQz 阅读(344) 评论(0) 推荐(0) 编辑
摘要: 一. JML语言的理解 JML语言是为了明确、清晰描述行为而诞生的,语言习惯类似离散数学里面的语句。本质上,JML语言是在规范的、明确的指出操作的行为,这样的方式不仅可以在逻辑层面分析bug、也有利于对单元进行测试、设计。这一点和设计本身是完全不一样的,实现的具体方式应基于数据的模式来选择。 pur 阅读全文
posted @ 2020-05-20 16:40 ZhaoYunQz 阅读(377) 评论(0) 推荐(0) 编辑
摘要: 一. 概述 鉴于本次作业我使用了指导书第一次要求中提出的最简单的ALS调度方式,使得三次作业的迭代过程比较简单。所以就不按照每次作业来分析,而是按照整体作业要求的模块进行分析。 二. 知识点 ① 生产者消费者模型:关键在于共享资源,和共享资源提供的方法。 ② 共享资源:system.in、TimeO 阅读全文
posted @ 2020-04-13 20:44 ZhaoYunQz 阅读(213) 评论(0) 推荐(0) 编辑
摘要: 一.多项式求导 (一)对象和方法设计 根据定义,多项式是由若干符号和项交替组成。和求导规则决定多项式求导等价对每个项求导。因此考虑一个项类,包含两个Biginteger类型数据次幂和系数,对应幂指数求导方法,toString()方法。为了化简,提供一个判断是否系数是负数的布尔值方法来判断表达式这一项 阅读全文
posted @ 2020-03-18 21:59 ZhaoYunQz 阅读(387) 评论(1) 推荐(0) 编辑