会员
周边
捐助
新闻
博问
闪存
赞助商
Chat2DB
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
Lebway
博客园
首页
新随笔
联系
订阅
管理
2019年5月22日
面向对象的程序设计-模块三课程总结
摘要: JML语言相关 在本阶段的OO实验中,我们首次接触到了JML语言,也帮助我们学习了设计和实现的一般流程,将设计时的架构和实现时的细节分离开来,使具体需求更加明确,也降低了错误出现的概率。 JML语言的理论基础 JML语言(Java Modeling Language)用于描述程序中接口的规格,从而规
阅读全文
posted @ 2019-05-22 12:39 Lebway
阅读(206)
评论(0)
推荐(0)
编辑
公告