首頁
PC軟體
Mac軟體
Linux軟體
Android App
iOS App
提交軟體
開發者 www.jmlspecs.org
Java Modeling Language (JML)
免費
Java建模語言 (JML) 是一種行為介面規範語言,可用於指定 Java 模組的行為(如在合同設計中 - DBC)。它有許多工具做斷言檢查,單位測試等。