摘要： 第四单元总结及课程总结 第四单元架构 构建 因为前两次作业是不断增量的，所以我就拿第二次作业来说。我建立了自己的类Myclass、Myinter、Myinteraction、Myop、Mystate、MyUmlGeneralInteraction分别用于存放对应的UmlElement以及与关系相关的 阅读全文

摘要： 北航oo第三单元总结 基于JML设计总结 JML主要由方法规格和类型规格组成。 方法规格包括前置条件、后置条件和副作用范围的限定。前置条件可以用来区分该方法不同的行为（正常或异常），后置条件就是这个方法执行完后的结果，副作用范围限定规定了这个方法运行的过程中哪些元素可以被改变。 类型规格分为不变式和 阅读全文

摘要： 北航oo第二单元总结 第一次作业 1.作业要求 本次作业要求实现单部ALS电梯，模拟电梯的上下行、开关门以及乘客的进出，可以采用任意的稍带策略。 2.实现方法 概述 建立了MainClass、Channel、Elevator1、Queue四个模块。MainClass用于创建输入进程和电梯进程。Cha 阅读全文

摘要： 2021北航oo第一单元（表达式求导）总结 1：第一次作业 1.1：题目分析 第一次作业为简单多项式导函数的求解。多项式是由加法和减法运算符连接若干项组成。项由乘法运算符连接若干因子组成。因子分为常数因子和变量因子（幂函数）。 1.2：实现方案 第一次作业我建立了Addderi和Multideri两 阅读全文