Course Contents
Introduzione al Processo Software
Cicli di Vita
Gestione dei Requisiti
Modelli di Fase d’Analisi
- Il DFD
- Sincronizzazione
- Specifiche di sincronizzazione non ambigue
- Automi
- Complementi sugli automi
- Complementi sugli automi (2)
- Complementi sugli automi (3)
- Reti di Petri
- Reti di Petri (2)
- Estensioni alle Reti di Petri
- Rappresentazione dei vincoli
- Reti a numero finito di colori
- Reti a numero infinito di colori
- Linguaggi di specifica formale
- Complementi sul linguaggio Z (1)
- Complementi sul linguaggio Z (2)
- Modelli astratti
- Tecniche di descrizione architetturale
Progettazione del software
Test e verifica
Gestione della configurazione software
Il Software come Prodotto
Introduzione alle metriche
- Il mese uomo
- Calcolo del costo minimo
- Misure funzionali
- Slide Prof. Gianini: “The mythical Man-Month“