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
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, lodiche 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. 2009/10. Disponibili in
questa pagina (si veda sotto "materiale didattico").
Informazioni sulla edizione del corso per l'A.A.
2009/10
(Corso erogato nel secondo semestre, dal 1 marzo al 6 giugno 2010)
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.
ATTENZIONE: L'ultima lezione si terrà il 26/5/2010.
- Orario ricevimento
studenti: si veda sito didattica del docente.
- Lezioni: aula B2, via Ariosto 25; martedì, ore 16:35-19:00 (3 ore); mercoledì, ore 16:35-19:00 (3 ore).
- Registro delle lezioni
- Materiale didattico
- Programma d'esame
- Modalita' d'esame
- L'esame comprende una prova scritta ed la discussione dello scritto.
- Appelli
- Primo appello:
prenotazioni dal 04/06/2010
al 20/06/2010 -- Testo e risultati
- DATA: 24/06/2010
- ORARIO: 9:30
- AULA: 1, Via Eudossiana
- ORALE & VERBALIZZAZIONE: 20/07/2010, ore 15:30, aula 38, Via Eudossiana.
- Secondo appello: prenotazioni
dal 25/06/2010 al 15/07/2010
-- Testo e risultati
- DATA: 20/07/2010
- ORARIO: 15:00
- AULA: 38, Via Eudossiana
- ORALE & VERBALIZZAZIONE: 27/07/2010, ore 18:00, stanza B215, Via Ariosto 25, secondo piano.
- Primo appello di recupero: L'appello verrà gestito dal Prof. Mecella. La
prenotazione INFOSTUD sia 6CFU che 5CFU va fatta con docente Mecella (non De Giacomo) appena INFOSTUD sarà abilitato ad accettare tali prenotazioni (entro l'inizio di settembre).-- Testo e risultati
- DATA: venerdì 24 settembre 2010 - NB l'esame sarà combinato con l'esame di Progettazione del Software.
- ORARIO: 9.00
- AULA: 7 e 14 di Via Scarpa (il punto di raccolta per tutti è in aula 7, poi eventualmente ci si divide nelle due aule).
- ORALE & VERBALIZZAZIONE: venerdi 15 ottobre 2010, insime alla verbalizzazione di di Progettazione del Software (si veda sito di Mecella).
- Appello di straordinario: L'appello verrà gestito dal Prof. Mecella. La
prenotazione INFOSTUD sia 6CFU che 5CFU va fatta con docente Mecella (non De Giacomo).
-- Risultati
- Secondo appello di recupero: L'appello verrà gestito dal Prof. Mecella. La
prenotazione INFOSTUD sia 6CFU che 5CFU va fatta con docente Mecella (non De Giacomo).
-- Testo e risultati
- DATA: venerdì 11 febbraio 2011 - NB l'esame sarà combinato con l'esame di Progettazione del Software.
- ORARIO & AULA: 9:30, aula 15, Via Scarpa - NB si veda http://www.dis.uniroma1.it/~mecella/didattica/2010/
- ORALE & VERBALIZZAZIONE: Venerdi 18 febbraio, ore 14:30, stanza del Prof. Mecella.
- Terzo appello di recupero: L'appello verrà gestito dal Prof. Mecella. La
prenotazione INFOSTUD sia 6CFU che 5CFU va fatta con docente Mecella (non De Giacomo).
-- Testo e risultati
- DATA: venerdì 25 febbraio 2011 - NB l'esame sarà combinato con l'esame di Progettazione del Software.
- ORARIO & AULA: 9:30, aula 15, Via Scarpa - NB si veda http://www.dis.uniroma1.it/~mecella/didattica/2010/
- ORALE & VERBALIZZAZIONE: Venerdì 4 marzo, ore 10:00, stanza del Prof. Mecella.
- Appello di straordinario: L'appello verrà gestito dal Prof. Mecella. La
prenotazione INFOSTUD sia 6CFU che 5CFU va fatta con docente Mecella (non De Giacomo).
-- Risultati
- DATA: linedì 16 maggio 2011, ore 10:00 - NB l'esame sarà combinato con l'esame di Progettazione del Software.
- ORARIO & AULA: A4, Via Ariosto 25.
- ORALE & VERBALIZZAZIONE: mercoledì 18 maggio 2011, ufficio del prof. Mecella.
- Nota: essendo un appello straordinario, ne potranno usufruire ESCLUSIVAMENTE:
- Studenti fuori-corso (che deve risultare tale sulla base delle indicazioni --anno di immatricolazione-- riportate sulla ricevuta INFOSTUD stampata dallo studente.)
- Studenti ripetenti, limitatamente agli esami dell'anno che ripetono e a quelli degli anni precedenti (che deve essere attestata dallo studente mediante esibizione della ricevuta di versamento dell'iscrizione come RIPETENTE per l'anno 2010/11.)
Ritorno alla didattica
di Giuseppe De Giacomo