面向对象JML系列第一次代码作业指导书1

【文件属性】：

文件名称：面向对象JML系列第一次代码作业指导书1

文件大小：507KB

文件格式：PDF

更新时间：2022-08-03 14:16:47

软件/插件

摘要本次作业，需要完成的任务为实现 person 类和简单社交关系的模拟和查询，学习目标为JML规格入门级的理解和代码实现。问题基本目标本次作业最终需要实现一个