摘要： 1、未能通过作业的原因 第一单元第三次作业未能通过，原因在于前两次作业的架构极差，导致第三次需要完全重构。而自己对于Java编程不够熟悉，面对重构感到无从下手，因此未能在规定时间内完成作业。 第二单元第一次作业未能通过，原因在于对于多线程理解不足，未能串起整体代码的架构逻辑，导致最终代码运行不出结果 阅读全文

摘要： （1）总结本单元三次作业的架构设计 第一次作业架构如下: 由于思维定式，将所有类和方法放在同一类中，结果效能极差，不利于debug。 后面两次作业，由于身体原因和其他学习关系，均未能完成程序开发。 （2）总结自己在四个单元中架构设计及OO方法理解的演进 第一单元：多项式求导，在这个单元里，我更多的是 阅读全文

摘要： 一、梳理JML相关内容 JML是一种形式化的、面向JAVA的行为接口规格语言。JML允许在规格中混合使用Java语法成分和JML引入的语法成分、拥有坚实的理论基础、使用Javadoc的注释方式、且已经拥有了相应的工具链，可以自动识别和分析处理JML规格。JML的相关工具链包括OpenJML、JMLU 阅读全文

摘要： 第二单元oo作业总结 第一次作业 1、设计策略 将电梯与请求输入作为两个线程，在调用时直接将请求队列作为二者的共享对象，减少了线程数。在电梯调度上，可以使用先来先服务算法，每到一层判断是否可捎带，满足条件就捎带。 2、基于度量分析 （1）作业类图如下 （2）依赖关系如下 其中，Requestqueu 阅读全文

摘要： 1、第一次作业 作业类图如下： 复杂度分析如下： 在这一次作业中，我分别建立单项式类用于分割出系数和指数、多项式类用于合并同类项、主类用于分析表达式和输出结果。在复杂度分析中，分析系数（AnalyseCoe）这一方法复杂度较高。原因是它多次用到主类正则分析的结果。这次程序相互间耦合性过高，应提高各个 阅读全文