BUAA-OO-第四单元总结

摘要: 第四单元架构设计 本单元总体作业思路是读取识别每个umlelement,然后构建对应的类图、顺序图、状态图的uml树状结构,根据构建好的树状结构进行一些检查和查询工作,涉及到一些树的遍历和搜索算法。难点在于准确理解uml类图、顺序图、状态图的结构(第四单元的手册中的三个树状图是很好的参考),以及其下 阅读全文
posted @ 2022-06-27 13:03 lxyskyler 阅读(14) 评论(0) 推荐(0) 编辑

BUAA-OO-第三单元总结

摘要: 一、需求分析 1、第一次作业 通过实现官方的Person、Network、Group接口来实现自己的Person、Network、Group类(根据官方源码中的JML规格),实现相关的异常类。主要是理解isCircle和queryBlockSum两个函数的JML规格的含义,转化为一种自然语言的理解, 阅读全文
posted @ 2022-06-04 19:24 lxyskyler 阅读(11) 评论(1) 推荐(0) 编辑

BUAA-OO-第二单元总结

摘要: 一、需求分析 第一次作业: 模拟一个多线程实时电梯系统,有A-E五个楼座,每个楼座一部电梯,乘客输入电梯请求,电梯需要在规定时间内按照规则完成这些请求。 第二次作业: 引入横向电梯和纵向电梯的分类,从而有电梯请求的不同,新增增加电梯请求。 第三次作业: 电梯属性可配置,电梯到达位置可配置,电梯请求的 阅读全文
posted @ 2022-05-01 00:28 lxyskyler 阅读(13) 评论(0) 推荐(0) 编辑

BUAA-OO-第一单元总结

摘要: BUAA-OO-第一单元总结 一、需求分析 1.0 形式化表述 表达式 → 空白项 [加减 空白项] 项 空白项 | 表达式 加减 空白项 项 空白项 项 → [加减 空白项] 因子 | 项 空白项 ' * ' 空白项 因子 因子 → 变量因子 | 常数因子 | 表达式因子 变量因子 → 幂函数 | 阅读全文
posted @ 2022-03-26 01:04 lxyskyler 阅读(22) 评论(0) 推荐(0) 编辑