Sillabo dell'insegnamento

• B - Algoritmi
* A - Algoritmi fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Definizioni per ricorrenza. Funzioni e algoritmi ricorsivi in C++.
• C - Programmazione
* SDTD - Strutture Dati e Tipi di Dati astratti
+ AL-FDA - Fundamental Data Structures and Algorithms
Liste semplici e doppie. Vettori di bit.
* PSA - Problem Solving e Algoritmi
+ AL-FDA - Fundamental Data Structures and Algorithms
Implementazione di algoritmi di ordinamento e di programmazione dinamica.
* SDTD - Strutture Dati e Tipi di Dati astratti
+ AL-FDA - Fundamental Data Structures and Algorithms
Rappresentazioni efficienti di alberi e grafi ed implementazione di algoritmi su alberi e grafi.
PP - Paradigmi di Programmazione
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Introduzione alla programmazione delle shell a riga di comando.
• I - Ingegneria del software
* TVV - Testing, Verifica e Validazione
+ SE-SVV - Software Verification and Validation
Robustezza del software, invarianti ed asserzioni. Collaudo statico e dinamico, tracing ed uso del debugger.
MSQ - Misure del Software e Qualita'
SE-SR - Software Reliability
Regole per lo sviluppo di software di qualita', ambienti di sviluppo, chiarezza, ottimizzazione e refactoring. Configurabilita', comunicazione e testualita'.
* PSC - Progettazione del Software e Codifica
+ SE-SDC - Software Design and Construction
Dalla progettazione logica in moduli allo sviluppo su piu' file sorgente. Compilazione separata, collegamento e compilazione automatica.
V - Varie
* SE-SPM - Software Project Management
Aspetti legati alla documentazione del software