•Il corso fornisce agli studenti concetti, approcci e tecniche, in particolare, per affrontare le fasi critiche del processo di sviluppo del software quali: specifica dei requisiti e verifica del software. Esercitazioni pratiche (casi di studio) consentiranno di apprendere le modalità di adozione delle tecniche spiegate. Durante il corso gli studenti lavoreranno su piccoli progetti software che saranno discussi in sede di esame e revisionati durante il corso. I progetti sono finalizzati a dare una visione essenziale dell’applicabilità concreta nel mondo del lavoro dei concetti trattati in teoria. Il dottor Ercole Colonese, che ha lavorato per più di trenta anni in progetti software nazionali ed internazionali, parteciperà alle revisioni illustrando metodi e approcci utili a maturare una competenza pratica basata sul “learning by doing”. Inoltre terrà lezioni di approfondimento su temi specifici e loro applicabilità.