会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
zhenlee-blog
博客园
首页
新随笔
联系
订阅
管理
2022年6月5日
BUAA_OO_第三单元作业总结
摘要: BUAA_OO_第三单元作业总结 简述 本单元作业的关键之处,还是在于训练我们对于JML规格语言的理解,因而,对于我而言,本单元作业的设计构造其实并不难,难点还是在于如何利用JML规格提高代码质量,提高查找效率。 第一次作业 UML 性能问题和修复情况 在本次作业中,比较吃性能的是query_blo
阅读全文
posted @ 2022-06-05 21:56 Zhenlee
阅读(14)
评论(0)
推荐(0)
编辑
公告