摘要：BUAA-OO-Unit4总结及课程总结 一、总结第四单元作业架构设计 第四单元的作业主要是实现UML类图、顺序图、状态图的解析，需要理清层次，不需要特别关心架构方面，总体难度不大，但需要注意细节和对UML模型的理解。 项目结构 src ├─element │ ├─classmodel │ | ├─ 阅读全文

摘要：BUAA-OO-Unit3总结 本单元的主要内容是契约式编程，只需要根据官方提供的jml来实现对应的接口来完成接口中定义的函数，而不需要花费精力在架构的设计上。 jml语言是利用前置条件、后置条件、不变式等语法描述Java程序的数据、方法、类的规格。jml只关注方法的执行效果和对其他产生的影响而不需 阅读全文