会员
周边
众包
新闻
博问
闪存
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
phoebeabbey
博客园
|
首页
|
新随笔
|
新文章
|
联系
|
订阅
|
管理
2019年5月22日
OO第三单元总结——JML
摘要: 一、JML 1. 简介 JML是为Java专门设计的一个行为接口语言,使用了前置条件,后置条件和断言三者来描述方法的功能,并通过这些规范审查程序并差错。JML是为程序员而设计的,它描述方法的代码以注释的方式出现在Java源程序中,与源程序有机的综合在一起,一定程度的增加了代码的模块化,更方便程序员编
阅读全文
posted @ 2019-05-22 21:43 phoebeabbey
阅读(268)
评论(0)
推荐(0)
编辑
公告