2021年5月30日
BUAA_OO_第三单元作业总结
摘要： 第三单元作业总结 BUAA OO 2021面向对象作业 19373469 陈纪源 一、分析实现规格的设计策略 （一）第一次作业 ​ 在第一次作业中，由于刚开始遇到大量的JML规格约束，我选择的是先通读整个JML代码，了解每个函数、每个接口、每个异常类都在完成什么功能。在通读整个代码后发现整个社交网络 阅读全文
posted @ 2021-05-30 16:31 生物圈的自传 阅读(63) 评论(1) 推荐(0) 编辑