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. 2011/12. Disponibili in
questa pagina (si veda sotto "materiale didattico").
Informazioni sulla edizione del corso per l'A.A.
2011/12
(Corso erogato nel primo semestre, dal 26 settembre al 20 dicembre 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.
Informazioni chiave
Edizioni precedenti del corso
Modalita' d'esame
Appelli
- Primo appello: prenotazioni dal 20/12/2011 al 09/01/2012
(Si ricorda che tutti gli studenti che hanno fatto detta prova si devono prenotare per l'appello del 10/01/2012 e verbalizzare il 10/01/2012 durante lo scritto - aula B2, Via Ariosto 25, ore 14:30.)
- Testo e risultati
- DATA: 10 gennaio 2012
- ORARIO: 14:00
- AULA: B2, Via Ariosto 25
- ORALE & VERBALIZZAZIONE: subito dopo la prova scritta nell'ufficio del docente.
- Secondo appello: prenotazioni dal 10/01/2012 al 19/02/2012
- Testo e risultati
- DATA: 21 febbraio 2012
- ORARIO: 9:30
- AULA: 1, Via Scarpa (con Progettazione del Software)
- ORALE & VERBALIZZAZIONE: Martedì 28 febbraio e 6 marzo 2012, ore 17:00-17:30 ufficio del docente in Via Ariosto 25, stanza B215.
- Appello straordinario: prenotazioni dal 24/03/2012 al 18/04/2012 - Risultati
Importante.
Gli appelli straordinari sono aperti solo agli studenti ripetenti, part-time, fuori corso o che abbiano completato comunque tutte le frequenze.
- DATA: 21 aprile 2012
- ORARIO: 9:30
- AULA: A3&A4, Via Arosto 25
- ORALE & VERBALIZZAZIONE: La verbalizzazione avverrà l'8 maggio 2012 ore 17:00-17:30 in Via Ariosto 25, presso l'ufficio del docente, i risultati saranno disponibili il giorno prima su questo sito.
- Terzo appello : prenotazioni dal 22/06/2012 al 15/06/2012 - Testo e risultati
- DATA:19 giugno 2012
- ORARIO: 14:00
- AULA: 12&13, Via Scarpa (ci vediamo tutti in aula 12 e poi ci dividiamo)
- ORALE & VERBALIZZAZIONE:06/07/2012, ore 17:00, Via Ariosto 25, aula A3.
- Quarto appello : prenotazioni dal 19/06/2012 al 16/07/2012 - Testo e risultati
- DATA: 19 luglio 2012
- ORARIO: 14:00
- AULA: 33&8, Via Eudossiana (ci vediamo tutti in aula 33 e poi ci dividiamo)
- ORALE & VERBALIZZAZIONE: 20/07/2012 ore 17:00, Via Ariosto 25, aula A3.
- Quinto appello : prenotazioni dal 20/07/2012 al 23/09/2012 - Testo e risultati
- DATA: 27 settembre 2012
- ORARIO: 9:30
- AULA: 12&13, Via Scarpa (ci vediamo tutti in aula 12 e poi ci dividiamo)
- VERBALIZZAZIONE: Si noti ora la verbalizzazione è automatica. Comunque si può vedere il compito martedì 23 ottobre 2012, ore 17:00-19:00 o venerdì 26 ottobre ore 15:00-16:00. Dopo tale data il verbale verrà chiuso automaticamente e mandato alle segreterie. Chi non voglia accettare il voto e non può venire in dette date deve mandarmi una email dal proprio account SAPIENZA e dichiarando di rinunciare al voto.
- Appello straordinario: prenotazioni dal 20/10/2012 al 09/11/2012 - Risultati
Importante.
Gli appelli straordinari sono aperti solo agli studenti ripetenti, part-time, fuori corso o che abbiano completato comunque tutte le frequenze.
- DATA: 09 novembre 2012
- ORARIO: 15:45
- AULA: 7, Via Scarpa
- VERBALIZZAZIONE: Si noti ora la verbalizzazione è automatica. Comunque si può vedere il compito martedì 4 dicembre 2012, ore 17:30-19:00 o venerdì 7 dicembre ore 15:00-16:00. Dopo tale data il verbale verrà chiuso automaticamente e mandato alle segreterie. Chi non voglia accettare il voto e non può venire in dette date deve mandarmi una email dal proprio account SAPIENZA e dichiarando di rinunciare al voto.
Ritorno alla didattica
di Giuseppe De Giacomo