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").

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.

• Lezioni: mercoledì ore 15:45-17:15, aula A7, via Ariosto 25; venerdì ore 15:45-19:00 aula A3, via Ariosto 25.
  
  
• Orario ricevimento studenti: si veda sito didattica del docente.
  
  
• Registro delle lezioni
  
  
• Materiale didattico
  
  
• Programma d'esame
  

• aa2008/09
• aa2009/10

Modalita' d'esame

• L'esame comprende una prova scritta ed la discussione dello scritto.

• Primo appello: prenotazioni dal 27/05/2011 al 05/06/2011 - Testo e risultati
  • DATA: 10 giugno 2011
  • ORARIO: 15:45
  • AULA: A3, Via Ariosto 25
  • ORALE & VERBALIZZAZIONE: 23 giugno 2011, ore 14:45, Via Scarpa, Aula 14 (durante lo scritto di Progettazione del Software)
• Secondo appello: prenotazioni dal 11/06/2011 al 22/07/2011 - Testo e risultati
  • DATA: 26 luglio 2011
  • ORARIO: 15:00
  • AULA: A3, Via Ariosto 25
  • ORALE & VERBALIZZAZIONE: 27 luglio, ore 17:00, Stanza B215, Via Ariosto 25
• Terzo appello : prenotazioni dal 27/07/2011 al 18/09/2011 - Testo e risultati
  
  • DATA: 22 Settembre 2011
  • ORARIO: 15:00
  • AULA: A3, Via Ariosto 25
  • ORALE & VERBALIZZAZIONE: Martedì 18 ottobre 2011 ore 17:30-18:30, Via Ariosto 25, presso l'ufficio del docente. (I risultati saranno disponibili entro lunedì 17 ottobre su questo sito.)
    
• Appello straordinario: prenotazioni dal 17/10/2011 al 08/11/2011 - Risultati
  Importante. Gli appelli straordinari di Ingegneria dell'Informazione, A.A. 2010-11, si terranno dal 20 ottobre all’11 novembre e saranno aperti a tutti gli studenti ripetenti, part-time, fuori corso o che abbiano completato comunque tutte le frequenze. Sono altresì aperti agli studenti iscritti al 3° anno di corso nell’A. A. 2010-11 della Laurea Triennale e agli studenti iscritti al 2° anno di corso nell’A. A. 2010-11 della Laurea Magistrale che debbano presentare domanda per l’esame di laurea entro il 19 novembre, per la sessione 5-21 dicembre 2011.
  • DATA: 11 novembre 2011 (con lo scritto di Progettazione del Software)
  • ORARIO: 14:00
  • AULA: 2, Via Scarpa/Via Castro Laurenziano
  • ORALE & VERBALIZZAZIONE: Martedì 29 novembre 2011 ore 17:00-17:30, Via Ariosto 25, presso l'ufficio del docente.
    
• Per appelli successivi vare riferimento alla pagina dell'edizione 2011/12.