空心麻团

摘要： 作业架构 第一次作业 类图： 度量分析： method CogC ev iv v Association.addAssociationEnd(AssociationEnd) 0.0 1.0 1.0 1.0 Association.Association(UmlElement) 0.0 1.0 1.0 阅读全文

摘要： 实现规格的设计策略 类已经由课程组规定好，能设计的部分只有类的字段。 一般JML给出的都是疑似数组的形式，但是实际上又会出现大段的JML来描述一个数组和另一个数组对应的情况，其实这完全可以用一个HashMap来解决。 对于contains..，has..这种名字其实稍微阅读JML确认一下，就知道只要 阅读全文

摘要： 第一次作业 类图 顺序图 同步块的设计和锁的选择： 把Requestlist写成了单例模式的线程安全类。 以类名作为锁，方法上加同步。 方法内对于共享的单例读写，必须同步 调度器设计与交互 第一次作业只有一部电梯，体现不出调度器的作用，加入反而显得冗余，所以没有实现。 线程交互通过读写Request 阅读全文

摘要： 第一次作业 类的设计 方法度量: Method CogC ev(G) iv(G) v(G) Expression.analyse() 0.0 1.0 1.0 1.0 Expression.eDot() 5.0 2.0 3.0 4.0 Expression.Expression(String) 0.0 阅读全文