摘要：
本单元作业总结 第一次作业 本单元的第一次作业主要是UML类图的解析和相关的查询操作。 在第一次作业中，因为只有类图的元素，所以我选择了将UML类图按照元素中的父子关系建立成了UML类图树，以类为根，然后将所有parent为该类的元素作为类的儿子，然后依次类推进行构造，这样就能方便的找到属于某个类的 阅读全文
posted @ 2020-06-16 00:59 infinity37 阅读(143) 评论(0) 推荐(0) 编辑
摘要：
JML基础 理论基础 JML是用于对Java程序进行格式化设计的表示语言，其用处在于开展规格化设计，使得交给实现人员的不是较为模糊的自认语言，而是逻辑严格的规格。 JML主要包括三个部分，分别是前置条件，副作用范围限定和后置条件。 requires子句定义该方法的前置条件，表示要求调用者确定条件为真 阅读全文
posted @ 2020-05-20 00:51 infinity37 阅读(203) 评论(0) 推荐(0) 编辑
摘要：
第一次作业 设计策略分析 在阅读过题目之后，我们可以发现，这个题目其实就相当于外部不断的给楼内输送人，然后把楼当做一个中介，电梯不停地去每一层楼层取人然后完成人的要求即可。 所以我在此处用了一个稍微有些变形的生产消费者模型，把输入作为生产者，电梯作为消费者，然后楼作为一个托盘，一旦出现输入，就把输入 阅读全文
posted @ 2020-04-14 22:23 infinity37 阅读(169) 评论(0) 推荐(0) 编辑