Docente
|
MANCINI TONI
(programma)
Le lezioni e le esercitazioni affronteranno il seguente programma, approssimativamente nel suo ordine naturale.
Per ogni punto di primo livello, viene indicata tra parentesi la durata stimata (in percentuale sul totale delle lezioni erogate) della presentazione dei diversi argomenti.
1. Introduzione e cenni di ingegneria del software: attori e ciclo di vita del software (10% circa delle lezioni)
2. Analisi concettuale dei requisiti (50% circa delle lezioni)
2.1. Analisi dei requisiti sui dati mediante diagrammi ER
2.2. Analisi dei requisiti sulle funzionalità mediante diagrammi UML degli use-case
2.3. Formalizzazione della semantica dei diagrammi ER mediante logica del primo ordine e specifiche formali dei vincoli sui dati non esprimibili in ER mediante formule in logica del primo ordine
2.4. Specifiche formali delle funzionalità (operazioni di use-case) mediante pre- e post-condizioni espresse in logica del primo ordine
3. Progettazione di basi di dati relazionali e di applicazioni per basi di dati a partire dall'output della fase di Analisi concettuale dei requisiti (40% circa delle lezioni):
3.1. Progettazione di una base dati relazionale con vincoli a partire da un diagramma ER concettuale con vincoli esterni e informazioni sul carico di lavoro e sui volumi dei dati
3.2. Progettazione delle funzionalità di un'applicazione di basi di dati mediante algoritmi in pseudo-codice e comandi in linguaggio SQL, a partire dalle specifiche formali delle funzionalità
3.3. Il linguaggio SQL: domini, istruzioni select-from-where-group by-having-order by, operatori aggregati, interrogazioni nidificate, operatori insiemistici, istruzioni insert, delete, update, create/drop domain, create/drop table, vincoli di chiave e di integrità referenziale, clausole check, trigger, viste, controllo dell'accesso, transazioni, indici.
Materiale didattico reso disponibile dal docente sulla piattaforma webUnitelma.
|