会员
周边
新闻
博问
闪存
众包
赞助商
Chat2DB
所有博客
当前博客
我的博客
我的园子
账号设置
会员中心
简洁模式
...
退出登录
注册
登录
polaris123
博客园
首页
新随笔
联系
订阅
管理
2021年5月31日
BUAA_OO_UNIT3_单元总结
摘要: 本单元要求我们基于给出的JML规格实现一个社交关系网络,并可以通过各种指令实现数据的增删改查。 一、实现规格所采取的设计策略 相较于前两个单元对于架构设计的整体性及可扩展性的考察,本单元对于需要实现的类都给出了相应的抽象类或接口,类中需要实现的方法也都给出了JML描述,相当于已经定好了整体框架,我们
阅读全文
posted @ 2021-05-31 20:29 polaris123
阅读(60)
评论(0)
推荐(0)
公告