摘要：
一：第四单元三次作业架构设计 第一次作业 架构设计：在本次作业中我首先采用Umlgraph类对传入数据进行解析并完成建图（存放所有类、接口和各种关系并在完成后建立一个结点为树或者是接口的类图），同时将一些节点抽象出来作为一个类或者接口（方便储存类之间的关系或者是类的属性）方便进行查询或者是查找类的父 阅读全文
摘要：
一、JML的梳理与总结 JML的注释结构： 1requires：前置条件，即执行方法前应当满足的条件。 2assignable：副作用的范围限定，其中 \nothing表示不对任何属性进行修改。 3ensures：后置条件，即在执行方法后应当满足的条件。 在作业中常见的JML关键字： \result 阅读全文
摘要：
OO第二单元总结 第一次作业：单部电梯模拟运输（含捎带） 设计策略：在第一次作业中，作业要求是使用一部电梯完成运输乘客的任务。在这次作用中我采用了生产者消费者模式，将乘客的输入进程作为生产者，将电梯进程作为消费者，将Waiter（等待电梯的人序列）设为缓冲区。 UML类图 本次作业，主要有三个线程， 阅读全文
摘要：
HW1 复杂度分析 UML图 思路简介 在第一次作业中由于没有考虑格式错误，所以可以首先删去空白字符，然后将连续出现的加减号化简为一个运算符号（如+-化简为-）然后根据+-号对处理后的表达式进行分割，分割后装入Formula类中（格式为a*x**b）就可以轻松通过基本求导规则得出导数，然后将求导后系 阅读全文