http://www.dis.uniroma1.it/~degiacomo/didattica/metodiformali/

SAPIENZA Università di Roma, Laurea Magistrale in Ingegneria Informatica

Metodi Formali per il Software e i Servizi

Prof. Giuseppe De Giacomo


Prerequisiti. Si richiede la conoscenza dei fondamenti dell'analisi e progettazione orientata agli oggetti, delle basi di dati relazionali e delle nozioni base della logica del prim'ordine (corsi: Progettazione del Software I, Basi di Dati, Linguaggi e sistemi formali e/o Intelligenza Artificiale).

Obiettivi. L'obiettivo del corso è lo studio e l'approfondimento della qualità più importante del software: la correttezza. Lo studio della correttezza verrà affrontato con riferimento ad aspetti concettuali e realizzativi affrontando la modellazione e la verifica sia di aspetti statici che di aspetti dinamici. Gli argomenti vengono trattati dando enfasi ad aspetti metodologici e ad aspetti sperimentali utilizzando varie forme di logica (logica del prim'ordine, logiche descrittive, logiche dinamiche e logiche temporali) e vari strumenti per la verifica automatica. Alla fine del corso lo studente dovrebbe avere acquisito tecniche e metodi per la dimostrazione della correttezza dei programmi e degli schemi concettuali.

Materiale didattico.
[ 1] Slides del corso, A.A. 2010/11. Disponibili in questa pagina (si veda sotto "materiale didattico").


Informazioni sulla edizione del corso per l'A.A. 2010/11

(Corso erogato nel secondo semestre, dal 14 marzo al 10 giugno 2011)

Avvisi


In questa sezione vengono riportati gli avvisi specifici sul corso, non sul ricevimento o altre questioni didattiche, per queste ultime consultare la pagina della didattica.

Per appelli successivi quello di recupero del 11 novembre 2011 fare riferimento alla pagina dell'edizione 2011/12.


Informazioni chiave
Edizioni precedenti del corso

Modalita' d'esame


Appelli


Ritorno alla didattica di Giuseppe De Giacomo