2019年5月21日
第三单元总结
摘要： 第三单元总结 JML相关 一 梳理JML语言的理论基础、应用工具链情况 JML是一种形式化的, 面向JAVA的行为接口规格语言( behavioral interface specification language) JML允许在规格中混合使用Java语法成分和JML引入的语法成分. JML主要是 阅读全文
posted @ 2019-05-21 20:36 燈心 阅读(175) 评论(0) 推荐(0) 编辑