摘要： oo_第三单元总结 需求：根据接口文件中的JML规格描述，实现一个初步社交模拟网络的模型。 实现规格所采取的设计策略 对于大部分普通的方法，它的方法名就已经体现出它所要实现的大致行为。我们可以先通过方法名猜测基本功能，再通过JML规格验证。这种策略适用于细节比较少的方法。 对于比较核心的方法，实现细 阅读全文