摘要: 第四单元总结&&OO总结 18373599 崔建彬 一、概述 本单元是OO学习的最后一单元,重点学习了UML类图、状态图、时序图相关内容。其中作业要求为:补充函数,完成对UML图的解析。共分三次作业,前两次分别考察对类图的解析和时序图&状态图的解析。最后一次作业是对UML图合法性的检查。整个单元涉及 阅读全文
posted @ 2020-06-14 13:29 cjbbb 阅读(398) 评论(3) 推荐(4) 编辑
摘要: OO第三单元总结 18373599 崔建彬 一、概述 第三单元主要完成内容为根据jml给定规格完成代码。整体而言较前两单元难度有下降,主要难点在于jml理解和算法优化(数据结构复习)。比较幸运的是我在这个单元的强测和互测中,均未发现bug。本问剩余内容也将从JML语言概述、部署SMT Solver进 阅读全文
posted @ 2020-05-20 13:56 cjbbb 阅读(275) 评论(2) 推荐(0) 编辑
摘要: OO第二单元总结 18373599 崔建彬 一、概述 本单元作业主要是训练多线程编程能力。考察方案为调度一部或多部电梯完成任务。总体感受而言,比上次单元要相对容易。过度更为平整。 我认为更为容易的原因有下:1.代码思维逻辑要求降低,更多的是训练多线程能力。2.一开始对架构思考较多,后续扩展性较好,不 阅读全文
posted @ 2020-04-17 13:48 cjbbb 阅读(208) 评论(4) 推荐(1) 编辑
摘要: BUAA OO 第一单元总结 18373599 崔建彬 ### 1 基于度量分析自己程序结构 HW1 uml 复杂度 统计长度 可以看到第一次程序仍然是面向过程编程。基本属于一main到底类型。复杂度、耦合度较高。 可能也是因为第一次作业难度较低,仅面向过程:处理输入,处理求导,处理输出这样的思维就 阅读全文
posted @ 2020-03-19 13:47 cjbbb 阅读(222) 评论(2) 推荐(0) 编辑