Metodi Formali nell'Ingegneria del Software

Tipologia della prova scritta

In particolare:

• Il numero medio di domande è 4, quindi il tempo medio per la risposta ad ognuna di esse si aggira sui 45 minuti.

• Le domande possono essere di diverse tipologie: esercizi nei quali applicare le conoscenze e le metodologie apprese durante il corso, e domande dal carattere più teorico, nelle quali viene di solito richiesto di spiegare un argomento e una metodologia, applicandola ad un dato esempio.

• Esempi di domande del primo tipo sono presenti nelle diverse sezioni del materiale didattico, come esercizi (sebbene alcuni di essi sono stati oggetto di estensioni, al fine di renderli più completi).

• Si fa presente che il docente tenderà, in ogni compito d'esame, a coprire l'intero programma del corso. Si consiglia quindi agli studenti di non tralasciare, durante lo studio, alcuna sua parte.

• Il docente utilizzerà, durante la valutazione, il metodo descritto in questa pagina.