会员
周边
捐助
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
flyingans
博客园
首页
新随笔
联系
订阅
管理
2022年6月3日
BUAA-OO-Unit3 总结
摘要: BUAA-OO-Unit3 总结 (0) 写在前面 关于JML 围绕着本单元的一个核心的话题就是JML语言的大致理解,我觉得JML语言的要点是提出需求的一方和编写程序的一方之间达成的约定,而这种约定相比于自然语言,很少出现二义性,因此通过JML语言,课程组可以非常方便清晰地向我们传达作业的需求。 但
阅读全文
posted @ 2022-06-03 23:08 FlyingAns
阅读(92)
评论(1)
推荐(0)
编辑
公告