会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
continuo
博客园
首页
新随笔
联系
订阅
管理
2019年5月22日
第三单元JML规格总结
摘要: 第三单元学习了JML规格描述语言,根据JML的规定编写对应的方法,同时也复习了数据结构的知识,并且也考察了程序的时间复杂度。 一.JML语言 理论基础 JML全名为Java Modeling Language(Java建模语言),在Java代码中增加一些不影响程序正常编译运行的符号用来标识一个方法是
阅读全文
posted @ 2019-05-22 08:25 continho
阅读(311)
评论(0)
推荐(0)
编辑