摘要：
1. 第四单元：StarUml文件解析 本单元采用了图模型解析UML。 UML文件可以抽象为图、子图、边的逻辑结构。 在实现中，图的节点包括类、接口、属性，子图包括状态图、顺序图等。 采用了三次遍历UML元素的方法建图，第一遍遍历建点，第二、三次遍历设置属性、连边，实现图对象的初始化。这里借鉴了一些 阅读全文
摘要：
JML（Java modeling language）是一种利用形式化描述对数据、方法进行约束的语言，包含数据规格、方法规格、迭代器规格。通过JML的形式化描述，建立功能、开发者、程序之间的契约，可以对程序扩展时的稳定性、测试时的全面性产生较大的提高。 阅读全文
摘要：
这次作业完成了一个开环可选层电梯调度系统。第二次迭代加入了容量限制、多部电梯，第三次迭代加入了电梯楼层分工、增添电梯请求。 1. 系统架构 MainClass用于对各个子系统的组装，发送请求至Schedule Schedule用于接收来自MainClass、Executor的信息，更新状态 Exec 阅读全文
摘要：
第一次作业：幂函数表达式 程序结构 读取方式：自动机 代码结构： PolyParser：以自动机的方式读取、创建Item Item：记录系数+指数，实现add方法完成化简，实现求导方法 PolyItem：使用HashMap记录表达式，键值为指数，实现求导方法 复杂度分析 主要衡量指标： Essent 阅读全文