Java Modelling Language: differenze tra le versioni

Versione delle 00:58, 10 gen 2007

Versione delle 23:20, 7 feb 2007

Riga 1:

{{S|informatica}}

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

{{categoria: ingegneria del software}}