MODULO I: teoria | Date | Topic | Slides | Notes |
07.10.08 | Introduction | versione del 08.10.08 (calendario delle lezioni aggiornato) | |
08 & 14.10.08 | FAQs about Software Engineering | ||
03.11.08 | Socio-Technical Systems | versione del 03.11.08 (grafici migliorati e calendario delle lezioni aggiornato) | |
04 & 05.11.08 | The Software Development Process | ||
05 & 10.11.08 | Requirements Analysis | ||
10 & 11.11.08 | Requirements Engineering Processes | ||
18 & 19.11.08 | System Models I | ||
19.11.08 | System Models II | ||
25 & 26.11.08 | System Models III | ||
02.12.08 | System Models IV | ||
Three Case Studies in (Semi-Formal) System Modeling | Lezione spostata al 16.12.08 | ||
03.12.08 | Management | ||
09 & 10.12.08 | Software Cost Estimation | ||
Quality Management |
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 | ||
02.02.09 | Propositional Logic | ||
09.02.09 | First-Order Logic | ||
11.02.09 | First-Order Theories and Set Theory | ||
16.02.09 | The Object Constraint Language OCL I | ||
23 & 26.02.09 | The Object Constraint Language OCL II | versione del 01.03.09 (piccole correzioni) | |
02.03.09 | The Object Constraint Language OCL III | ||
02.03.09 | Formal Modeling with Z: An Introduction | Dispense su Z di F. Riguzzi (Università di Ferrara), in italiano | |
05.03.09 | Formal Modeling with Z II | ||
09 & 16.03.09 | Formal Modeling with Z III | ||
19.03.09 | System Design I | ||
19.03.09 | System Design II | ||
22.03.09 | From models to code |
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.