摘要：##一、实现规格所采取的设计策略 本单元的主要内容为JML规格的实现，在我们的官方包中给了我们需要实现类及函数的JML需求，通过本单元的学习，我对于JML语言格式逐渐熟悉，可以通过JML的语言格式实现自己的类、函数以及异常处理方法。而且本单元对于社交关系的模拟以及对于时间的较高要求也让我对图的学习和 阅读全文