摘要: BUAA-面向对象设计与构造 ——第四单元总结(UML) 单元主题 实现UML解析器,使其支持对 UML 类图、状态图和顺序图的分析,可以通过输入相应的指令来进行相关查询,并能根据 UML 规则进行一定的规范性验证。 架构设计 本次作业包含的内容较为繁杂,需要认真阅读指导书,明确作业需求,架构的关键 阅读全文
posted @ 2022-06-27 17:37 Tian_Kuang 阅读(16) 评论(0) 推荐(0) 编辑
摘要: BUAA-面向对象设计与构造 ——第三单元总结(JML) 单元主题 完成简单社交网络关系的模拟,并实现一些信息的查询,待完成的函数都已经通过JML规格给出,完全按照规格中的写法进行函数编写可以完全保证正确性,但于时间效率方面会出现问题。 架构设计 这个单元的架构关键在于建立图模型并实现动态图的维护, 阅读全文
posted @ 2022-06-06 10:43 Tian_Kuang 阅读(12) 评论(0) 推荐(0) 编辑
摘要: 魔幻电梯月终于结束辣! 第二单元主题 第一次作业: 需求: 给出乘客出发楼座,出发楼层,到达楼座,到达楼层,将该乘客送达至目的地 一共有五台电梯,分别对应五个座ABCDE 每个座的电梯在1-10楼间运行,初始都在楼座的1层 限乘人数:6 人 满足上下行,开关门,乘客进出 保证在电梯系统时间不超过系统 阅读全文
posted @ 2022-04-30 15:00 Tian_Kuang 阅读(26) 评论(0) 推荐(1) 编辑
摘要: 呼,第一单元终于结束了 (披荆斩棘的一个月,来写一下三次作业大致的思路与总结吧٩( ╹▿╹ )۶。 第一单元的主题 第一单元的核心主题是表达式的括号展开,在保证去掉括号后所得到的表达式的正确性的同时做必要的化简,减少输出字符串的长度,以获取较好的性能。 对于表达式的正确理解(尤其是对指导书中的形式化 阅读全文
posted @ 2022-03-26 02:35 Tian_Kuang 阅读(37) 评论(0) 推荐(0) 编辑