Ingegneria del software @ UNIMI
Il vecchio materiale del 2024-25 (per gli studenti che hanno già seguito il corso) è ancora raggiungibile qui
| Lezione | # | Data | Argomento | Risorse | ||
|---|---|---|---|---|---|---|
| LEZ01 | 01 | 24/09/2025 | 24/09 | Introduzione. Qualità del software. Attività. | 01: Introduzione. Qualità del software. Attività. | slides video video |
| LEZ02 | 02 | 29/09/2025 | 29/09 | Attività e primi modelli. | 02: Attività e primi modelli. | slides video |
| LEZ03 | 03 | 01/10/2025 | 01/10 | Introduzione a metodogie agili e a eXtreme Programming | 03: Introduzione a metodogie agili e a eXtreme Programming | slides video video |
| LEZ04 | 04 | 06/10/2025 | 06/10 | pratiche eXtreme Programming | 04: pratiche eXtreme Programming | slides video video |
| LEZ05 | 05 | 13/10/2025 | 13/10 | Open Source | 05: Open Source | slides video video |
| LEZ06 | 06 | 15/10/2025 | 15/10 | SCM e intro a git e gitflow | 06: SCM e intro a git e gitflow | slides video video |
| LEZ07 | 07 | 20/10/2025 | 20/10 | Build automation tools. Bug tracking. Introduzione progettazione. | 07: Build automation tools. Bug tracking. Introduzione progettazione. | video video |
| LEZ08 | 08 | 22/10/2025 | 22/10 | Principi SOLID. Atrazioni di tipo. | 08: Principi SOLID. Atrazioni di tipo. | slides video video |
| LEZ09 | 09 | 27/10/2025 | 27/10 | Introduzione ai patterm. Singleton, Iterator (audio mancante 😔) | 09: Introduzione ai patterm. Singleton, Iterator (audio mancante 😔) | slides video video |
| LEZ10 | 10 | 29/10/2025 | 29/10 | Nullability, Mocking, Pattern Chain of Responsibility, Strategy | 10: Nullability, Mocking, Pattern Chain of Responsibility, Strategy | slides video video |
| LEZ11 | 11 | 03/11/2025 | 03/11 | Patterns: Adapter, Composite, Decorator, Observer (manca una parte di video in fondo alla prima parte) | 11: Patterns: Adapter, Composite, Decorator, Observer (manca una parte di video in fondo alla prima parte) | slides video video |
| LEZ12 | 12 | 05/11/2025 | 05/11 | Stati astratti e concreti, State Diagram,Kata musica Maestro | 12: Stati astratti e concreti, State Diagram,Kata musica Maestro | slides video video |
| LEZ13 | 13 | 10/11/2025 | 10/11 | fine Kata Musica Maestro, e pattern creazionali | 13: fine Kata Musica Maestro, e pattern creazionali | slides video video |
| LEZ14 | 14 | 17/11/2025 | 17/11 | Ultimi diagrammi UML e inizio Verifica e Convalida | 14: Ultimi diagrammi UML e inizio Verifica e Convalida | slides video video |
| LEZ15 | 15 | 19/11/2025 | 19/11 | Criteri selezione strutturali e Analisi Statica | 15: Criteri selezione strutturali e Analisi Statica | slides video video |
| LEZ16 | 16 | 24/11/2025 | 24/11 | Criteri selezione legati a analisi statica | 16: Criteri selezione legati a analisi statica | slides video video |
| LEZ17 | 17 | 26/11/2025 | 26/11 | Test funzionale, Ispezioni, debugging | 17: Test funzionale, Ispezioni, debugging | slides video video |
| LEZ18 | 18 | 01/12/2025 | 01/12 | Mocking, DI, e Intro a reti di Petri | 18: Mocking, DI, e Intro a reti di Petri | slides video video |
| LEZ19 | 19 | 03/12/2025 | 03/12 | Reti di Petri: relazioni, vitalità, albero di raggiungibilità | 19: Reti di Petri: relazioni, vitalità, albero di raggiungibilità | slides video video |
| LEZ20 | 20 | 17/12/2025 | 17/12 | Reti di Petri: albero di copertura e P-Invarianti | 20: Reti di Petri: albero di copertura e P-Invarianti | slides video video |
| LEZ21 | 21 | 22/12/2025 | 22/12 | Completamento reti di Petri plain | 21: Completamento reti di Petri plain | slides video video |
| LEZ22 | 22 | 12/01/2026 | 12/01 | Reti di Petri Temporizzatore | 22: Reti di Petri Temporizzatore | slides video video |
| LEZ23 | 23 | 14/01/2026 | 14/01 | AI e Programmazione (Matteo Vaccari - ThoughtWorks) | 23: AI e Programmazione (Matteo Vaccari - ThoughtWorks) |
| Lezione | # | Data | Argomento | Risorse | ||
|---|---|---|---|---|---|---|
| LAB01 | 01 | 09/10/2025 | 09/10 | primo laboratorio | 01: primo laboratorio | slides video |
| LAB02 | 02 | 16/10/2025 | 16/10 | Kata Bowling : Introduzione al TDD | 02: Kata Bowling : Introduzione al TDD | slides video |
| LAB03 | 03 | 23/10/2025 | 23/10 | Kata Forth Interpreter: Introduzione a gitflow e refactoring | 03: Kata Forth Interpreter: Introduzione a gitflow e refactoring | video |
| LAB04 | 04 | 30/10/2025 | 30/10 | Kata PokerHand: Chain of responsibility | 04: Kata PokerHand: Chain of responsibility | video |
| LAB05 | 05 | 06/11/2025 | 06/11 | Kata Rubamazzetto | 05: Kata Rubamazzetto | video |
| LAB06 | 06 | 13/11/2025 | 13/11 | Kata TDD Scartino | 06: Kata TDD Scartino | |
| LAB07 | 07 | 20/11/2025 | 20/11 | InvertedIndex | 07: InvertedIndex | video |
| LAB08 | 08 | 27/11/2025 | 27/11 | Kata MVP Temperature | 08: Kata MVP Temperature | video |
| LAB09 | 09 | 04/12/2025 | 04/12 | MVP Slalom Gigante | 09: MVP Slalom Gigante | |
| LAB10 | 10 | 11/12/2025 | 11/12 | MVP Orario Scolastico | 10: MVP Orario Scolastico | video |
| LAB11 | 11 | 18/12/2025 | 18/12 | MVP Babbo Natale (Nel video breve spiegazione quasi solo audio) | 11: MVP Babbo Natale (Nel video breve spiegazione quasi solo audio) | video |
| LAB12 | 12 | 08/01/2026 | 08/01 | Lista della spesa distribuita | 12: Lista della spesa distribuita |
| Data | Titolo | Risorse | ||
|---|---|---|---|---|
| 26/01/2023 | 01/2023 | STAZIONE DEI TRENI | STAZIONE DEI TRENI | tema commenti iniziali svolgimento |
| 06/07/2023 | 07/2023 | SAPORE DI SALE (aka BAGNINI) | SAPORE DI SALE (aka BAGNINI) | tema+sol svolgimento |
| 24/07/2023 | 07/2023 | EMERGENZE ESTIVE | EMERGENZE ESTIVE | tema |
| 06/09/2023 | 09/2023 | SUPPLENZE SCOLASTICHE | SUPPLENZE SCOLASTICHE | tema |
| 12/06/2024 | 06/2024 | AULE ESAMI | AULE ESAMI | tema commenti e svolgimento |
| 17/07/2024 | 07/2024 | PRENOTAZIONI E PAGAMENTI ESCURSIONI | PRENOTAZIONI E PAGAMENTI ESCURSIONI | tema + 2 sol |