2019年5月22日
【面向对象】第三单元总结——JML
摘要： 梳理JML语言的理论基础、应用工具链情况 JML语言理论基础 JML（Java Modeling Language）是一种行为规范接口语言，通过使用不会被编译的注释形式，和固定关键字的语法，指定Java模块代码的行为。这些行为包括需要满足的前置条件、后置条件，和可能产生的副作用等。它贯彻了契约方法设 阅读全文
posted @ 2019-05-22 18:02 沈子良 阅读(369) 评论(0) 推荐(0) 编辑