Java Modelling Language
Aspetto
Il Java Modelling Language (JML) è un linguaggio che permette di definire astrazioni procedurali su un modello di programmazione per contratto. E' disponibile solamente per Java 1.4.2.
Questa categoria comprende voci che riguardano teoria e pratica dell'ingegneria del software.