Versione delle 19:42, 23 lug 2006 modifica Danno (discussione \| contributi) 105 modifiche creazione voce		Versione delle 22:20, 23 lug 2006 modifica annulla Danno (discussione \| contributi) 105 modifiche m varie modifiche Differenza successiva →
Riga 1: {{stub 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}}

Java Modelling Language: differenze tra le versioni