Vai al contenuto

Java Modelling Language

Da Wikipedia, l'enciclopedia libera.
Versione del 10 gen 2007 alle 00:58 di TekBot (discussione | contributi) (Coordinamento Template: Sostituzione stub)
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. E' 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=6286728"