会员
周边
新闻
博问
AI培训
云市场
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
Horatio201
博客园
首页
新随笔
联系
订阅
管理
2022年6月2日
OO2022第三单元个人总结
摘要: OO2022第三单元个人总结 本单元作业的目标是是实现一个社交关系模拟系统,可以通过输入指令的形式来实现一个以用户为节点的社交森林,训练目的主要为深入理解JML并实现具有一定复杂度的JML方法。 设计策略 关于JML实现的过程,大致分为四个部分,一是根据JML判断该段代码块中可能出现的函数行为,并
阅读全文
posted @ 2022-06-02 09:32 Horatio201
阅读(27)
评论(0)
推荐(0)
编辑
公告