摘要：
架构设计： 第十三次作业： 第十三次作业是只要实现类图的一些统计功能，我是通过一个Graph类来进行具体的实现，然后OperationInfo,AttributeInfo,InterfaceInfo,ClassInfo来储存具体的操作，属性，接口，类的信息。 第十四次作业： 第十四次作业中的Solv 阅读全文
摘要：
一、关于JML JML理论基础 所谓的JML，它是一种形式化的，面向JAVA的行为接口规格语言。对于我们所写的代码，正确性的重要性不言而喻，JML正是我们为了获得回答方法正确性问题的一种重要的技术手段，同时可作为我们开展测试设计时的依据，是多人协同开发时的交互基础。 方法规格： 举一个例子，首先我们 阅读全文
摘要：
一、设计策略 对于前两次的电梯，由于电梯的种类单一，我采取的设计是采用的最简单的生产者-消费者模式。即输入线程作为生产者，将新的请求信息传递到调度室中进行处理，调度室再给电梯线程下达命令。在第三次的作业中由于电梯种类的增加，我又增加了一个控制室，用来控制三种调度室，而每一种调度室负责给一种类型的电梯 阅读全文
摘要：
一、程序结构分析 第一次作业：对幂函数表达式进行求导（保证输入合法） 结构： 复杂度分析： 在第一次的作业中，我还没有逃脱面向过程的思维模式，基本上还是一Main到底的代码风格。 可以看到我一共只用了两个类，一个类Nape表示项，它记录了一个项的符号，系数，指数，并实现了求导功能。另一个类则是主类， 阅读全文