Sillabo dell'insegnamento

• I - Ingegneria del software
* AR - Analisi dei Requisiti
+ SE-SPRE - Software Processes and Requirement Engineering
Modelli di Ciclo di Vita del Software e Tecniche di Analisi.
* PSS - Processi di Sviluppo del Software
* SE-SPM - Software Project Management
Modelli di Ciclo di Vita del Software e Tecniche di Analisi.
* LMS - Linguaggi di Modellazione del Software
+ SE-TE - Tools and Environments
Linguaggi di modellazione: UML.
MES - Manutenzione ed Evoluzione del Software
* SE-SE - Software Evolution
Tecnologie di supporto al riuso.
MSQ - Misure del Software e Qualita'
SE-FM - Formal Methods
Metriche di prodotto e di processo.
* TVV - Testing, Verifica e Validazione
+ SE-SVV - Software Verification and Validation
Tecniche di Test e di verifica finale. Model Checking. Standard Valutazione del Software e della Sicurezza.