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