Ingegneria del software

Avvisi

# Iscrizione a canale Telegram

Chi non lo avesse già fatto è invitato (opens new window) a iscriversi al gruppo Telegram del corso

# Iscrizione a Gitlab del dipartimento per accesso a materiale corso

Per potere accedere alle slides e ai repository dei laboratori, dopo essersi iscritti a https://gitlab.di.unimi.it (opens new window) si deve inviare via email al professore la richiesta di inserimento nel gruppo studenti2023.

Calendario e Materiale corso

Il vecchio materiale del 2022-23 è ancora raggiungibile qui

Lezioni

Lezione	#	Data	Argomento	Risorse
LEZ01	26/09/2023	26/09	Introduzione. Qualità del software.	Introduzione. Qualità del software.
LEZ02	02/10/2023	02/10	Modelli di ciclo di vita del software	Modelli di ciclo di vita del software
LEZ03	04/10/2023	04/10	Approcci Agile, eXtreme Programming: Planning Game (siamo indietro rispetto a video '22 di circa 30')	Approcci Agile, eXtreme Programming: Planning Game (siamo indietro rispetto a video '22 di circa 30')
LEZ04	09/10/2023	09/10	eXtreme Programming. Open Source.	eXtreme Programming. Open Source.
LEZ05	11/10/2023	11/10	Open Source e SCM	Open Source e SCM
LEZ06	16/10/2023	16/10	SCM e git	SCM e git
LEZ07	18/10/2023	18/10	versioning workflow, intro a Progettazione	versioning workflow, intro a Progettazione
LEZ08	23/10/2023	23/10	Progettazione: code smell e principi	Progettazione: code smell e principi	video '22 (19:09-34:00) video '22 (01:00-37:12)
LEZ09	25/10/2023	25/10	Progettazione: primi pattern	Progettazione: primi pattern
LEZ10	30/10/2023	30/10	Svolgimento e commento laboratorio 3	Svolgimento e commento laboratorio 3
LEZ11	06/11/2023	06/11	NullObject, Startegy, Mocking. Commento laboratorio 4	NullObject, Startegy, Mocking. Commento laboratorio 4
LEZ12	08/11/2023	08/11	Vari pattern: Adapter, Façade, Composite, Decorator, Observer	Vari pattern: Adapter, Façade, Composite, Decorator, Observer
LEZ13	13/11/2023	13/11	Identificazione Classi. UML State diagram.	Identificazione Classi. UML State diagram.
LEZ14	15/11/2023	15/11	Patterns: State, Factory. Musica Maestro Kata	Patterns: State, Factory. Musica Maestro Kata
LEZ15	20/11/2023	20/11	UM diagrams, Patterns: MVC*	UM diagrams, Patterns: MVC*
LEZ16	22/11/2023	22/11	Mocking Costruttori, Domande precompitino	Mocking Costruttori, Domande precompitino
LEZ17	27/11/2023	27/11	Introduzione a Verifica e convalida. Terminologia base	Introduzione a Verifica e convalida. Terminologia base	video '22 (42:06-end) video '22 (tutto) video '22 (start-43:53)
LEZ18	29/11/2023	29/11	Verifica e Convalida: altri criteri di copertura, analisi statica	Verifica e Convalida: altri criteri di copertura, analisi statica
LEZ19	04/12/2023	04/12	Verifica e Convalida: BeBugging, Analisi Mutazionale. test OO.	Verifica e Convalida: BeBugging, Analisi Mutazionale. test OO.
LEZ20	06/12/2023	06/12	Verifica e Convalida: test funzionale, ispezioni, debugging. Specifiche formali: Introduzione alle reti di Petri	Verifica e Convalida: test funzionale, ispezioni, debugging. Specifiche formali: Introduzione alle reti di Petri
LEZ21	11/12/2023	11/12	Specifiche formali: analisi dinamica reti di Petri (marcature raggiungibili e copribili)	Specifiche formali: analisi dinamica reti di Petri (marcature raggiungibili e copribili)
LEZ22	13/12/2023	13/12	Rappresentazione matriciale, analisi statica di reti di Petri: P-invarianti e T-Invarianti	Rappresentazione matriciale, analisi statica di reti di Petri: P-invarianti e T-Invarianti
LEZ23	18/12/2023	18/12	Reti di Petri Temporizzate	Reti di Petri Temporizzate
LEZ24	20/12/2023	20/12	Analisi di reti di petri temporizzate	Analisi di reti di petri temporizzate

Laboratori

Lezione	#	Data	Argomento	Risorse
LAB01	05/10/2023	05/10	Introduzione ai tool git, gradle e IntelliJ	Introduzione ai tool git, gradle e IntelliJ
LAB02	12/10/2023	12/10	Introduzione al TDD con Kata Bowling	Introduzione al TDD con Kata Bowling
LAB03	26/10/2023	26/10	TDD con Forth Interpreter	TDD con Forth Interpreter
LAB04	02/11/2023	02/11	Poker Kata	Poker Kata
LAB05	09/11/2023	09/11	Rubamazzetto Kata	Rubamazzetto Kata
LAB06	16/11/2023	16/11	BlackJack Kata	BlackJack Kata
LAB07	23/11/2023	23/11	Tressette	Tressette
LAB08	30/11/2023	30/11	Inverted Index	Inverted Index
LAB09	14/12/2023	14/12	MVP: temperature	MVP: temperature
LAB10	21/12/2023	21/12	MVP: classifica slalom	MVP: classifica slalom
LAB11	11/01/2024	11/01	MVP: lista spesa distribuita	MVP: lista spesa distribuita

Temi d'esame

#	Data	Titolo	Risorse
26/01/2023	26/01	STAZIONE DEI TRENI	STAZIONE DEI TRENI
06/07/2023	06/07	SAPORE DI SALE (aka BAGNINI)	SAPORE DI SALE (aka BAGNINI)
24/07/2023	24/07	EMERGENZE ESTIVE	EMERGENZE ESTIVE
06/09/2023	06/09	SUPPLENZE SCOLASTICHE	SUPPLENZE SCOLASTICHE