摘要： 第四单元总结 一、UML简介 这一单元的核心内容是UML建模语言的学习，通过理解UML语言编写类解析器。 UML，即统一建模语言，是通过一种开放的方式，用于说明、可视化、构建以及编写一个正在开发的、面向对象的、软件密集系统的制品的开放方法。经过事实证明，在对复杂系统进行建模方面，以及软件层次架构中， 阅读全文

摘要： OO第三单元的作业已经结束，针对作业中出现的问题和个人设计的思路做一些总结 设计策略 本单元作业的内容是根据给定的JML规格实现一个可以实现个人操作，好友关系操作，群组操作，收发消息等等的社交网络。虽然看起来根据JML实现代码的内容并不复杂，只是单纯地根据所给定的规格设计d代码即可，但是本单元通过测 阅读全文

摘要： 第五次作业 第五次作业是单个电梯的调度。要求设计捎带算法，通过多线程的设计思路构建一个在指定楼层间实时运行的电梯。我除主类外设置了三个类:电梯类、控制器类、请求（读取）类，其中后两个类继承Thread，Scheduler类和Elevator类负责生成调度算法以监控电梯运行。其中Elevator类还搭 阅读全文

摘要： 经过三次OO作业之后，OO作业的第一单元功能部分告一段落。在这几次作业的完成过程中有了一定的收获。 一、第一次作业 1.架构分析 本次作业需要完成的任务是简单多项式函数导数的求解。表达式仅仅支持简单的幂函数项的加减法运算，同时输入保证规范性，即不会出现错误类型的数据。整体要求上比较初步，实现起来也较 阅读全文

摘要： OO第四单元总结 一、UML简介 这一单元的核心内容是UML建模语言的学习，通过理解UML语言编写类解析器。 UML，即统一建模语言，是通过一种开放的方式，用于说明、可视化、构建以及编写一个正在开发的、面向对象的、软件密集系统的制品的开放方法。经过事实证明，在对复杂系统进行建模方面，以及软件层次架构 阅读全文

摘要： 一、JML语言 1.理论基础 JML(Java Modeling language)是用于程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言(Behavior Interface Specification Language,BISL)，基于Larch方法构建。BISL提供了对方法和类型 阅读全文

摘要： 设计结构 第五次作业 第五次作业是单个电梯的调度。要求设计捎带算法，通过多线程的设计思路构建一个在指定楼层间实时运行的电梯。我除主类外设置了三个类:电梯类、控制器类、请求（读取）类，其中后两个类继承Thread，Scheduler类和Elevator类负责生成调度算法以监控电梯运行。其中Elevat 阅读全文

摘要： 经过三次OO作业之后，OO作业的第一单元功能部分告一段落。在这几次作业的完成过程中有了一定的收获。 一、第一次作业 1.架构分析 本次作业需要完成的任务是简单多项式函数导数的求解。表达式仅仅支持简单的幂函数项的加减法运算，同时输入保证规范性，即不会出现错误类型的数据。整体要求上比较初步，实现起来也较 阅读全文

摘要： 一、JML语言及工具 JML是java modeling language的缩写，用于对Java程序进行规格化设计的一种表示语言，可以用来描述一段代码的具体行为，比如前置条件、副作用、后置条件等。通过JML的相关支持工具，可以检查规格是否合乎规范、可以基于规格自动构造测试用例，同时可使用SMT So 阅读全文

摘要： 第一次作业： 第一次作业较为简单，并没有涉及捎带策略，因此在涉及的过程中并没有使用调度器对电梯运行进行调度。因此在涉及的过程中，除了main类以外我设计了四个类，queue负责输入以及对于输入内容的储存，Elevator类为电梯类，在接到来自queue的任务后处理任务，对人进行接送。trans类储存 阅读全文