Insegnamenti tenuti nell’ambito delle Lauree in
- Sicurezza dei Sistemi e delle Reti Informatiche
- Informatica
- Laurea Magistrale in Sicurezza Informatica
Edizioni correnti:
- Progettazione
del Software Sicuro da A.A. 2011/12 ad oggi (Laurea in Sicurezza
dei Sistemi e delle Reti Informatiche)
- materiale didattico del corso su piattaforma Ariel2
- gli studenti che devono sostenere l’esame di Linguaggi di Programmazione per la Sicurezza devono fare riferimento a questo corso
- Progettazione del Software da A.A. 2011/12 ad oggi (Laurea in Informatica)
- materiale didattico del corso su piattaforma Ariel2
- Progettazione Model-Driven del Software da A.A. 2011/12 ad oggi (Laurea in Informatica)
- modulo del corso di Progettazione del Software
- Modellazione ed Analisi di Sistemi da A.A. 2009/10 ad oggi (Laurea Magistrale in Sicurezza Informatica)
- materiale didattico del corso su piattaforma Ariel2
Edizioni passate:
Gli studenti che devono ancora superare gli esami di uno dei seguenti corsi per gli anni accademici indicati, devono contattare il docente per il programma ed il relativo materiale didattico:
- Linguaggi di Programmazione
per la Sicurezza A.A. 2006/07-2007/08-2008/09-2009/10-2010/11
- vedi Progettazione del Software Sicuro
- Metodi per il Ragionamento Automatico A.A. 2004/05-2006/07-2007/08-2008/09-2009/10
- Metodi Formali dell’ Informatica A.A. 2004/05-2005/06