.dsy:it. - [Metodi Formali dell'informatica 1 e 2] Diario del corso 04/05

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

[Metodi Formali dell'informatica 1 e 2] Diario del corso 04/05

Posted by picoid82 on 27-09-2004 14:10

Il corso è tenuto dal prof. Mario Ornaghi nel primo semestre in auletta 5 con il seguente orario:

lunedì 10.30-12.30
martedì 15.30-17.30
mercoledì 14.30-16.30

alle lezioni del modulo uno che termineranno approssimativamente a metà semestre seguiranno quelle del modulo due.

Per gli studenti della Quinquennale: l'esame è unico (modulo1+modulo2) 12 cfu
Per gli studenti della Specialistica: gli esami sono due complementari da 6 cfu ciascuno (si può fare anke solo il primo)
Per gli studenti della Triennale: l'unico esame nel manifesto di studi è il modulo 1 da 6 cfu, resta però da verificare se uno studente può fare un'esame della specialistica portandosi avanti (ne discuteranno i prof a breve!)

Modalità d'esame:
2 compitini per il modulo 1 o l'orale
2 compitini per il modulo 2 o l'orale
(per chi deve fare 12 cfu c'è un esame unico); non c'è data d'appello per l'orale ma va concordata col docente.

Materiale didattico per modulo 1:
Warmer-Kleppe: OCL
fotocopie dei lucidi e dispense
specifiche in rete
(Il materiale per il modulo 2 sarà comunicato in seguito).

Le dispense non saranno pubblicate ma saranno mandate direttamente tramite mail dal docente, gli studenti presenti oggi hanno già dato il loro indirizzo mail, chiunque voglia ricevere le dispense sia che frequenti le lezioni sia che non frequenti deve mandare una e-mail al professore.

Programmi:
Modulo 1

Aspetti semiformali e formali della programmazione OO
- UML (Unified Modeling Language)
- OCL (Object Constraint Language)
. semantica formale
. tools e uso nel testing

Modulo 2

Metodi formali per Java
- JML (Java Modeling Language)
- Tools per JML, per testing e verifica formale

Prerequisiti:
conoscenza di un linguaggio OO (tutti i presenti hanno detto di conoscere Java e quindi non sarà ripreso a lezione)
qualche conoscenza di logica sarebbe utile ma saranno comunque fatti richiami su queste nozioni.

La prima lezione di oggi è stata solo introduttiva al corso le lezioni vere e proprie inizieranno domani.

:-D