摘要: OO 第三单元总结 一、总述 本单元主要学习了如何正确解读JML规格,并根据给出的JML规格编写规范的代码,并实现异常处理功能。本单元的背景是模拟社交网络,包括维护NetWork(社交网络)、Group(群组)、Person(用户)、Message(消息)等类的信息,并且了解最小生成树、最短路等图算 阅读全文
posted @ 2022-06-02 23:31 warriors2001 阅读(60) 评论(2) 推荐(0) 编辑