会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
aptx1231
博客园
首页
新随笔
联系
订阅
管理
2019年5月21日
OO第三次博客作业
摘要: OO第三次博客作业 三次作业内容:JML相关,逐步进阶。 (1)梳理 语言的理论基础、应用工具链情况 理论基础 JML是一种为 Java量身定做的 形式化的行为接口规范语言 ( BISL) , 用来规范 Java程序模块 (如类和接口 )的行为及详细设计决策。它沿袭了 BISL良好定义的形式语义,
阅读全文
posted @ 2019-05-21 17:17 aptx1231
阅读(267)
评论(0)
推荐(0)
编辑
公告