摘要： 前言 第三單元的作業主要是為了幫助我們了解JML規格的設計和使用，我們需要通過閱讀JML規格說明書以及實際的表述來完成我們的代碼設計。本單元的主題是實現一個社交關系模擬系統，可以通過各類輸入指令來進行數據的增刪查改等交互。不同的人通過社交網絡建立各自的聯系，類似于微信、QQ等軟件，大家可以發送文字消 閱讀全文