摘要： 【面向对象】学期总结 第四单元作业架构设计 第一次作业 架构设计： ​ uml 类图提供了一个描述类及其关系的视图。 顶层为 ，`UMLInterface UMLAssociation UMLGeneralization`， 。下一层为 ， , ， 。 ​ 根据uml类图的层次结构，将模型抽象为 , 阅读全文

摘要： 【面向对象】第三单元总结 JML规格设计 [TOC] 一、梳理JML语言的理论基础、应用工具链情况 面向对象分析和设计的原则之一就是应当尽可能地把过程设想往后推。我们大多数人只在实现方法之前遵守这一规则。一旦确定了类及其接口并该开始实现方法时，我们就转向了过程设想。和大多数语言一样，编写 Java 阅读全文

摘要： 【OO】第二单元作业总结-电梯系列 一、三次作业设计策略 （1）第一次作业 第一次作业采用傻瓜式单电梯调度策略，采用tray类（托盘模式）进行生产者（加入请求）与消费者（电梯处理请求）的交互，使用wait/notify进行线程等待与唤醒，防止死锁发生。但实际上只是采用了生产者与消费者必须交替进行的策 阅读全文

摘要： 【OO】第一单元作业-表达式求导总结分析 第一次作业 前言：作为之前完全没有接触过“面向对象”设计理念的新手小白，我的第一次作业直接采用了“面向过程”的设计，将C语言式的代码“翻译”成了java语言，整体功能难以扩展。 (1)基于度量来分析自己的程序结构 度量分析：在main方法中，我的基本复杂度， 阅读全文