摘要:
BUAA_OO_2022 Unit4 总结 一、第四单元架构设计 本单元依旧是开始时就已经拥有了大致的架构,大框架就是类图、状态图和顺序图。 本次的输入是已经处理好的数据,这非常的便利但同时也带来了一些困难,便利就是并不需要处理数据了,只需要把相对应的关系构建好,把相应的数据集中在一起就可以考虑实现 阅读全文
摘要:
BUAA_OO_2022 Unit3 总结 一、JML与测试 JML是对Java程序进行规格化设计的一种表示语言,它可以消除二义性,帮助我们更好的完成代码。在经历了三次作业后,我对其有了更深的了解和认知。首先就是JML语言相比自然语言确实更加严谨,但一个关键的问题在于,写者要考虑全面通过JML限定完 阅读全文