摘要：
BUAA_2022_OO_Unit4 总结 一、总结本单元作业的架构设计 本单元实现了一个UML解析器，第一次作业对类图进行建模，实现查询的接口；第二次作业对顺序图、状态图进行建模，同样实现查询的接口；第三次作业则对一些规则进行检查。 官方代码中包括把mdj的输入转化成建模好的UML图中元素，我们为 阅读全文
摘要：
BUAA_2022_OO_Unit3总结 一、任务概述 Java建模语言（JML）是一种行为接口规范语言，可用于指定Java模块的行为。 基于JML规格来实现程序，能够形式化验证程序的正确性，在检查各个模块时，也可以通过本模块的约束进行检查和验证。 第三单元的三次作业均为基于JML语言来设计java 阅读全文
摘要：
OO Unit2总结 题目概述 本单元作业任务为实现一个模拟多线程的电梯调度系统。 HW5为迭代的基础：多部纵向非换乘电梯。具体为基于一个类似北京航空航天大学新主楼的大楼，大楼有 A,B,C,D,E五个座，每个楼座有对应的一台电梯，可以在楼座内 1-10 层之间运行。系统从标准输入中输入请求信息，程 阅读全文
摘要：
Unit1 综述 第一单元的任务主要是进行包含幂运算的表达式化简，在随后几次作业的迭代开发后可以实现支持幂函数，括号嵌套，有限个自定义函数（及其嵌套），三角函数与求和函数。主体架构采用递归下降算法拆分表达式为Expr（表达式）、Term（项）、Factor（因子），后对于拆分好的字符串进行计算、化简 阅读全文