2019年5月21日
oo第三单元总结
摘要： JML梳理 1. JM语法一般结构 几个常用关键词： \forall \exist \result \old 其中，有几点注意： jml中描述的数据结构，仅仅作为jml的描述，作用，并不限制具体过程中所使用的数据结构。 不变式和约束是在全局应该保持为真的。 更具体的jml语法和关键词的作用可以在官网 阅读全文
posted @ 2019-05-21 17:28 qsblublu 阅读(160) 评论(0) 推荐(0) 编辑