Architetture Software / Ingegneria del Software (A.A. 08/09

MODULO I: teoria
Date  Topic  Slides  Notes 
07.10.08  Introduction  pdf versione del 08.10.08 (calendario delle lezioni aggiornato)
08 & 14.10.08  FAQs about Software Engineering  pdf
03.11.08  Socio-Technical Systems  pdf versione del 03.11.08 (grafici migliorati e calendario delle lezioni aggiornato)
04 & 05.11.08  The Software Development Process  pdf
05 & 10.11.08  Requirements Analysis  pdf
10 & 11.11.08  Requirements Engineering Processes  pdf
18 & 19.11.08  System Models I  pdf
19.11.08  System Models II  pdf
25 & 26.11.08  System Models III  pdf
02.12.08  System Models IV  pdf
Three Case Studies in (Semi-Formal) System Modeling  pdf Lezione spostata al 16.12.08
03.12.08  Management  pdf
09 & 10.12.08  Software Cost Estimation  pdf
Quality Management  pdf

Gruppi Laboratorio, Introduzione ad ArgoUML, Esami AA 06/07, Esami AA 07/08. Scritto 09.01.09. Verifica Lab 09.01.09. Scritto 08.04.09. Verifica Lab 08.04.09. Scritto 02.07.09 e 30.07.09. Verifica Lab 02.07.09 e 30.07.09. Scritto 07.09.09. Verifica Lab 07.09.09. Scritto 25.09.09. Verifica Lab 25.09.09.

MODULO I: Laboratorio
Date  Topic  Slides  Notes 
17.11.08  Introduction to Design Patterns and Strategy Pattern  Strategy. Strategy duck-example. About interfaces. Codice SimUDuck. Cambio di comportamento a run time. Design Puzzle. Design Puzzle solution
24.11.08  Observer Pattern and Decorator Pattern  Observer. Weather Station. Decorator. Starbuzz. Primo assegnamento.
01.12.08  Factory Pattern and Adapter and Facade Pattern  Factory. pizzas. pizzafm.
Adapter e Facade. Ducks. IterEnum. HomeTheater.
15.12.08  State Pattern and Iterator Pattern  State. gumball.tar.gz. gumballstate.tar.gz. gumballstatewinner.tar.gz.
Iterator. iterator code.
Secondo assegnamento.

MODULO II: teoria
Date  Topic  Slides  Notes 
29.01.09  Introduction to Modulo II  pdf
02.02.09  Propositional Logic  pdf
09.02.09  First-Order Logic  pdf
11.02.09  First-Order Theories and Set Theory  pdf
16.02.09  The Object Constraint Language OCL I  pdf
23 & 26.02.09  The Object Constraint Language OCL II  pdf versione del 01.03.09 (piccole correzioni)
02.03.09  The Object Constraint Language OCL III  pdf
02.03.09  Formal Modeling with Z: An Introduction  pdf Dispense su Z di F. Riguzzi (Università di Ferrara), in italiano
05.03.09  Formal Modeling with Z II  pdf
09 & 16.03.09  Formal Modeling with Z III  pdf
19.03.09  System Design I  pdf
19.03.09  System Design II  pdf
22.03.09  From models to code  pdf

MODULO II: Laboratorio
Date  Topic  Slides  Notes 
02.03.09  Use  Introduzione a Use. Esercizio. Soluzione. Pre e Post Condizioni in Use.
09.03.09  Esercizio in preparazione all'assegnamento   Dispense. Assegnamento OCL.

Assegnamento di recupero design patterns. Assegnamento di recupero OCL.