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