2020年5月22日
OO第三单元总结
摘要： JML理论基础 基本概念 以下内容来自我~~瞎~~翻译的维基百科： JML是一种java的 规约语言 ，使用了Hoare风格的 前置，后置，和不变量 约束条件，用来遵守 契约式设计 的要求。 这里面指出了JML的几个特点： 是java使用的规约语言~~（递归查询Specification Langu 阅读全文
posted @ 2020-05-22 02:10 DaisukeMichaelis 阅读(209) 评论(0) 推荐(0)