L’insegnamento presenta i concetti fondamentali dell’ingegneria del software e le discipline principali che essa comprende. Particolare attenzione è dedicata alla formalizzazione dei requisiti software mediante l’uso di modelli UML per la parte strutturale e di reti di Petri estese per la parte comportamentale.

Al termine dell'insegnamento gli studenti/le studentesse saranno in grado di: - formalizzare i requisiti di un processo B2B (Business to Business) mediante la definizione di tre modelli, che riguardano le collaborazioni con processi esterni, i dati trattati e la struttura del processo; - analizzare le caratteristiche di modelli comportamentali basati su reti di Petri, usando criteri quali la liveness, la boundedness e l'assenza di deadlock; - impostare il testing white box di semplici programmi scegliendo tra vari criteri, tra i quali la copertura dei nodi, dei link e dei percorsi; - descrivere gli obiettivi e gli strumenti principali di: gestione dei progetti, gestione della configurazione del software, qualità del software e sviluppo agile.

I prerequisiti comprendono le conoscenze di base sulla programmazione a oggetti e sui database relazionali.

1. Introduzione (1 credito) • Ingegneria del software • Ciclo di vita e processo del software • Analisi dei requisiti 2. Modelli UML (1 credito) • Modelli di classi, relazioni e attributi • Casi d’uso • Diagrammi di attività • Metamodelli 3. Modelli comportamentali (2 crediti) • Modelli di stato • Reti di Petri: proprietà e analisi • Sottoclassi delle reti di Petri • Reti di Petri temporizzate e colorate 4. Processi di business (2 crediti) • Reti di Petri estese (process-oriented) • Modelli di collaborazione • Modelli di sistemi B2B (business to business) • BPMN e pattern di processo 5. Attività di supporto allo sviluppo del software (2 crediti) • Testing white-box e black-box • Gestione configurazione • Gestione progetti • Qualità del software • Metodi agili

L'insegnamento è costituito da lezioni in aula e gli argomenti sono indicati nella sezione precedente relativa al programma.

Sul portale della didattica sono disponibili le slide del corso. Alcuni testi di approfondimento: M. Fowler. UML distilled, Quarta edizione, Pearson, 2018. I. Sommerville. Ingegneria del software, Decima edizione, Pearson, 2017.

Modalità di esame: Prova scritta (in aula);

Exam: Written test;

... L'esame finale mira a verificare l'acquisizione delle abilità descritte in "Risultati di apprendimento attesi" tramite una prova scritta costituita da un esercizio, 2 gruppi di domande a risposta aperta e 1 gruppo di domande a risposta chiusa. L'esercizio riguarda la formalizzazione dei requisiti testuali di un processo B2B mediante la definizione di tre modelli, che riguardano le collaborazioni con processi esterni, i dati trattati e la struttura del processo. Il primo gruppo di domande a risposta aperta riguarda le caratteristiche di un modello comportamentale basato su reti di Petri, il secondo gruppo riguarda i criteri del white box testing di un metodo java. Il gruppo di domande a risposta chiusa riguarda affermazioni generali sugli aspetti teorici presentati nel corso. La valutazione del compito tiene conto sia della correttezza sia della chiarezza dei modelli forniti e delle risposte date. Per ciascuna delle 4 parti della prova scritta è indicato il punteggio massimo; facendo la somma si ottiene 32 che corrisponde alla lode. La durata massima della prova è di due ore.

Gli studenti e le studentesse con disabilità o con Disturbi Specifici di Apprendimento (DSA), oltre alla segnalazione tramite procedura informatizzata, sono invitati a comunicare anche direttamente al/la docente titolare dell'insegnamento, con un preavviso non inferiore ad una settimana dall'avvio della sessione d'esame, gli strumenti compensativi concordati con l'Unità Special Needs, al fine di permettere al/la docente la declinazione più idonea in riferimento alla specifica tipologia di esame.