会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
hujin的blog
博客园
首页
新随笔
联系
订阅
管理
2020年5月23日
BUAAOO Unit3 JML形式化方法
摘要: JML(Java modeling language)是一种利用形式化描述对数据、方法进行约束的语言,包含数据规格、方法规格、迭代器规格。通过JML的形式化描述,建立功能、开发者、程序之间的契约,可以对程序扩展时的稳定性、测试时的全面性产生较大的提高。
阅读全文
posted @ 2020-05-23 21:59 hu_jin
阅读(293)
评论(1)
推荐(0)
编辑
公告