.dsy:it. (http://www.dsy.it/forum/)
- Didattica in generale (http://www.dsy.it/forum/forumdisplay.php?forumid=115)
-- {2003/2004}[diario del corso]Metodi formali dell'informatica 1 e 2 (http://www.dsy.it/forum/showthread.php?threadid=6336)

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