Didattica
- Sono disponibili tesi sui seguenti argomenti:
- Service oriented computing e Jolie
- Metodi formali di verifica
- Linguaggi con vincoli
- Linguaggi concorrenti
- Tools per i-phone
- Tesi applicative
- Corsi anni passati
- Ingegneria del software (Firenze)
- Paradigmi di programmazione (A-L)
- Linguaggi di Programmazione avanzati
- Laboratorio di Progettazione di Sistemi Software (Triennale Informatica)
- Linguaggi con vincoli (Specialistica di informatica)
- Basi di Dati (Scienze di Internet)
- Architettura di Internet (Scienze di Internet)
- Informatica (Scienze della Comunicazione)
- Informatica (Scienze della Formazione)
- Informatica documentale (Udine)