Ingegneria del Software - A.A. 2010-2011

Programma

Progetto

Materiale didattico

Esame

Docenti

Programma

Introduzione: la produzione del software; i fattori di qualità ed i principi dell'Ingegneria del Software.
Modelli del processo di sviluppo software: modello a cascata; modello a spirale; modelli iterativi; UP; modelli agili; extreme programming
Gestione dei progetto software: le attività di gestione; tecniche di stima dei costi; function points; COCCOMO
Analisi dei requisiti: processo di stesura dei requisiti; classificazione dei requisiti; notazioni per i requisiti.
Casi d'uso: modellazione dei requisiti funzionali; attori e scenari.
UML: introduzione ai linguaggi di specifica; struttura generale di UML; entità strutturali; diagrammi (UML 2.0); viste; OCL; diagrammi dei casi d'uso; diagrammi delle classi; diagrammi di sequenza e di collaborazione.
Manutenzione: tipi di manutenzione; metriche utili complessità ciclomatica. complessità di Halstead.
Qualità del software: tipi di qualità metriche per la qualità; processi orientati alla qualità; strumenti per la qualità; verifica, validazione e certificazione.
Testing: testing di unità (funzionale, strutturale, statistico); criteri di copertura; testing d'integrazione; testing di sistema; testing dei sistemi OO.
Ingegneria dei linguaggi: concetti; sviluppo orientato ai linguaggi; Language Workbenches
Linguaggi diretti da modello: anatomia; metamodellazione; design; linguaggi di modellazione; esempi.
Programmazione generativa: Interpretazione e trasformazione di modelli; metaprogrammazione; linguaggi di interrogazione e di trasformazione; esempi.
Linguaggi di dominio: design standalone vs. componibile, notazioni, persistenze; integrazione di linguaggi
Linguaggi di integrazione: grammatiche, artefatti, tooling
Testing di linguaggi: unit testing del modello, della persistenza e del comportamento; linguaggi di testing; esempi.