2020年5月20日
BUAA_OO_2020_Unit3 Summary
摘要： 梳理JML语言的理论基础、应用工具链情况 JML(Java Modeling Language) JML是一种形式化的、面向JAVA的行为接口规格语言（behavioral interface specification language） JML允许在规格中混合使用Java语法成分和JML引入的语 阅读全文
posted @ 2020-05-20 11:41 weilann 阅读(156) 评论(0) 推荐(1) 编辑