摘要： 第四单元作业两次架构设计 第一次作业 本次作业中，我们的任务是对UML类图的结构进行梳理分析，将从json文件中解析出来的UML图中的元素建立层级关系，并且基于给定类图完成一些基本的查询任务。 本次作业中我将UmlClass，UMLInterface和UMLOperation类进行二次封装得到了相应 阅读全文

摘要： JML语言理论及工具链 JML语言 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。Java程序中方法的JML规格主要包括三个部分：(1)requires子句定义该方法的前置条件(precondition)；(2)副作用范围限定；(3)ensu 阅读全文

摘要： ##JML语言理论以及工具链 阅读全文

摘要： 第一次电梯作业分析 这次作业我采用了两个线程，一个线程(主线程)用于处理输入，另外一个是电梯线程。 在设计上：(1)电梯类从控制器中获得请求，当没有请求的时候wait()，有请求的时候取出一个请求并处理，因为这次作业不涉及捎带，所以直接按模拟电梯运行。(2)控制器类用于从主类接收请求并将请求传递给电 阅读全文

摘要： 1. 为什么我们需要OOP 这个问题应该是始终贯穿整个OO课程的核心问题之一，在上完每一堂课，写完每一次作业或是写下每一个类和对象之后我们都应该考虑一下这个问题，OOP带给了我们什么好处？其实在每学习一个新的概念的时候，我们都应该去思考它为什么会出现，它给我们带来了哪些好处，比如我们为什么要有汇编语 阅读全文