JiaheDu

摘要： 三次作业构架设计总结 下面UML图只包括了我设计的类和需要实现的接口，官方包里面别的类和接口没有画入。省略了不关键的属性、方法和参数。 我的思路是通过UmlElementNode来存储输入的所有Uml元素，用UmlElementNode组成树来存储输入的所有parent关系。 UMLElementN 阅读全文

摘要： JML理论基础 表达式 | 含义 : : | : : \result | 返回值 \old() | 原值 \not_assigned() | 值为“括号中变量没有被赋值”的真值 \not_modified() | 值为“括号中变量值没有发生变化”的真值 \nonnullelements() | 括号 阅读全文

摘要： 本文UML图省略了绝大多数方法，包括一些起辅助作用的方法（不是主要功能）。所有的属性都是private，为了简略没有打'-'符号。 第五次作业 只有一部电梯，人数不限。 多线程设计策略 本次作业我设计了两个线程，一个负责读输入(Read)，一个负责模拟电梯轿厢的行为(Elevator)。这两个线程都 阅读全文

摘要： 本文UML图省略了绝大多数方法，包括一些起辅助作用的方法（不是主要功能）和toString方法。 第一次作业 只需要实现+-连接的幂函数的表达式的求导 代码静态分析 本次用ArrayList承载每个项Term，Term间的+-号连接视为Term系数的正负。 class OCavg WMC MianC 阅读全文