05 2019 档案

BUAA_OO_博客作业3——规格
摘要：BUAA_OO_博客作业3——规格 • 梳理JML语言的理论基础、应用工具链情况 JML是java modeling language的缩写，是一种描述性质的语言。有一定的语法规则。 这种语言被用来描述一段代码的具体行为，比如前置条件、副作用、后置条件等。 JML的语法可以用专门的工具来检测是否合乎 阅读全文
posted @ 2019-05-18 22:13 荷叶蛋 阅读(403) 评论(0) 推荐(0) 编辑