Attività Didattiche di Marco Comini
In questa pagina si elenca l'Attività Didattica da me svolta nonché
i links alle pagine destinate agli studenti che frequentano le rispettive lezioni
in corso.
Per i curiosi consiglio di guardare questa
pagina (anche
se è un po vecchiotta).
Si fa inoltre presente agli studenti che sono disponibili tesi per laurea
specialistica o triennale (sia di carattere più implementativo che
di carattere più
teorico) su vari argomenti, di cui se ne elencano alcuni nel seguito.
Tesi magistrali o triennali e/o laboratori avanzati (possibili argomenti):
- Verifica/Analisi di Linguaggi Logico-Funzionali
- Verifica/Analisi di Linguaggi Funzionali
- Verifica/Analisi di Linguaggi Logici (con vincoli)
- Verifica/Analisi di Diagrammi UML (con vincoli OCL) [si veda anche questa
pagina di A. Baruzzo]
- Linguaggi con vincoli
- Trasformazioni di programmi
- Implementazione di Macchine Astratte
Anno Accademico 2019/2020
Anno Accademico 2018/2019
Anno Accademico 2017/2018
Anno Accademico 2016/2017
Anno Accademico 2015/2016
Anno Accademico 2014/2015
Anno Accademico 2013/2014
Anno Accademico 2012/2013
Anno Accademico 2011/2012
Anno Accademico 2010/2011
Anno Accademico 2009/2010
Anno Accademico 2008/2009
Anno Accademico 2007/2008
Anno Accademico 2006/2007
Anno Accademico 2005/2006
Anno Accademico 2004/2005
Anno Accademico 2003/2004
Anno Accademico 2002/2003
Anno Accademico 2001/2002
Anno Accademico 2000/2001
- Introduzione all'interpretazione astratta, all'interno dei
corsi di Linguaggi di Programmazione 1 e 2
- Laboratorio di Architetture degli Elaboratori
- Laboratorio di Basi di Dati