2020年5月21日
JML——BUAA_OO 第三单元总结
摘要： JML——BUAA_OO 第三单元总结 JML语言基础 JML简介 JML (Java Modeling Language) 是一种行为接口规范语言，可用于指定Java模块的行为(如契约式设计)。它有多种工具来进行断言检查、文档生成、单元测试、静态检查和验证等。 JML优点 + 能更加精确地描述代码 阅读全文
posted @ 2020-05-21 22:25 骑着蜗牛追捣蛋 阅读(249) 评论(0) 推荐(0) 编辑