The course is taught in Italian.
Insegnamento obbligatorio per la Laurea Magistrale in Computer Engineering. Ha come obbiettivo esporre lo studente alle problematiche di programming in the large (produzione di software di medio grandi dimensioni, con molti programmatori coinvolti) e di illustrare gli strumenti dell'ingegneria del software per affrontarle.

Conoscenze: problematiche nello sviluppo di software di grandi dimensioni (comunicazione e coordinazione tra committenti e sviluppatori, evoluzione nel tempo, correttezza, affidabilita', usabilita'). Cicli di vita del software. Linguaggio UML. Modellazione operazionale e prototipazione. Verifica e validazione. Gestione e organizzazione di progetti software.

Capacita di applicazione: capacita'di formalizzare i requisiti funzionali e non funzionali di un sistema informativo. Capacita di definire un modello operazionale prototipale di un sistema informativo. Capacita' di validare e verificare (tramite test, inspection, prototipazione) un sistema informativo nella sua interezza e nelle sue parti. Capacita di impostare il supporto organizzativo in un progetto software (gestione progetto, gestione configurazione, ciclo di vita).

Conoscenze di tecniche e linguaggi di programmazione ad oggetti.

Ciclo di vita del software
Definizione dei requisiti
Modelli delle classi
Processi di business
Modelli di attività UML
Modelli di stato
Reti di Petri (standard, ad oggetti)
Reti orientate alle collaborazioni
Sistemi B2B
Gestione di progetti software
Qualità del software
Gestione della configurazione

Casi di studio ed esercizi aiuteranno gli studenti a comprendere meglio gli argomenti del corso.

Oltre alle slides del corso, testi di riferimento saranno indicati a lezione.

L'esame è scritto e include domande ed esercizi.