摘要： OO第四单元小结暨2019春季学期OO课程总结 目录： OO第四单元总结 一、总结本单元两次作业的架构设计 第一次作业 第二次作业 学期最终总结 二、四个单元中架构设计及OO方法理解 2.1 第一单元作业 2.2 第二单元作业 2.3 第三单元作业 2.4 第四单元作业 三、四个单元中测试理解与实践 阅读全文

摘要：  第三次博客作业 一、梳理JML语言的理论基础、应用工具链情况 JML语言的理论基础： JML为说明性的描述行为引入了许多构造。这些构造包括模型字段、量词、断言的可见度范围、前提条件、后置条件、不变量、合同继承以及正常行为与异常行为的规范。 将注释添加到Java代码中，这样我们就可以确定方法所执行 阅读全文

摘要： 第二单元作业总结 1.调度策略 ①.傻瓜电梯 每次电梯只运送一个人，每一个请求处理完毕时再接入下一个请求。 ②. ALS电梯 look算法。电梯在上下运行，并且发现电梯所移动的方向上不再有请求时立即改变运行方向。每到达一个楼层时判断是否有可捎带的请求。 ③.多电梯 先将请求分为两个可执行请求。处理方 阅读全文

摘要： I used to be enamored of object-oriented programming. I'm now finding myself leaning toward believing that it is a plot designed to destroy joy. Eric 阅读全文