2019年5月22日
OO第三次博客作业
摘要： OO第三次博客作业 "jml基础知识梳理" "jml工具运用" "jml uniting/jml unit" "第三单元架构迭代分析" "代码实现&bug修复" "规格撰写体会" (1)jml基础知识梳理： 常用： pure： 纯粹查询，无任何副作用。 数组： 仅仅是规格层次的描述，不一定有数组定义 阅读全文
posted @ 2019-05-22 20:03 HugeGun 阅读(349) 评论(0) 推荐(0) 编辑