2021年5月30日
OO第三单元总结
摘要： 第三单元总结 本单元主要针对JML规格进行学习以及考察，相较于以往两个单元，轻松许多，对JML规格的了解也深入许多。 第一次作业 本次作业，需要完成的任务为实现 Person 类和简单社交关系的模拟和查询，学习目标为 JML 规格入门级的理解和代码实现 设计策略 本次作业主要需要实现Person类、 阅读全文
posted @ 2021-05-30 20:56 枭丶 阅读(43) 评论(1) 推荐(0) 编辑