摘要：
第四单元兼学期末总结 UML相关 一 总结本单元两次作业的架构设计 第一次主要是支持类图查询, 我采用的最外层数据机构是构建类森林. 确切来说就是, 类和接口作为根节点, 连接下层的属性和方法, 方法下层连接参数和返回值. 每层节点都要记录自身的所有相关信息. 诸如自身的属性和方法, 来自父类的属性 阅读全文
摘要：
第三单元总结 JML相关 一 梳理JML语言的理论基础、应用工具链情况 JML是一种形式化的, 面向JAVA的行为接口规格语言( behavioral interface specification language) JML允许在规格中混合使用Java语法成分和JML引入的语法成分. JML主要是 阅读全文
摘要：
第二单元总结 作业总结 一 程序设计策略 这三次作业我采取的设计策略都差不多: 电梯 输入 调度 线程架构 1. 输入线程负责获取并解析输入的请求, 并将解析之后的结果交给调度器 2. 调度线程负责将请求分发给每个电梯 3. 电梯线程负责将调度器交给自己的请求完成 具体而言, 第一次输入不需要解析, 阅读全文
摘要：
第一单元总结 作业总结 一 程序结构分析 因为在此之前并没有接触过 java 语言或者是与之相似的语言, 而不用说 OO 的概念, 所以一切都是全新的. 开始的时候脑子并没有任何面向对象的概念, 类这个概念仅仅建立在 C 语言的某个 .c 文件之上, 简单地认为 java 中的类就是 C 中的 阅读全文