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