摘要：
OO-Unit4小结&课程总结 终于迎来了OO的终章——UML解析器编写。今天还刚好是考完航概的烤漆最后一天，在这样的日子里来写这篇博客自然要放松点啦，这篇就把这学期的一些体会感悟都好好记录一下，算是对艰苦奋战“昆仑课程”一学期的完美留念。 本单元作业架构设计 本单元需要对各个UML类进行解析建模。 阅读全文
摘要：
OO-Unit3-总结 1.JML规格设计策略 由于JML的规格描述较复杂，本单元的JML规格设计我往往采用由简入难的迭代开发策略。 即一开始不着急开发出最为复杂，性能最好的代码，先严格按照JML描述写一遍代码，实现基本功能。比如类似public instance model non_null Pe 阅读全文
摘要：
OO-Unit2-电梯调度-总结 一、程序结构分析 第五次作业 代码可视化与数据统计 程序类图 由于本次只有一台电梯，因此没有使用调度器，而是只设计了一个策略类Scheduler类来实现每到一个楼层根据当前等待的乘客和电梯中的乘客请求来确定目标楼层的功能。而电梯类和输入线程类则是本次作业的两个线程类 阅读全文
摘要：
本单元中，有过因为疏忽大意出现重大错误导致被hack惨的痛苦经历，也有未被hack成功的喜悦体验，下面就来对这一单元的内容做一下梳理和回顾。博客园的模板比较丑，欢迎大家访问我的个人博客网站查看同样的内容： https://buaadreamer.top/2021/03/25/OO-Unit1-%E5 阅读全文