BUAA-OO-第四单元总结

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

BUAA-OO-第三单元总结

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

BUAA-OO-第二单元总结

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

BUAA-OO-第一单元总结

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