会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
Loading
Barque
博客园
首页
新随笔
联系
订阅
管理
2022年6月4日
BUAA-OO-Unit3总结
摘要: JML规格分析 本单元存在四大类:Network,Group,Person,Message。它们的从属等级是层层递降的。 直接由规格可以得到一个架构:Network管理Group,Group组织Person;由Network负责Message的分发。这种架构与现实中的社交网络相吻合。 测试数据的准备
阅读全文
posted @ 2022-06-04 23:43 Barque
阅读(20)
评论(0)
推荐(0)
编辑
公告