摘要： 一、第四单元作业设计 （一）第一次作业 作业架构： 可以看到其中有两个类比较臃肿，一个是我自建的保存UmlClass的信息的MyUmlClass类，一个是实现的接口。出现这个情况的原因是，我的逻辑主干架构被分为了构建和查询两个部分，接口实现的类承担起了构建和套皮的职责，而查询的任务我几乎全部交给了M 阅读全文

摘要： 一、JML理论基础以及应用工具链 （一）什么是JML JML全称Java Modeling Language，是一种描述模块规格的语言。 相比于自然语言，JML更注重规格与规范，采用一套范式描述模块的功能，这样一来不容易产生歧义，有利于开发者之间的合作； 二来由于是规范化书写，我们可以通过某种方式让 阅读全文

摘要： 大体思路： 第二单元的作业要求我们实现能将乘客搭载到不同楼层的电梯。 一开始我的设想是完全模拟现实生活的情况，即每个人、每部电梯都设一个线程，电梯采取ALS策略，而人知道电梯的ALS策略，且会作出对自己最有利的选择，让这些线程交互从而达到最优的效果。但是很快我就放弃了这个想法，一来这种想法实现起来很 阅读全文

摘要： 大体思路： 第一单元的三次作业要求都是给定一个表达式，求导函数。从过程上分析，需要以下这些步骤： ·将读入的内容解析成多个对象，并为这些对象寻找一个合适的容器去储存。 ·求导，产生对象，同样需要容器储存 ·输出结果 顺着这个思路，我开始了三次作业 第一次作业 作业初步分析 以下为第一次作业的UML图 阅读全文