Programma del corso

Il corso richiama alcuni principi già introdotti nel corso di Ingegneria del Software e presenta gli strumenti che affiancano le fasi del processo di sviluppo software.

Introduzione: visione d'insieme, qualità del software, principi dell'ingegneria del software.

Strumenti: sistemi di controllo delle versioni, strumenti di sviluppo.

Progettazione: modularizzazione, progettazione orientata agli oggetti, architetture, pattern.

Specifica: qualità e stili, specifiche operazionali, specifiche descrittive, uso nella pratica.

Convalida (verifica): obiettivi e requisiti, test, analisi, esecuzione simbolica, model checking, integrazione, debugging.

Produzione: attività, processi software, manutenzione (evoluzione).

Gestione: pianificazione di progetto, metriche del software, controllo di
progetto, organizzazione, gestione dei rischi, modello CMM.