摘要：
一、第三单元架构设计 第一次作业 第一次作业是实现一个UML类图分析器，主要理解类图各元素的含义，涉及Class、Operation、Interface、Parameter、Attribute、Generalization、InterfaceRealization、Association、Assoc 阅读全文
摘要：
一、JML概述 1.1 JML理论基础 JML简介 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言（Behavior Interface Specifification Language，BISL），基于Larch 阅读全文
摘要：
一、设计策略与基于度量分析 1.1 第一次作业 设计策略分析 第一次作业是单部多线程可捎带电梯。 只有一部电梯并且在电梯中判断方向等就没有设置调度器，所以只需要输入线程和一个电梯线程进行多线程协同。 在主类中start了输入线程和一个电梯线程，传入同一个队列作为共享队列，输入线程负责添加向队列中添加 阅读全文
摘要：
一、基于度量分析程序结构 1.1 第一次作业 UML 类复杂度 方法复杂度 第一次作业只建了两个类，MainClass类和Poly类。 Poly类有num和index两个属性，分别是幂函数的系数和指数。 Treemap用指数做key存储Poly类。 Poly中没有专门的求导方法，在输出的时候求导。 阅读全文