2022年6月5日
BUAA_OO_第三单元作业总结
摘要： BUAA_OO_第三单元作业总结 简述 本单元作业的关键之处，还是在于训练我们对于JML规格语言的理解，因而，对于我而言，本单元作业的设计构造其实并不难，难点还是在于如何利用JML规格提高代码质量，提高查找效率。 第一次作业 UML 性能问题和修复情况 在本次作业中，比较吃性能的是query_blo 阅读全文
posted @ 2022-06-05 21:56 Zhenlee 阅读(17) 评论(0) 推荐(0) 编辑