会员
周边
捐助
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
lalala007
博客园
首页
新随笔
联系
订阅
管理
2019年5月22日
oo第三单元博客
摘要: OO第三单元博客 一、JML 在第三单元的面向对象课程中我们第一次接触了JML语言以及基于JML规范的规格化设计。在之前一系列关于面向对象思想的学习认识中,我们知道了Java是一种面向对象的语言,面向对象思想的一个重要原则就是将过程性的思考尽可能地延迟。而作为Java建模语言,JML给予了我们一种全
阅读全文
posted @ 2019-05-22 09:46 lalala007
阅读(150)
评论(0)
推荐(0)
编辑
公告