Przejdź do zawartości

Java Modeling Language

Z Wikipedii, wolnej encyklopedii
To jest stara wersja tej strony, edytowana przez Elpecek (dyskusja | edycje) o 20:24, 18 lis 2006. Może się ona znacząco różnić od aktualnej wersji.

Java Modeling Language (w skrócie 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 (ang. Design by Contract). Notacja ta umożliwia szczegółowy opis zachowania klas oraz interfejsów w języku Java.

Szablon:Informatyka stub