OO - 第三单元总结
摘要:
OO第三单元总结 要求 单元总结要求 第一次作业总结 分析 在本单元我们的任务为需要完成的任务为通过一个实现简单社交关系的模拟和查询的例子以此达到学习入门级 JML 规格理解与代码实现的能力 本次作业只需要读懂代码中的 JML 表示语言,并且按照其中的要求编写好代码即可,由于客户需求基本都已经表述的 阅读全文
posted @ 2022-06-06 13:23 master-Tan 阅读(23) 评论(0) 推荐(0) 编辑