Carlo Bellettini

-

Materiale corso 2022

Lezioni

Lezione#DataArgomentoRisorse
LEZ010103/10/202203/10Introduzione. Qualità del software01: Introduzione. Qualità del software


LEZ020205/10/202205/10Modello di ciclo di vita del software Waterfall (Cascata)02: Modello di ciclo di vita del software Waterfall (Cascata)


LEZ030310/10/202210/10eXtreme Programming03: eXtreme Programming


LEZ040412/10/202212/10Open Source Process04: Open Source Process


LEZ050517/10/202217/10SCM e git05: SCM e git


LEZ060619/10/202219/10versioning workflow: git-flow, pull request06: versioning workflow: git-flow, pull request


LEZ070724/10/202224/10Progettazione: introduzione07: Progettazione: introduzione


LEZ080826/10/202226/10Progettazione: interface segregation, e primi patterns 08: Progettazione: interface segregation, e primi patterns


LEZ09092/11/20222/11/Progettazione: processo TDD nel lab 0409: Progettazione: processo TDD nel lab 04


LEZ10107/11/20227/11/Progettazione: pattern observer e mocking10: Progettazione: pattern observer e mocking


LEZ11119/11/20229/11/Progettazione: pattern adapter, facade, composite, decorator11: Progettazione: pattern adapter, facade, composite, decorator

LEZ121214/11/202214/11Progettazione: mocking, noun extraction, state diagram12: Progettazione: mocking, noun extraction, state diagram


LEZ131316/11/202216/11Progettazione: superstates, pattern state, factory method, abstract factory, kata musica maestro13: Progettazione: superstates, pattern state, factory method, abstract factory, kata musica maestro


LEZ141421/11/202221/11Progettazione: kata musica maestro, UML use case e activity diagram14: Progettazione: kata musica maestro, UML use case e activity diagram


LEZ151523/11/202223/11Progettazione: UML component e deployment diagram, MV* pattern. Verifica e Convalida: terminologia base e primo criterio copertura15: Progettazione: UML component e deployment diagram, MV* pattern. Verifica e Convalida: terminologia base e primo criterio copertura


LEZ161628/11/202228/11Verifica e Convalida: altri criteri di copertura, analisi statica e nuovi criteri copertura16: Verifica e Convalida: altri criteri di copertura, analisi statica e nuovi criteri copertura


LEZ171730/11/202230/11Verifica e Convalida: correzione video kata, pattern BUILDER, test mutazionale, test OO17: Verifica e Convalida: correzione video kata, pattern BUILDER, test mutazionale, test OO


LEZ18185/12/20225/12/Verifica e Convalida: test funzionale, ispezioni del codice, debugging18: Verifica e Convalida: test funzionale, ispezioni del codice, debugging


LEZ191912/12/202212/12Specifiche formali: Introduzione alle reti di Petri19: Specifiche formali: Introduzione alle reti di Petri


LEZ202014/12/202214/12Specifiche formali: analisi dinamica reti di Petri (marcature raggiungibili e copribili) (video seconda parte non disponibile)20: Specifiche formali: analisi dinamica reti di Petri (marcature raggiungibili e copribili) (video seconda parte non disponibile)

LEZ212119/12/202219/12Specifiche formali: analisi statica reti di Petri (P-Invarianti). Introduzione a reti temporizzate21: Specifiche formali: analisi statica reti di Petri (P-Invarianti). Introduzione a reti temporizzate


LEZ222221/12/202221/12Commenti a Lab07. Soluzione esercizio. Specifiche formali: introduzione a reti TB22: Commenti a Lab07. Soluzione esercizio. Specifiche formali: introduzione a reti TB


LEZ232309/01/202309/01Analisi di reti Temporizzate23: Analisi di reti Temporizzate


LEZ242411/01/202311/01Commenti e svolgimento Lab1024: Commenti e svolgimento Lab10

Laboratori

Lezione#DataArgomentoRisorse
LAB010106/10/202206/10Introduzione ai tool git, gradle e IntelliJ01: Introduzione ai tool git, gradle e IntelliJ
LAB020213/10/202213/10Kata Bowling : Introduzione al TDD02: Kata Bowling : Introduzione al TDD
LAB030320/10/202220/10Kata Forth : TDD e refactoring03: Kata Forth : TDD e refactoring
LAB040427/10/202227/10PokerHand kata04: PokerHand kata
LAB05053/11/20223/11/Rubamazzetto kata05: Rubamazzetto kata
LAB060610/11/202210/11BlackJack kata06: BlackJack kata
LAB070717/11/202217/11Briscola a 2 kata07: Briscola a 2 kata
LAB080824/11/202224/11Inverted Index08: Inverted Index
LAB09091/12/20221/12/Facebuk friends09: Facebuk friends
LAB101015/12/202215/12MVP: temperature10: MVP: temperature
LAB111112/01/202312/01SLALOM GIGANTE FEMMINILE11: SLALOM GIGANTE FEMMINILE
LAB121219/01/202319/01LISTA DELLA SPESA DISTRIBUITA12: LISTA DELLA SPESA DISTRIBUITA