会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
duckingss
博客园
首页
新随笔
联系
订阅
管理
2020年5月20日
OO第三单元小结
摘要: [TOC] JML理论基础 jml是基于一阶谓词逻辑来对类进行形式化描述的语言,jml语言通过表达式、方法规格、类规格三个部分来进行描述。其中表达式是在java语言的基础上扩展了非修改类型的表达式;方法规格中包括了前置条件、后置条件、副作用作用范围三个部分;类规格包含不变式和状态变化约束两个部分。j
阅读全文
posted @ 2020-05-20 22:06 duckingss
阅读(149)
评论(0)
推荐(0)
编辑
公告