Loading

摘要: JML规格分析 本单元存在四大类:Network,Group,Person,Message。它们的从属等级是层层递降的。 直接由规格可以得到一个架构:Network管理Group,Group组织Person;由Network负责Message的分发。这种架构与现实中的社交网络相吻合。 测试数据的准备 阅读全文
posted @ 2022-06-04 23:43 Barque 阅读(14) 评论(0) 推荐(0) 编辑