摘要： 前言 第三单元的作业主要是为了帮助我们了解JML规格的设计和使用，我们需要通过阅读JML规格说明书以及实际的表述来完成我们的代码设计。本单元的主题是实现一个社交关系模拟系统，可以通过各类输入指令来进行数据的增删查改等交互。不同的人通过社交网络建立各自的联系，类似于微信、QQ等软件，大家可以发送文字消 阅读全文