Modulo da 6 crediti. Docente: Enrico Tronci.

Il corso è centrato su metodi e strumenti software per il supporto alle attività di software engineering.

Le principali attività considerate saranno: modellazione dei casi d'uso (system environment); modellazione del sistema; modellazione dei requisiti funzionali e non funzionali; testing dei requisiti funzionali e non funzionali; verifica e validazione.

Il focus sarà su approcci test driven supportati attraverso tecnologie di simulazione.

Verrà usato Modelica come esempio di linguaggio per modellare environment, sistema, requisti ed automazione della verifica e validazione dei requisiti mediante simulazione.

L'esame consiste in un testo scritto a scelta multipla ed in un esame scritto in laboratorio sulla modellazione ed analisi con Modelica.