Java Modelling Language

Il Java Modelling Language (JML) è un linguaggio che permette di definire astrazioni procedurali su un modello di programmazione per contratto, effettuando dei controlli sui parametri d'ingresso di una funzione e sul suo valore di ritorno. E' disponibile solamente per Java 1.4.2.

Questa categoria comprende voci che riguardano teoria e pratica dell'ingegneria del software.