 |
Guybrush |
.simpatizzante.

Registered: Jul 2002
Posts: 11 (0.00 al dì)
Location:
Corso:
Anno:
Time Online: 11:25:55 [...]
Status: Offline
Edit | Report | IP: Logged |
Metodi formali dell'informatica 1 e 2
ALCUNE NEWS SUL CORSO
Giovedi' 30 ottobre in aula 4, ore 14.30 verra' svolto il primo dei quattro compitini del corso.
E' stata fatta una raccolta di mail per ricevere le slides del corso. Potete scrivere direttamente ad Ornaghi per chiedere di riceverle.
Il corso verte su:
Metodi Formali I.
Aspetti formali della programmazione OO
OCL
Un modello logico
Metodi Formali II
Uso della logica nei Metodi Formali
Da decidere fra:
ADT e Formalizzazione di sistemi OO
Logical Frameworks e verifica
Sintesi di Programmi
Materiale:
-Parte introduttiva alla programmazione OO del testo di Abady e Cardelli: A Theory of Objects
-Warmer-Klepep: OCL
-Materiale in rete
-Dispense
Modalita' d'esame:
compitini in corso anno
2 compitini per MF I, entro metà primo semeste
2 compitini per MF 2, entro fine anno
Oppure orale
Uno alla fine di ogni mezzo corso, oppure uno unico per la quinquennale
__________________
onoro il braccio
che muove il telaio
onoro la forza
che muove l'acciaio
|