Vai al contenuto

Java Modelling Language

Da Wikipedia, l'enciclopedia libera.
Versione del 7 feb 2007 alle 23:20 di QuoBot (discussione | contributi) (Bot: Sostituzione automatica (-. E' +. È ))
Abbozzo informatica
Questa voce sull'argomento informatica è solo un abbozzo.
Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti del progetto di riferimento.

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. È disponibile solamente per Java 1.4.2.

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

Estratto da "https://it.wikipedia.org/w/index.php?title=Java_Modelling_Language&oldid=6847429"