2021年6月1日
OO-第三单元总结-2021
摘要： Unit 3：JML/社交网络 单元总结 一 实现规格所采取的设计策略 本单元都是基于JML给出的具体函数规格进行设计。由于JML已经给出，对每个函数的基本功能实现几乎没有难度、也不需要整体架构设计；实现难度主要体现在 对JML细节把控是否到位 包括：是否能体察各个函数之间的相互作用使代码完全覆盖规 阅读全文
posted @ 2021-06-01 12:48 aucu1608 阅读(104) 评论(0) 推荐(0)