.dsy:it. - {2003/2004}[diario del corso]Metodi formali dell'informatica 1 e 2

.dsy:it.
//www.dsy.it

{2003/2004}[diario del corso]Metodi formali dell'informatica 1 e 2

Posted by Guybrush on 17-10-2003 15:11

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