摘要：
2020北航面向对象第四单元总结 第四单元架构设计 上图是第四单元第一次作业的架构，在要完成的主类当中管理着类与接口的管理元素，提供了需要完成的查询方法，其余的方法均为构造方法的附加方法，分别添加类之间的关系、实现、继承，为类添加属性，将参数和操作组合加入。我在第一次作业当中分别定义了ClassMa 阅读全文
摘要：
2020北航面向对象第三单元总结 JML语言基础及工具链应用 什么是JML 官方 ：JML是一种形式化的、面向JAVA的行为接口规格语言，使用Javadoc的注释方式 个人理解 ：我认为的JML就像是一份完整的计划书，用户的需求可能有很多，用户很多情况下也只有模糊的需求，对于边界等更不是用户需要考虑 阅读全文
摘要：
2020北航面向对象第二单元总结 设计策略分析 在本单元中的三次作业均采取了相同的策略，架构基本相同，采用生产者 消费者模式，只是在电梯的具体运行和任务分配上略有不同。核心类为Request, Mission, Elevator。 Request负责接受分解请求并加入到Mission的任务序列中，是 阅读全文
摘要：
2020北航面向对象第一单元总结 第一次作业 第一次的作业而言相对简单，只需要对输入的字符串进行解构、保存、求导然后输出四个步骤就完成了，但就我 个人而言，pre进行的预习活动远不能让我对java的基础操作驾轻就熟，因此在第一次作业上远谈不上面向对象的思想，于我而言更像是去熟悉工具的基础上朝着面向对 阅读全文