MODULO I | Date | Topic | Slides | Notes |
05.10.06 | Introduction | ||
09.10.06 | FAQs about Software Engineering | ||
09.10.06 & 12.10.06 | Socio-Technical Systems | ||
16.10.06 | The Software Development Process | ||
23.10.06 & 26.10.06 | Requirements Analysis | ||
26.10.06 | Requirements Engineering Processes | ||
30.10.06 | System Models I | ||
06.11.06 | System Models II | ||
09.11.06 | System Models III | ||
09.11.06 | System Models II | ||
13.11.06 | System Models IV | ||
16.11.06 | Three Case Studies in (Semi-Formal) System Modeling | ||
20.11.06 | Management | ||
23.11.06 | Software Cost Estimation | ||
27.11.06 | Quality Management | ||
30.11.06 | Verification and Validation | ||
Scritto e verifica laboratorio del 19.12.06 | |||
MODULO II | Date | Topic | Slides | Notes |
08.01.07 | Introduction to Modulo II | ||
10.01.07 & 15.01.07 | Class Diagrams | ||
15.01.07 & 17.01.07 | Propositional Logic | ||
17.01.07 & 24.01.07 | First-Order Logic | ||
24.01.07 | First-Order Theories and Naive Set Theory | ||
31.01.07 | The Object Constraint Language OCL (I) | ||
31.01.07 | The Object Constraint Language OCL (II) | ||
05.02.07 & 07.02.07 | The Object Constraint Language OCL (III) | versione riveduta del 07.02.07 | |
07.02.07 & 14.02.07 | The Object Constraint Language OCL (IV) | versione riveduta del 14.02.07 | |
14.02.07 | Formal Modeling with Z: An Introduction | Dispense su Z di F. Riguzzi (Università di Ferrara), in italiano | |
19.02.07 & 21.02.07 | Formal Modeling with Z II | ||
21.02.07 & 26.02.07 | Formal Modeling with Z III | versione riveduta del 26.02.07 | |
28.02.07 | System Design | ||
28.02.07 & 09.03.07 | System Design II | versione riveduta del 09.03.07 | |
09.03.07 | From models to code | Scritto e verifica laboratorio del 28.03.07 | |
Scritto e verifica laboratorio del 19.06.07 | |||
Scritto e verifica laboratorio del 04.07.07 | |||
Scritto e verifica laboratorio del 06.09.07 | |||
Scritto e verifica laboratorio del 27.09.07 |