ture117

摘要： OO第四单元总结与课程总结 一.本单元两次作业的架构设计 第一次作业 第一次作业是要根据接口解析出的UML类图元素信息进行对类图的查询，关键在于对给出信息的存储与使用。我的做法是建立一个UML类，存储UMLClass和UMLInterface的操作，属性，父类，实现的接口等，同时实现查询操作所要求的 阅读全文

摘要： OO第三单元总结 一.JML语言的理论基础与应用工具链 1.理论基础 注释 ​ 行注释：//@annotation ​ 块注释：/ @ annotation @ / 表达式 ​ \result表达式：表示一个非 void 类型的方法执行所获得的结果，即方法执行后的返回值 ​ \old( expr ) 阅读全文

摘要： OO第二单元总结 一.第一次作业 设计策略 第一次作业要实现一个傻瓜电梯，采用先来先服务的算法。首先设计一个输入类作为输入线程获取输入，然后将获得的请求存入容器类，最后创建电梯类不断从容器中获取请求并执行。这样设计需要考虑容器类的线程安全问题，电梯线程在没有请求时要处于wait状态，容器中有请求则立 阅读全文

摘要： OO第一单元总结 一.基于度量分析程序结构 第一次作业 第一次作业需要完成的任务为 简单多项式导函数 的求解。 思路分析 这次作业比较简单，只需建一个Item类存放每一项的系数和指数，再化简输出即可。具体思路是先正则判断整个输入，再去除空格以及化简连续正负号为一个，然后建立Item类，正则提取每一项 阅读全文