Modalità della valutazione di Abstract State Machines - Dottorato di Ricerca in Informatica - XXVII ciclo

Scopo della valutazione è verificare le capacità critiche degli studenti relativamente ai concetti trattati nell'intero corso. A tale scopo, la valutazione consiste nella presentazione in forma seminariale di un approfondimento di uno degli aspetti del corso, oppure nella realizzazione e discussione di un caso di studio. In entrambi i casi sarà necessario preventivamente concordare l'argomento con il docente.