摘要: BUAAOO_UNIT3 1.总结分析自己实现规格所采取的设计策略 1.规格模式 这一单元训练的是我们对JML的掌握,一个是对规格逻辑的抽取、一个是自己会写逻辑完整的JML。 面向JML,采取规格模式编写代码,对规格的需求进行分析提取,寻找共性、必须数据、辅助数据、整体架构、所需要的数据结构等进行大 阅读全文
posted @ 2021-05-30 21:10 YSMY 阅读(78) 评论(1) 推荐(0) 编辑