摘要：OO第三单元作业总结 本单元作业目的是培养JML的阅读理解能力，以及按照JML描述规格进行架构设计与实现。 设计策略 第九次作业 要求概述 本次作业下发资料包包括输入输出文件、要求实现的接口文件和异常类文件，要求根据接口文件中的JML描述，实现一个初步的社交网络模型。 设计 本单元作业中JML要求已 阅读全文