摘要：
一、本单元作业的架构设计 本单元中，我对几个关键的UmlElement进行了包装，使它们存储的信息更多，查询功能更全面。同时，基于UmlClass与UmlInterface的行为共性，建立了共同接口UmlClassic。此外，将实现视为特殊的继承，无论是继承还是实现，都把id放到同一个HashSet 阅读全文
摘要：
一、JML理论基础、应用工具链情况 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。诞生于契约性编程思想，JML能够以javadoc注释的方式规范地描述方法和类型的规格，使之成为设计者与开发者之间共同遵守的契约。正如同商业活动中的契约一般，在设 阅读全文
摘要：
感谢刘晟昊同学在我解决疑难问题过程中的耐心帮助。 本单元共有三次作业，分别为： HW1：实现 单个电梯 的运行。 HW2：实现 多个同类型的电梯 的运行。 HW3：实现 多个不同类型、可动态加入的电梯 的运行。 一、design strategy 三次作业均使用类生产者消费者模型和指导书中描述的AL 阅读全文
摘要：
本单元共有三次作业，分别为： HW1:实现对 仅包含简单幂函数 的多项式的导函数求解。 HW2:实现对 包含简单幂函数和简单三角函数 的多项式的导函数求解。 HW3:实现对 包含简单幂函数、简单三角函数、复合函数 的多项式的导函数求解。 一、code analysis 先回顾一下三次作业的UML类图 阅读全文