摘要: 1.JML语言的理论基础和应用工具链情况 1)概述 JML是一种行为接口规范语言,其体现的是一种契约方法设计,也即在声明方法的时候,对输入和输出进行了一些规定,而从形式上jml是以javadoc注释的方式来写的,也即在注释块中每行的开头都是@。 2)结构 一段完整的JML,往往有如下几个结构requ 阅读全文
posted @ 2019-05-22 20:34 gchl 阅读(172) 评论(0) 推荐(0)