>   Dipartimento di Informatica   >   Toni Mancini
[login|nuovo account]      [Italiano|English]
Laurea Specialistica in Ingegneria Informatica, Corso di

Metodi Formali nell'Ingegneria del Software

 Edizione dell'a.a. 2007/08

Diagrammi UML delle classi

Dispense del corso

Codice Descrizione
D.III.1 Diagrammi UML delle classi

Materiale di approfondimento

Descrizione
Alessandro Pagliaro.
Alloy e Alloy Analyzer.
Corso di Metodi Formali nell'Ingegneria del Software, Facoltà di Ingegneria, Sapienza Università di Roma. Progetti svolti dagli studenti, 2007.

Programmi disponibili

Nome Descrizione
Otter e Mace2 Dimostratore di teoremi e ricercatore di modelli al prim'ordine
Alloy Analyzer Verificatore e ricercatore di modelli al prim'odine

Esercizi

Codice Descrizione
E.III.20060703 Portate di un ristorante (codice)
E.III.20060718 Studenti (codice)
E.III.20060920 Docenti (codice)
E.III.20070111 Dipendenti
E.III.20070711 Pizze
E.III.20080110 Ospedale
E.III.20080418 TastyBurger
E.III.20080703 DormoDaTe.com
E.III.20080718 Verbali
E.III.20080918 Teatri

[This web site could never be realised without the sophisticated features of a pure text editor and the extreme power of 220V]