会员
周边
捐助
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
locnxe
博客园
首页
新随笔
联系
订阅
管理
2022年6月3日
BUAA_OO_Unit3_总结
摘要: 一、JML及数据构造 在本单元的学习中,我们首次接触到了JML语言 (Java Modeling Language),即java建模语言。它以一种数学语言的方式,明确了所需求的规格,消除了自然语言的歧义性。它通过前置条件、后置条件、作用范围等来对每个所需要的方法进行限制和描述,以一种不变的格式和状态
阅读全文
posted @ 2022-06-03 01:58 locnxe
阅读(68)
评论(3)
推荐(2)
编辑
公告
站长工具: