开发者 www.jmlspecs.org

Java Modeling Language (JML) 免费

Java建模语言（JML）是一种行为接口规范语言，可用于指定 Java 模块的行为（如在合同设计中 - DBC）。它有许多工具做断言检查，单位测试等。