顾晨宇

 

2021年5月30日

OO第三次博客作业

摘要： OO第三次博客作业 OO课程的第三单元是基于JML规格实现一个简单的社交网络。 一：总结分析实现规格所采取的设计策略 1、仔细阅读JML 本单元首要的一步就是阅读JML，在coding之前阅读是为了更好的coding体验，在debug阶段阅读有利于快速找到bug。在此，我也梳理一些在阅读JML时容易 阅读全文

posted @ 2021-05-30 21:05 顾晨宇 阅读(68) 评论(1) 推荐(0)

导航