摘要： OO第四单元总结 前三次框架 前三次框架由于第一二次做的比较顺，基本没有牵扯到重构现象，都是接着上次去写，所以这次主要着重第三次作业分析。 主要是对通过对已经存在着UmlElement的一个子类，并对其进行扩展，增加它的方法，并且在UmlGeneralInteraction进行对Umlelement 阅读全文

摘要： OO第三次作业总结 梳理JML语言的理论基础、应用工具链情况 JML语言有点类似于离散数学，用规范化的方式去描述类的属性以及方法。 存在形式 一般都是以 这两种形式存在 方法规格 方法规格是描述一个方法的，主要可以分为 ,`assignable ensures`三个部分。 是保证方法的前置条件，也就 阅读全文

摘要： OO第二单元总结 设计策略 类：主要有 主调用器， 电梯调度器， 电梯类，主要是利用方法确定电梯运动、开门、关门等方法， 等待队伍类，实例化为电梯内的队列和电梯外的队列，完成了进出操作。 将输出进行安全的封装，可以直接调用进行输出。 共享对象： 受`dispatcher addPerson lift 阅读全文

摘要： OO第一单元作业总结 OO第一单元作业之前有大概了解到什么问题，也听说重构的困难，所以每一次设计都会花费2-3天（基本最后周四才正式开始码代码）去设计，但是感觉用处不大。经常写着写着就忘记自己之前是怎么设计的，而且下笔的感觉都是在面向过程（虽然在设计的时候感觉自己的确是面向对象）。我认为第一单元主要 阅读全文