摘要: 总述 本单元的任务是实现简单的社交网络关系的模拟和查询, 包括人与人互动、消息收发等操作。学习目标是理解JML规格在面向对象设计与构造中的重要意义,并掌握利用JML规格提高代码质量的能力。官方包已经通过JML给定了整个社交网络的基本功能规格,如何设计层次之间的交互方法甚至额外层次是本单元作业的关键。 阅读全文
posted @ 2022-06-05 18:52 wwllll 阅读(23) 评论(0) 推荐(0) 编辑