開發者 www.jmlspecs.org

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