2022年6月2日
OO2022第三单元个人总结
摘要： OO2022第三单元个人总结 本单元作业的目标是是实现一个社交关系模拟系统，可以通过输入指令的形式来实现一个以用户为节点的社交森林，训练目的主要为深入理解JML并实现具有一定复杂度的JML方法。 设计策略 ​关于JML实现的过程，大致分为四个部分，一是根据JML判断该段代码块中可能出现的函数行为，并 阅读全文
posted @ 2022-06-02 09:32 Horatio201 阅读(27) 评论(0) 推荐(0) 编辑