Docente
|
MANCINI TONI
(programma)
1. Introduzione e cenni di ingegneria del software: attori e ciclo di vita del software
2. Analisi concettuale dei requisiti:
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:
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.
|