会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
Ha_na_se
博客园
首页
新随笔
联系
订阅
管理
2020年5月23日
oo第三单元总结
摘要: 一、JML理论基础及工具链分析 (一)JML理论基础 1.简介 JML(JAVA Modeling Language, Java建模语言),是对JAVA代码规格的设计。其主要作用是在编写类和方法之前规定好其行为,包括方法的输入数据要求、返回值以及可能会改变的数据。这种建模语言的优势在于可以更加精确的
阅读全文
posted @ 2020-05-23 16:30 MadokaHomura
阅读(165)
评论(0)
推荐(0)
编辑
公告