| Lez. 1. |
Introduzione al corso |
| Lez. 2. |
Il ciclo di vita del software: modello a cascata |
| Lez. 3. |
Altri modelli del ciclo di vita |
| Lez. 4. |
Qualitą del software (parte I) |
| Lez. 5. |
Qualitą del software (parte II) |
| Lez. 6. |
Introduzione all'analisi e specifica dei requisiti |
| Lez. 7. |
Diverse "viste" nell'analisi dei requisiti |
| Lez. 8. |
I diagrammi di flusso dei dati (parte I) |
| Lez. 9. |
I diagrammi di flusso dei dati (parte II) |
| Lez. 10. |
Gli automi a stati finiti nella specifica dei requisiti (parte I) |
| Lez. 11. |
Gli automi a stati finiti nella specifica dei requisiti (parte II) |
| Lez. 12. |
Dagli automi a stati finiti alle reti di Petri |
| Lez. 13. |
Le reti di Petri (parte I) |
| Lez. 14. |
Le reti di Petri (parte II) |
| Lez. 15. |
Le reti di Petri (parte III) |
| Lez. 16. |
Le reti di Petri (parte IV) |
| Lez. 17. |
Esercizi di specifica |
| Lez. 18. |
Specifiche orientate ai dati |
| Lez. 19. |
Progettazione (parte I) |
| Lez. 20. |
Progettazione (parte II) |
| Lez. 21. |
Progettazione (parte III) |
| Lez. 22. |
Progettazione (parte IV) |
| Lez. 23. |
Progettazione (parte V) |
| Lez. 24. |
Esempi di progettazione |
| Lez. 25. |
Esempio di progettazione. Progettazione orientata a oggetti (parte I) |
| Lez. 26. |
Progettazione orientata a oggetti (parte II) |
| Lez. 27. |
Progettazione orientata a oggetti (parte III) |
| Lez. 28. |
Il controllo di qualitą: aspetti generali. Verifica statica |
| Lez. 29. |
Teoria del software: terminologia e teoria |
| Lez. 30. |
Teoria del test. Debugging. Classificazione di metodi di test |
| Lez. 31. |
Test strutturale ("White Box") |
| Lez. 32. |
Test funzionale ("Black Box") |
| Lez. 33. |
Esecuzione simbolica (parte I) |
| Lez. 34. |
Esecuzione simbolica (parte II). Test di integrazione, di sistema e di
regressione |
| Lez. 35. |
Gestione dei progetti (parte I) |
| Lez. 36. |
Gestione dei progetti (parte II) |
| Lez. 37. |
Gestione dei progetti (parte III) |
| Lez. 38. |
Gestione dei progetti (parte IV) |
| Lez. 39. |
Gestione delle configurazioni. Strumenti e ambienti (parte I) |
| Lez. 40. |
Strumenti e ambienti (parte II). Lo standard ISO 9000. Conclusioni |