開發者 www.jmlspecs.org

Java Modeling Language (JML) 免費

Java建模語言（JML）是一種行為介面規範語言，可用於指定 Java 模組的行為（如在合同設計中 - DBC）。它有許多工具做斷言檢查，單位測試等。