摘要：第三单元总结 写在前面 本单元主要是对JML规格的学习，要求能够简单书写JML，并能够根据JML完成代码的编写。在本单元中，我们通过JML规格构造了一个简单的人际关系网络。相较于前两单元来说，本单元的任务就比较容易了，按照规格所规定的行为去做，只要足够细心，就能够保证程序的正确性。所以在本单元，对于 阅读全文