会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
ybw6
博客园
首页
新随笔
联系
订阅
管理
2019年5月22日
OO课第三单元总结
摘要: 一、梳理JML语言的理论基础 (1)理论基础 JMl的出现很大程度上一为了行为接口的规范化,用这种语言来指定特定模块的特定功能。JML的核心部分分为三个部分:前置条件(requires)、后置条件(ensures)、副作用(assignable)。通过JML的使用,程序员可以轻松的描述一个方法的与其
阅读全文
posted @ 2019-05-22 21:02 ybw6
阅读(145)
评论(0)
推荐(0)
编辑
公告