Java Modeling Language (JML) – jedna z formalnych metod określenia właściwości implementacji oprogramowania w języku Java, bazująca na idei projektowania związanego z kontraktem (). Notacja ta umożliwia szczegółowy opis zachowania klas oraz interfejsów w języku Java.
Przypisy
Kategoria:Java Kategoria:Języki formalne