Java Modelling Language: differenze tra le versioni

Versione delle 14:41, 27 ott 2008

Versione delle 14:41, 27 ott 2008

Riga 1:

{{S|informatica}}

'''Java Modelling Language''' ('''JML''') è un [[linguaggio di specifica]] 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 un [[Metodo (programmazione)|metodo]] e sul suo valore di ritorno. È disponibile solamente per [[Piattaforma Java|Java]] 1.4.2.