06 2022 档案

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