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 studenti2024.

Calendario e Materiale corso

Il vecchio materiale del 2023-24 è ancora raggiungibile qui

Lezioni

Lezione#DataArgomentoRisorse
LEZ010125/09/202425/09Introduzione. Qualità del software.01: Introduzione. Qualità del software.
LEZ020230/09/202430/09Attività e primi modelli.02: Attività e primi modelli.


LEZ030302/10/202402/10Metodi agili e extreme programming03: Metodi agili e extreme programming


LEZ040407/10/202407/10extreme programming04: extreme programming


LEZ050509/10/202409/10open source05: open source


LEZ060614/10/202414/10Versioning e Git06: Versioning e Git


LEZ070716/10/202416/10gitflow, pullrequest, gerrit, build automation07: gitflow, pullrequest, gerrit, build automation


LEZ080821/10/202421/10RUP, Introduzione a progettazione08: RUP, Introduzione a progettazione


LEZ090923/10/202423/10Introduzione ai Pattern e Metapattern, Pattern Singleton, Iterator09: Introduzione ai Pattern e Metapattern, Pattern Singleton, Iterator


LEZ101028/10/202428/10Nullability, Mocking, Pattern Chain of Responsibility10: Nullability, Mocking, Pattern Chain of Responsibility


LEZ111130/10/202430/10Delegation, pattern Adapter, pattern Composite11: Delegation, pattern Adapter, pattern Composite


LEZ121204/11/202404/11Discussione laboratorio 512: Discussione laboratorio 5

LEZ131306/11/202406/11Pattern Decorator e Pattern Observer13: Pattern Decorator e Pattern Observer


LEZ141411/11/202411/11Commenti Lab6, GitFlow errors, Class discovery14: Commenti Lab6, GitFlow errors, Class discovery


LEZ151513/11/202413/11UML digramma degli stati. Kata Musica Maestro15: UML digramma degli stati. Kata Musica Maestro


LEZ161618/11/202418/11Conclusione Kata e ultimi pattern16: Conclusione Kata e ultimi pattern


LEZ171720/11/202420/11Builder, Ultimi diagrammi UML e inizio Verifica e Convalida 17: Builder, Ultimi diagrammi UML e inizio Verifica e Convalida


LEZ181827/11/202427/11Introduzione al testing, Analisi statica e Data Flow 18: Introduzione al testing, Analisi statica e Data Flow


LEZ191902/12/202402/12Altri criteri di copertura. Test unità e OO. Test Mutazionale. Testing Funzionale.19: Altri criteri di copertura. Test unità e OO. Test Mutazionale. Testing Funzionale.


LEZ202004/12/202404/12Ispezioni, debugging. Specifiche formali: Introduzione alle reti di Petri20: Ispezioni, debugging. Specifiche formali: Introduzione alle reti di Petri


LEZ212109/12/202409/12Analisi di reti di Petri. Albero di raggiungibilità e Albero di Copertura (delle marcature raggiungibili)21: Analisi di reti di Petri. Albero di raggiungibilità e Albero di Copertura (delle marcature raggiungibili)


LEZ222211/12/202411/12Discussione laboratorio 1022: Discussione laboratorio 10

LEZ232316/12/202416/12Rappresentazione matriciale, analisi statica di reti di Petri: P-invarianti e T-Invarianti. Intro a reti temporizzate.23: Rappresentazione matriciale, analisi statica di reti di Petri: P-invarianti e T-Invarianti. Intro a reti temporizzate.


LEZ242418/12/202418/12Analisi di reti di petri temporizzate24: Analisi di reti di petri temporizzate

Laboratori

Lezione#DataArgomentoRisorse
LAB010103/10/202403/10Introduzione ai tool git, gradle e IntelliJ01: Introduzione ai tool git, gradle e IntelliJ
LAB020210/10/202410/10Introduzione al TDD (con JUnit) con Kata 'Bowling Score'02: Introduzione al TDD (con JUnit) con Kata 'Bowling Score'
LAB030317/10/202417/10Introduzione a gitflow e refactoring: Forth Interpreter03: Introduzione a gitflow e refactoring: Forth Interpreter
LAB040424/10/202424/10Kata PokerHand04: Kata PokerHand
LAB050531/10/202431/10Kata Rubamazzetto (vd anche lez.12)05: Kata Rubamazzetto (vd anche lez.12)
LAB060607/11/202407/11Kata Tresette06: Kata Tresette
LAB070714/11/202414/11Kata Scartino07: Kata Scartino
LAB080821/11/202421/11Inverted Index08: Inverted Index
LAB090928/11/202428/11MVP: temperature09: MVP: temperature
LAB101005/12/202405/12MVP: classifica slalom10: MVP: classifica slalom
LAB111112/12/202412/12MVP: Lista spesa11: MVP: Lista spesa
LAB121219/12/202419/12MVP: Santa Claus...12: MVP: Santa Claus...

Temi esame

DataTitoloRisorse
26/01/202301/2023STAZIONE DEI TRENISTAZIONE DEI TRENI


06/07/202307/2023SAPORE DI SALE (aka BAGNINI)SAPORE DI SALE (aka BAGNINI)

24/07/202307/2023EMERGENZE ESTIVEEMERGENZE ESTIVE
06/09/202309/2023SUPPLENZE SCOLASTICHESUPPLENZE SCOLASTICHE
12/06/202406/2024AULE ESAMIAULE ESAMI

17/07/202407/2024PRENOTAZIONI E PAGAMENTI ESCURSIONIPRENOTAZIONI E PAGAMENTI ESCURSIONI

Docenti

Carlo Bellettini

Carlo Bellettini

 carlo.bellettini@unimi.it

 +39 02 503 16255

Mattia Monga

Mattia Monga

 mattia.monga@unimi.it

 +39 02 503 16238