会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
Limbo's Blog
博客园
首页
新随笔
联系
订阅
管理
2020年5月21日
OO Unit 3 Summary
摘要: JML理论基础与工具链 JML是基于java的规格设计语言,架构设计者将类中数据、方法想要达到的目的通过形式化的语言加以叙述,实现者根据无二义性的形式语言完成算法实现,实现方法与规格叙述可以完全不同,只需满足所需结果即可。JML的核心即在于“抽象”,不同于具体化的java代码实现。 JML有两种主要
阅读全文
posted @ 2020-05-21 21:52 -Limbo-
阅读(188)
评论(0)
推荐(0)
编辑
公告