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