2021年6月1日
JML初窥与提升 - 2021 面向对象程序设计第三单元总结
摘要： 第三单元的OO作业也是有一个 共同的主题 —— 即通过实现官方给出的 JML 规格，实现一个社交关系的模拟以及其相关信息增删查询的交互。这个单元和前两个单元的难度相比已经有了明显的下降，因为实现所用的设计思路以及相关方法的规格都已经给好，真正自己写的时候并不需要考虑思路上的问题，而只需要控制一下相关 阅读全文
posted @ 2021-06-01 00:19 LD曲率空间 阅读(69) 评论(0) 推荐(1) 编辑