会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
whymi
博客园
首页
新随笔
联系
管理
订阅
2019年5月21日
OO第三单元总结性博客
摘要: OO第三单元总结性博客 JML理论基础与工具链 JML理论基础 JML是一种将java程序规格化表达的一种语言,其描述的是行为的规格,而非具体的代码实现。 通过对程序开展规格化设计,当然前提是使用JML这种规范化的语言,可以使得代码具有严谨的逻辑,因为代码的实现一定按照规格去实现,而规格是逻辑严谨的
阅读全文
posted @ 2019-05-21 10:56 whymi
阅读(130)
评论(0)
推荐(0)
编辑
公告