![](/statics/img/blank.png)
Java Modeling Language (JML)
许可: 免费 文件大小: N/A
用户评分: 4.0/5 - 1 评分
请稍候,您的下载链接正在检测恶意内容。
您将能够在 5 秒内下载。
您将能够在 5 秒内下载。
关于 Java Modeling Language (JML)
Java建模语言 (JML) 是一种行为接口规范语言,可用于指定 Java 模块的行为(如在合同设计中 - DBC)。它有许多工具做断言检查,单位测试等。
Java建模语言 (JML) 是一种行为接口规范语言,可用于指定 Java 模块的行为(如在合同设计中 - DBC)。它有许多工具做断言检查,单位测试等。