2022年6月6日
oo第三单元作业总结
摘要： 一、概述 本单元主要内容为掌握JML规格理解与代码实现，理解JML规格在面向对象设计与构造中的重要意义，并掌握利用JML规格提高代码质量的能力； 为此我们根据官方提供的代码框架和部分函数的JML规格，实现了一个简单的社交关系模拟和查询系统，能模拟社交中的群组和消息功能，并实现其 相关操作。 二、测试 阅读全文
posted @ 2022-06-06 03:07 林则海纳 阅读(21) 评论(0) 推荐(0) 编辑