2020年5月23日
oo第三单元——社交网络
摘要： 第三单元的作业背景是实现一个社交观关系模拟系统，主要训练了JML的阅读和理解能力，和图的一些数据结构和算法。 JML语言的理论基础 JML相对于实现代码是比较抽象的，规定了方法的前提副作用结果、数据的约束等，相当于搭建了一个框架，我们这个单元做的就是根据规格补充代码，实现规格定义的功能。 方法规格主 阅读全文
posted @ 2020-05-23 21:05 Nebula007 阅读(191) 评论(0) 推荐(0) 编辑