2022 年 6月 1 日随笔档案 - yunshilang

2022年北航OO第三单元总结

摘要： 2022年北航OO第三单元总结单元学习概要本单元的主要学习内容是学习 JML 规格的相关知识，并根据给出的 JML 规格实现一个社交网络的模型，该模型中包括成员、群组以及相互之间的关系和流通的消息，并支持其中各种各样的功能和各种各样的异常。在完成实际规格要求的同时，还需要了解并使用图有关的相关算阅读全文

posted @ 2022-06-01 10:10 yunshilang 阅读(121) 评论(0) 推荐(0) 编辑

2022年6月1日

公告