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