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