Informatica3.JML Versioni

Nascondi le modifiche minori - Mostra le modifiche da evidenziare

02/08/2006 ore 23:16 CEST di Vincenzo -

Modificate le linee 2-4: da:

Autori: Giorgio Ghisalberti,Vincenzo Manzoni
Hanno contribuito:

Autori: Giorgio Ghisalberti,Vincenzo Manzoni

Ripristina

13/06/2006 ore 15:08 CEST di Giorgio -

Modificata la linea 2: da:

Autori: Vincenzo Manzoni\\

Autori: Giorgio Ghisalberti,Vincenzo Manzoni\\

Ripristina

13/06/2006 ore 15:07 CEST di Giorgio - Integrazione su JML dai lucidi di Gargantini

Modificate le linee 6-7: da:

Introduzione all'Java Modeling Language (JML).

Introduzione al Java Modeling Language (JML).

Aggiunte le linee 9-10:

Modificate le linee 12-21: da:

Per far questo, si inseriscono all'interno dei file sorgente delle annotazioni all'interno dei commenti. Le annotazioni sono della forma /*@ ... @*/ oppure //@

Esistono variabili e operatori appositi, ad esempio <==>.

I tool

Per JML esistono vari tool:

JML Compiler (jmlc)
JML/Java Interpreter

Modificate le linee 74-77: da:

La versione inglese di Wikipedia ha una voce che riguarda JML.

Ripristina

01/06/2006 ore 21:38 CEST di Vincenzo - Aggiunta dell'homepage di JML

Modificate le linee 21-22: da:

La versione inglese di Wikipedia ha una voce che riguarda JML.

Homepage di JML
La versione inglese di Wikipedia ha una voce che riguarda JML.

Ripristina

01/06/2006 ore 21:35 CEST di Vincenzo - Completamento degli appunti di Giorgio

Modificate le linee 9-10: da:

Contenuto della sezione.

Aggiunta la linea 24:

Ripristina

01/06/2006 ore 21:25 CEST di Vincenzo - Creazione della pagina

Aggiunte le linee 1-11:

Java Modeling Language (JML)

Autori: Vincenzo Manzoni
Hanno contribuito:

Sommario

Introduzione all'Java Modeling Language (JML).

Introduzione

Contenuto della sezione.

Da fare

Ripristina