Didattica

Ingegneria del software @ UNIMI

Ingegneria del software

Corso della Laurea triennale in Informatica

Avvisi

Iscrizione a canale Telegram

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

Laboratori

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

Temi d'esame

Data	Titolo	Risorse
26/01/2023	01/2023	STAZIONE DEI TRENI	STAZIONE DEI TRENI
06/07/2023	07/2023	SAPORE DI SALE (aka BAGNINI)	SAPORE DI SALE (aka BAGNINI)
24/07/2023	07/2023	EMERGENZE ESTIVE	EMERGENZE ESTIVE
06/09/2023	09/2023	SUPPLENZE SCOLASTICHE	SUPPLENZE SCOLASTICHE
12/06/2024	06/2024	AULE ESAMI	AULE ESAMI
17/07/2024	07/2024	PRENOTAZIONI E PAGAMENTI ESCURSIONI	PRENOTAZIONI E PAGAMENTI ESCURSIONI