1. Introduzione al corso (20.2)
2. Il ciclo di vita del sw (22.2)
3. Requisiti del Sofware (27.2)
4. Requisiti: il metodo Jackson (1.3)
5. Introduzione a UML, diagramma dei casi d'uso (6.3)
6. Esercitazione (8.3)
7. Diagramma delle classi e Diagramma degli oggetti (13.3)
8. Diagramma delle classi e Diagramma degli oggetti, Esercitazione (15.3)
9. Diagramma di Attività e Diagramma di Macchina a Stati (20.3)
10. Esercitazione (22.3)
11. Diagrammi di sequenza (27.03)
12. Esercitazione (29.3)
13. Presentazione del caso di studio per gli appeli di quest'anno. Progettazione (3.4)
14. Architetture: viste e stili (5.4)
15. 10.4: Prima Verifica e Appello straordinario. (Risultati appello straordinario e date orali in avvisi corso B)
16. Architetture: viste e stili (24.4)
17. Esercitazione di architetture (26.4)
18. Esercitazione di architetture, Progettazione di dettaglio: diagrammi di struttura composita (3.5)
19. Design patterns: Factories e Singleton (8.5)
20. Verifica e Validazione (10.5)
21. Progettazione delle prove (15.5)
22. Esercitazione di Verifica (17.5)
23. Esercitazione (22.5)
24. Approfondimento: problem frames, prima parte seconda parte (24.5)
25. Esercitazione (29.5)

Caso di Studio: PisaMover

• Prima verifica: testo.
• Seconda Verifica: testo.
• Primo appello: testo.
• Secondo appello: testo.
• Terzo appello: testo.
• Quarto appello: testo.
• Quinto appello: testo