会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
BUAA-Dreamer
博客园
首页
新随笔
联系
订阅
管理
2021年5月31日
OO-Unit3-总结
摘要: OO-Unit3-总结 1.JML规格设计策略 由于JML的规格描述较复杂,本单元的JML规格设计我往往采用由简入难的迭代开发策略。 即一开始不着急开发出最为复杂,性能最好的代码,先严格按照JML描述写一遍代码,实现基本功能。比如类似public instance model non_null Pe
阅读全文
posted @ 2021-05-31 21:24 BUAADreamer
阅读(122)
评论(0)
推荐(0)
编辑
公告