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.
- Teacher: Emiliano Casalicchio
- Teacher: TONI Mancini
- Teacher: Enrico Tronci