2022年6月6日
BUAA_OO_第三单元总结
摘要： OO第三单元总结 第三单元要求了解JML语法和语义，并根据JML给出的规格编写代码，从而实现一个简单的社交关系模拟和查询系统，关键在于要准确的理解JML规格。 一、架构设计与算法性能优化 整体图模型建构 这一单元作业的背景是一个社交网络，层次有三层：Network，Group和Person，本质就是 阅读全文
posted @ 2022-06-06 11:52 _Misivoa 阅读(29) 评论(0) 推荐(0) 编辑