05 2019 档案

第三单元oo作业总结
摘要：第三单元oo作业总结 第一部分：梳理JML语言的理论基础、应用工具链情况 理论基础 JML语法梳理 关于jml具体语法的梳理在给出的指导书中给出的基本上已经足够应用，以下为一部分常用语句的梳理。 表达式：完成JML语句的编写 原子表达式：如\result, \old(expr)等等 原子表达式：如\ 阅读全文
posted @ 2019-05-22 16:09 cxy1999 阅读(145) 评论(1) 推荐(0)