DidaWiki

1. Lunedì 18/9, 9-11: Introduzione, temi di ingegneria del sw, concetti di base
2. Mercoledì 20/09, 9-11: Modelli di ciclo di vita, Agile
3. Lunedi 25/9, 9-11: Analisi dei requisiti. Materiale da consultare:
   • Alcuni documenti non ancora elaborati Vasa, PisaMover, Rebu.
   • Esempi di documenti dei requisiti di provenienza industriale: eirene sys, MultiMahjong, Nasa's X-38 Fault Tolerant System Services
   • Esempio di elaborazione di un documento: House of Cars: testo iniziale House of Cars: documento dei requisiti (con domande per committente)
   • Esempio di disambiguazione su La piscina. Documento annotato: documento
   • Homework: Fino a qui tutto bene: individuare difetti e scrivere un documento dei requisiti secondo uno standard (separando dominio da reqisiti e requisiti funzionali da non funzionali, …)
4. Mercoledì 27/09, 9-11: Introduzione a UML + Casi d'uso Capitoli UML@Classroom: basta il terzo
5. Lunedì 2/10: Esercitazione requisiti e casi d'uso
6. Martedì 3/10: Diagramma delle classi e diagramma degli oggetti
7. Mercoledì 4/10: Esercitazione Classi e Oggetti, Diagrammi di Attività
8. Lunedì 9/10: Diagramma di macchina a stati, aggiornato
9. Mercoledì 11/10: Esercitazione Attività, Stati, caso di studio Piscina (Stati aggiornato il 12/10)
10. Lunedì 16/10: esercitazione Sci Club: esercitazione di tipo laboratoriale svolta a gruppi. Mandare soluzione entro stasera per email
11. Mercoledì 18/10: Correzione esercitazione
12. Lunedì 23/10: Architetture software: diverse viste e diversti stili architetturali
13. Mercoledì 25/10: Diagrammi di sequenza con esercizi, esercizi architetture (aggiornati dopo lezione)
14. Lunedì 30/10: Principi di progettazione, SOLID, introduzione a GRASP
15. Mercoledì 1/11/23: Festa
16. Lunedi 6/11: Introduzione ai design patterns, Strategy
17. Mercoledì 8/11: Avoid Inheritance if you can, Una discussione sui problemi dell'uso dell'ereditarietà nella progettazione OO (e perché è meglio evitare di usarla), by Leonardo Bartoloni. State pattern
18. Lunedì 13/11: Pattern creazionali: Factories (Concrete Factory, Factory method, Abstract Factory) e Singleton
19. Mercoledì 15/11: Software Product Lines e empirical software engineering Esercitazione su uso LLMs in ingegneria del software, DA FARE SOLO IN AULA CON LE MIE ISTRUZIONI: https://docs.google.com/forms/d/1OBOBSzubv0rooEoGU9oTq30jD7qIgHb7vwv8sTCaK00/edit. Design pattern: Decorator, Adapter, Proxy
20. Lunedì 20/11: Esercitazione Progettazione
21. Mercoledì 22/11: introduzione alla verifica, verifiche statiche, verifiche dinamiche (i.e. testing); Criteri per la costruzione di batterie di test. Criteri black box
22. Lunedì 27/11: correzione Esercitazione Progettazione; Criteri per la costruzione di casi di test: test combinatorio (fine lucidi lezione prededente)
23. Mercoledì 29/11: Criteri per la costruzione di casi di test: Criteri white box; test mutazionale Esercizi di verifica
24. Lunedì 4/12: Esercitazione sul caso Fino a Qui Tutto Bene (aggiornato pomeriggio dopo lezione): ascoltare la discussione a lezione (la registro) per confronto con altre soluzioni possibili
25. Mercoledì 6/12: Esercitazione: Il torneo di calcetto (in attesa della partita del secolo XXI): ascoltare la discussione a lezione (la registro) per i molti commenti sulla soluzione proposta che serve da guida alla lezione

FINE LEZIONI!

Lunedì 11/12: ore 9 aula E: question time sul progetto del primo appello, che verrà pubblicato venerdì

• L'appello straordinario autunnale per F.C. e lavoratori, 2 novembre ore 14, si è basato sul progetto Mercoledì. Orali nel mio ufficio a partire da lunedì 5/11, con iscrizione su foglio excel sul canale Teams dell'A.A 22-23
• Lo scritto del primo appello si baserà sul progetto Il Treno. Compito A, Compito B
• Pubblico una soluzione al compito di dicembre. Ricordo che le soluzioni corrette sono molte, quella proposta è solo una possibile tra esse: Soluzione compito A Soluzione compito B
• Il secondo appello dell'11 gennaio alle 14 si è basato sul caso di studio Il pranzo di Babette. Una possibile soluzione.
• L'appello straordinario del 12 marzo 2024 si baserà sul caso di studio Gli occhiali d'oro. Testo, una possibile soluzione.
• Il terzo appello, del 21 maggio 2024, si basa sul caso di studio Piattaforma di Supporto per la Gestione delle Delibere della Commissione Piani di Studio. Una possibile soluzione
• Il quarto appello, del 14 giugno 2024, si basa sul caso di studio Gli internazionali di Roma. Question & Answers + Dobbiamo tenere presente che sia gli arbitri che gli amministratori sono già creati? Risposta: Gli amministratori esistono già, loro registrano gli arbitri. Testo e una possibile soluzione.
• Il quinto appello, del 10 luglio 2024, si basa sul caso di studio Le celebrazioni di San Ranieri. Pubblico i risultati su Teams, per accettare il voto dovete seguire le istruzioni. Una possibile Soluzione
• Il sesto appello, del 4 settembre 2024, si basa sul caso di studio The Blues Brothers. Gli orali saranno nel mio ufficio il 6 e il 9 settembre, potete registrarvi in uno slot orario accedendo al canale (generale) del corso, poi → File → SlotOrali….

1. Object Oriented and Classical Software Engineering, Stephen R.Schach, Fifth edition, McGraw Hill, Capitoli: 1-3-10 e Object-Oriented Software Engineering, David C. Kung, Capitolo 2
2. UML@Classroom, Martina Seidl, Marion Scholz, Christian Huemer, Gerti Kappel, Springer Verlag, 2015.
3. Dispensa di architettura e progettazione di dettaglio.
4. Dispensa sulla verifica
5. Capitoli: 1-2-9-10-11-12-16-17-18 del libro “Software Testing and Analysis: Process, Principles, and Techniques” di Mauro Pezzè e Michal Young, nella versione free che potete richiedere seguendo le istruzioni date nella prima lezione.

1. Durante il corso useremo Visual Paradigm (editor UML), E' disponibile free la Community Edition: https://www.visual-paradigm.com/download/community.jsp
2. Articolo How the Boeing 737 Max Disaster Looks to a Software Developer
3. Riassunto di UML 2.0 in 33 pagine illustrate, tutto quello che avreste sempre voluto sapere su UML e non avete mai osato chiedere.
4. Testi di alcuni casi di studio per le esercitazioni
5. Handbook of Software Engineering, a cura di Sungdeok Cha, Richard N. Taylor, Kyochul Kang, Springer, 2019, Disponibile per gli studenti di unipi alla pagina