Sillabo dell'insegnamento

• B - Algoritmi
* A - Algoritmi fondamentali
Algoritmi e Strutture Dati. Esempi di Algoritmi diversi per la soluzione di uno stesso problema. Analisi Empiriche. Analisi degli algoritmi. Le notazioni O grande, Omega e Theta. Analisi caso pessimo, caso ottimo e caso medio. Velocità di crescita delle funzioni. Risoluzione delle funzioni di ricorrenza. Il Master Theorem.
* A - Algoritmi fondamentali
Algoritmi di Ordinamento. Il Selectionsort, l'Insertionsort, il Mergesort, l'Heapsort, il Quicksort, il Countingsort e il Radixsort. Analisi worst case e analisi caso medio del quicksort.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Tecnica del Divide et Conquer. Esempi. La Programmazioni Dinamica. Esempi: numero di fibonacci, distanza fra due stringhe.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Tecniche Greedy: Optimal Storage on Tapes. Il Problema dello Zaino: soluzione greedy. Esempi: Ricerca Minimo e Massimo, Distributore automatico di resto, Moltiplicazione di Matrici; Prodotto di n matrici. Longest Common Subsequence.
* SDF - Strutture di Dati Fondamentali
Rappresentazione di Grafi, Visite su Grafi,
* ASC - Algoritmi su Strutture Combinatorie
Biconnettivita' e Connettivita' Forte, Algoritmi di Spanning Tree Minimo, Algoritmi per Cammini Ottimi.
* ASC - Algoritmi su Strutture Combinatorie
Algoritmi su grafi. Albero di ricopriento di costo minimo di un albero non orientato: Algoritmo di Kruskal e algoritmo di Prim.
* ASC - Algoritmi su Strutture Combinatorie
Biconnettività su un grafo non orientato. Connettività forte su un grafo orientato.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Relazione tra Macchina di Turing e RAM. Complessità Computazionale e Linguaggi di Programmazione ad Alto Livello.

Sillabo dell'insegnamento

• B - Algoritmi
* SDF - Strutture di Dati Fondamentali
Introduzione al concetto di misura e rappresentazione dei dati in tabelle
AN - Algoritmi Numerici
Metodi di riduzione della dimensionalità dei dati: Singular Value Decomposition,Principal Component Analysis, Fisher Discriminant Analysis, Random Projections.
TAA - Tecniche Algoritmiche Avanzate
Metodi di clustering: Kmeans, Single Link, Complete Link, Average LINK, ISODATA, basati su euristiche)
SDA - Strutture di Dati Avanzate
Validazione: indici di validazione del clustering, matrici di confusione,curve ROC
• M - Rappresentazione della conoscenza
* SBC - Sistemi Basati su Conoscenza
Metodi di classificazione: Classificatore bayesiano, classificatore k-vicini, LDA, Support vector machines, reti neurali
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Metodi kernel: Funzioni Kernel, Support vector machines

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
MG - Modellazione Geometrica
retina digitale; intorni digitali; teorema di shannon; paradosso di jordan; metriche discrete;
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
operatori aritmetici e logici; bitplane e codici di Gray; formula di Eulero;rotazione e ridimensionamento di immagini (interpolazioni nearest, bilineare e bicubica); immagini truecolor e indicizzate; quantizzazione; GIMP, MatLab
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
principali filtri (media, mediano, Gauss, Laplace, sharpen, Sobel, Prewitt); istogrammi; stretching; equalizzazione;
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
morfologia matematica a scala di grigio (erosione, dilatazione, apertura, chiusura, individuazione contorni, top-hat, bottom-hat, kappa and sharpen); minimo rettangolo di ricoprimento; granulometria;
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
fixed/optimal/adaptive/iterative/dynamic threshold; compressione di immagini digitali (lossy/lossless); misure di errore; codifica interlacciata;
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
cenni ai principali formati grafici (bmp/gif/jpg); segmentazione; quadtree (compressione, e split+merge); trasformata discreta coseno; short-time-fourier-transform; wavelets e filter bank; trasformata di Haar; decomposizione standard e non-standard; algoritmo a trous.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/05 - Analisi Matematica
Insiemi e Numeri Reali.
MAT/05 - Analisi Matematica
Relazioni e Funzioni.
MAT/05 - Analisi Matematica
Limiti
MAT/05 - Analisi Matematica
Successioni Numeriche.
MAT/05 - Analisi Matematica
Calcolo Differenziale per Funzioni di Una Variabile Reale.
MAT/05 - Analisi Matematica
Integrali Indefiniti.
MAT/05 - Analisi Matematica
Integrazione secondo Riemann
MAT/05 - Analisi Matematica
Serie Numeriche.
MAT/05 - Analisi Matematica
Funzioni di Piu' Variabili Reali.
MAT/05 - Analisi Matematica
Serie di Funzioni e Sviluppi in Serie
MAT/05 - Analisi Matematica
Integrazione di Funzioni di Piu' Variabili Equazioni Differenziali Ordinarie.
MAT/05 - Analisi Matematica
Calcolo Differenziale di Funzioni di Piu' Varabili Reali

Sillabo dell'insegnamento

• E - Architetture
* CCS - Circuiti combinatori e sequenziali
Circuiti combinatori: Algebra di Boole. Funzioni logiche MSI: Multiplexer; Demulptiplexer; Decoder; Encoder; Priority Encoder; Comparator; Parity generator e Parity check;
* CCS - Circuiti combinatori e sequenziali
Shifter e barrel Shifter; Convertitore di codici. Circuiti sequenziali: Latch e Flip-Flop. Registri di memoria;
* CCS - Circuiti combinatori e sequenziali
Contatori Asincroni e Contatori Sincroni a modulo fisso arbitrario e con sequenza di conteggio: binario, decimale e gray, a modulo programmabile presettabili e non presettabili;
* CCS - Circuiti combinatori e sequenziali
Contatori ad anello; Registri a scorrimento univerale (left/right shift, serial/parallel load).
* AC - Aritmetica dei calcolatori
Funzioni Aritmetiche: Half Adder, Full Adder, Parallel adder, Look-Ahead Adder
* AC - Aritmetica dei calcolatori
Sottrazione Binaria. Sottrazione con numeri scritti in complemento ad 2 e ad 1. Somma e sottrazione BCD. Loro uso per realizzazione delle operazioni prodotto.

Sillabo dell'insegnamento

• G - Basi di dati
* DBMS - Sistemi di Gestione di Basi di Dati
Interrogazione di basi di dati su DBMS Oracle
* DBMS - Sistemi di Gestione di Basi di Dati
Creazione di un progetto su DBMS Oracle
* DBMS - Sistemi di Gestione di Basi di Dati
Sistemi informativi e informatici. DB e DBMS. Funzionalità di un DBMS: Definizione, uso e controllo della base di dati. Utilizzo del DBMS Oracle.
* ML - Modelli logici
Il modello relazionale.
* LI - Linguaggi di Interrogazione di Basi di Dati
Algebra relazionale: unione, intersezione, differenza, ridenominazione, selezione, proiezione, join naturale. proprietà e cardinalità del join naturale. Prodotto cartesiano, theta-join, equi-join. Interrogazioni di un database in Algebra relazionale.
* LI - Linguaggi di Interrogazione di Basi di Dati
Il linguaggio SQL. Data Definition Language e Data Manipulation Language. DDL: Definizione e modifica dello schema del database. DML: Linguaggio di interrogazione. Struttura di un'interrogazione in SQL. l'operazione di Join. Operatori aggregati. Raggruppamenti. Select Nidificate. Viste. Interrogazioni in SQL.
* PC - Progettazione concettuale
Le fasi del progetto di una base di dati. Progettazione Concettuale di un DB. Entità, Associazioni, Attributi, Generalizzazioni, Identificatori. Ristrutturazione di un progetto concettuale.
* PL - Progettazione Logica
Passaggio dal modello concettuale a quello logico. Traduzione nel modello relazionale di entità ed associazioni. Scelta degli identificatori principali
NBD - Normalizzazione di Basi di Dati
Normalizzazione di una base di dati. BCNF, Terza forma normale. Il concetto di dipendenza funzionale e di chiusura funzionale. Algoritmo per calcolare la chiusura funzionale e Algoritmo per la trasformazione di una relazione in un insieme di relazioni in terza forma normale.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/06 - Probabilita' e Statistica Matematica
Introduzione alla probabilita'
MAT/06 - Probabilita' e Statistica Matematica
Variabili aleatorie semplici, trasformate e vettori di variabili aleatorie
MAT/06 - Probabilita' e Statistica Matematica
Convergenza di successioni di variabili aleatorie. La finzione di Verosimiglianza: costruzione e uso nell'inferenza.Verosimiglianza assoluta, verosimiglianza relativa al massimo e rapporto delle verosimiglianze: costruzione di intervalli. Distribuzioni campionarie: alcuni esempi e simulazioni. Verosimiglianza per campioni estratti da un'esponenziale, binomiale, poisson, normale.
MAT/06 - Probabilita' e Statistica Matematica
Introduzione generale all'inferenza Statistica.
MAT/06 - Probabilita' e Statistica Matematica
Stima puntuale: stimatori e loro proprietà; correttezza, consistenza efficienza assoluta e relativa, errore quadratico medio. Stimatori di massima verosimiglianza. Esempi vari sulle distribuzioni più comuni. Proprietà asintotiche degli stimatori di massima verosimiglianza (cenni). Cenni alle relazione di dipendenza; regressione lineare semplice: stima dei parametri, correlazione lineare, analisi emprica dei residui
MAT/06 - Probabilita' e Statistica Matematica
Stima puntuale: stimatori e loro proprietà; correttezza, consistenza efficienza assoluta e relativa, errore quadratico medio. Stimatori di massima verosimiglianza. Esempi vari sulle distribuzioni più comuni. Proprietà asintotiche degli stimatori di massima verosimiglianza (cenni). Cenni alle relazione di dipendenza; regressione lineare semplice: stima dei parametri, correlazione lineare, analisi emprica dei residui

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/08 - Analisi Numerica
Approssimazione ai minimi quadrati: Vettore dei residui, funzione somma degli scarti quadratici e sistema delle equazioni normali; Tecniche linearizzanti per modelli non lineari.
MAT/08 - Analisi Numerica
Interpolazione polinomiale: Teorema di esistenza ed unicità del polinomio di interpolazione; Polinomio di interpolazione nelle forme di Lagrange e di Newton; Lo studio dell'errore nell'interpolazione e il problema della convergenza; Curve cubiche a tratti di interpolazione: metodo della parametrizzazione uniforme e metodo della parametrizzazione della corda.
MAT/08 - Analisi Numerica
Polinomi ortogonali: I polinomi di Chebyshev: formula iterativa, calcolo delle radici e proprietà di ortogonalità; Polinomi di Legendre: formule iterative e calcolo delle radici.
MAT/08 - Analisi Numerica
Integrazione numerica: Ordine polinomiale e ordine di precisione di una formula di quadratura; Formule di Newton-Cotes di tipo aperto e di tipo chiuso: costruzione, significato geometrico ed espressione dell'errore; Il teorema di Polya e la convergenza delle formule di quadratura; Formule composte: precisione e scelta del passo d'integrazione; Metodo del calcolo effettuato due volte; Principio di Runge; Formule di quadratura di Gauss-Legendre e stima dell'errore.
MAT/08 - Analisi Numerica
Equazioni non lineari: Costruzione, significato geometrico e convergenza dei metodi di Bisezione, di Regula Falsi e delle Secanti; Metodi iterativi ad un punto e problemi equivalenti di punto fisso: condizioni per la convergenza locale e globale del metodo; Accelerazione della convergenza: lo schema di Aitken e il metodo di Steffensen; Costruzione, significato geometrico e convergenza del metodo di Newton.
MAT/08 - Analisi Numerica
Teoria dell'errore: Rappresentazione dei numeri; Insieme dei numeri macchina, floating e precisione di macchina; Definizione di errore analitico, algoritmico ed inerente; Propagazione dell'errore e condizionamento di un problema; Calcolo dell'errore nelle operazioni elementari; Instabilità del metodo di calcolo.

Sillabo dell'insegnamento

• D - Linguaggi
* LF - Linguaggi Formali
Linguaggi di Programmazione e Processori di Linguaggi di Programmazione. Analisi Lessicale: Operazioni preliminari. Token e Lessemi. Errori lessicali. Token e espressioni regolari. Definizioni regolari. Eliminazioni di ambiguità. Automi a stati finiti. Implementazioni di DFA. Simulazioni di NFA.
* LF - Linguaggi Formali
Analisi sintattica: Grammatiche context‐free. Alberi di derivazione. Grammatiche ambigue. Automi a pila deterministici e non deterministici. Complessità di calcolo di un automa a pila. Algoritmo di Earley. Errori sintattici e metodi di gestione degli errori. Parser a discesa ricorsiva. Parser LL(1). Elinimazione della ricorsione sinistra. Fattorizzazione sinistra. Insiemi First e Follow.
* LF - Linguaggi Formali
Parser shift‐reduce. Parser LR(0). Parser SLR. Parser LR(1). Parser LALR(1). Proprietà dei linguaggi e delle grammatiche LR(k). Confronto tra le grammatiche LL(k) e LR(k). Analisi semantica: Semantica statica e dinamica. Grammatiche con attributi. Semantica guidata dalla sintassi. Albero sintattico decorato. Calcolo degli attributi. Grafo delle dipendenze. Grammatiche con S‐attributi. Grammatiche con L-attributi. Ordinamento topologico del grafo delle dipendenze.
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Differenza tra compilazione e interpretazione di un programma. Macchina Virtuale Preprocessore. Linker e Loader. Fasi della compilazione. Front End e Back End. Passate di un compilatore. Generazione automatica di scanner. Flex. Generazione automatica di parser. Bison.
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Tabella dei simboli. Vari tipi di implementazioni tramite array, liste concatenate e ABR. Implementazione tramite hash table with chaining. Attributi di visibilità e metodi di realizzazione. Type checking. Equivalenza d tipi. Type coercion. Generazione del codice: Codice intermedio. Codice a tre indirizzi. Strutture dati per l'implementazione del 3AC. Codice per macchina virtuale. P‐code. Ottimizzazione del codice. Esempi di ottimizzazioni indipendenti dalla macchina. Generatori di codice oggetto. Esempi di ottimizzazioni dipendenti dalla macchina.
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Compilatori e Linguaggi. Linguaggi Macchina, Linguaggi Assembly ed evoluzione dei linguaggi di programmazione.

Sillabo dell'insegnamento

Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/03 - Geometria
Equazioni parametriche di rette e piani. Equazione cartesiana di un piano. Fasci di piani e di rette. Stella di piani. Equazioni cartesiane di una retta. Stella di rette. Condizione di complanarità di due rette. Rette sghembe.
MAT/03 - Geometria
Spazio affine. Allineamento e complanarità tra punti.
MAT/03 - Geometria
Spazio euclideo. Nozioni angolari e modulo di un vettore. Prodotto scalare. Misura di distanze e angoli. Distanza di due punti. Sfera. Coseni direttori di una retta. Significato geometrico dei parametri di giacitura di un piano. Angolo di due rette. Distanza di un punto da un piano. Minima distanza di due rette sghembe. Retta di minima distanza di due rette sghembe. Coni. Cilindri. Superficie di rotazione.
MAT/02 - Algebra
Teoria degli insiemi. Gruppi, campi, spazi vettoriali.
MAT/03 - Geometria
Applicazioni lineari, composizioni di applicazioni lineari
MAT/03 - Geometria
Matrici. Matrice quadrata,trasposta,simmetrica, antisimmetrica, diagonale. Moltiplicazione tra matrici. Spazio delle matrici. Applicazioni lineari e matrici. Matrice di un'applicazione lineare composta. Matrici del cambiamento di base. Matrici invertibili.
MAT/03 - Geometria
Sistemi lineari. Sistemi di Cramer. Matrice inversa di una matrice quadrata. Rango di una matrice. Sistemi lineari omogenei. Sistemi lineari non omogenei. Teorema di Rouchè-Capelli. Endomorfismi.
MAT/03 - Geometria
Autovettori. Autovalori. Autospazi. Polinomio caratteristico. Diagonalizzazione. Forma canonica di Jordan.
MAT/03 - Geometria
GEOMETRIA CARTESIANA: Riferimento sulla retta e segmenti orientati. Coordinate cartesiane. Vettori geometrici. Vettori paralleli e complanari. Coordinate dei vettori.

Sillabo dell'insegnamento

• A - Fondamenti
* ALF - Automi e Linguaggi Formali
Funzioni calcolabili e problemi decidibili. Esistenza di problemi indecidibili. Linguaggi riconosciuti da macchine di Turing. Generalizzazioni e restrizioni della macchina di Turing. Linguaggi riconosciuti dai diversi modelli di automi.
* ALF - Automi e Linguaggi Formali
Sistemi di riscrittura. Grammatiche. Linguaggi generati da grammatiche. La gerarchia di Chomsky e sue relazioni con la classificazione degli automi. Equivalenza tra grammatiche (generali) e macchine di Turing. Equivalenza tra Grammatiche Lineari Destre (o Lineari Sinistre) e FSA. Grammatiche Noncontestuali, o Context-Free (CF). Linguaggi generati da grammatiche CF. Albero Sintattico (o di Derivazione). Ambiguità nelle grammatiche e nei linguaggi CF. Forme Normali di Chomsky e di Greibach.
* ALF - Automi e Linguaggi Formali
Equivalenza tra grammatiche CF e automi a pila (PDA). Esempio delle espressioni in forma polacca. Lemma d'iterazione per i linguaggi CF. Esempi di linguaggi che non sono generati da grammatiche CF. Propriet? di chiusura per la famiglia dei linguaggi CF. Problemi de decisione per i linguaggi CF. Cenni sull'analisi sintattica.
* ALF - Automi e Linguaggi Formali
Automi a Stati Finiti (FSA) e linguaggi riconosciuti da FSA. Rappresentazione di un FSA col grafo degli stati. Lemma d'iterazione. Esempi di linguaggi non riconosciuti da FSA. Automi Finiti Deterministici (DFA) e Nondeterministici (NFA). Equivalenza tra NFA e DFA. Subset Construction. Applicazioni: algoritmi di string-matching. FSA con epsilon-transizioni. Proprietà di chiusura della famiglia dei linguaggi riconosciuti da FSA. Linguaggi ed Espressioni Regolari.
* ALF - Automi e Linguaggi Formali
Teorema di Kleene. Algoritmi per convertire un'espressione regolare in un DFA e viceversa. FSA bidirezionali (2-FSA).
* ALF - Automi e Linguaggi Formali
Equivalenza tra 2-DFA e 1-DFA (Teorema di Rabin-Shepherdson). Problemi di decisione per i linguaggi riconosciuti da FSA. Equivalenza e minimizzazione di FSA.
* CAL - Calcolabilita'
Nozione di calcolabilità. Enunciato e discussione della tesi di Church-Turing. Primi esempi di funzioni Turing-calcolabili. Definizione di produttività di una Macchina di Turing (MdT). Definizione della funzione p (produttività massima delle MdT a n stati). Dimostrazione della non Turing calcolabilità della funzione p. Le funzioni ricorsive primitive. Costruzione della funzione di Ackermann. Definizione di funzione epsilon-ricorsiva e µ-ricorsiva. Le funzioni ricorsive primitive (r.p.). Metodi di codifica ricorsivi primitivi. Numeri di Godel. Il linguaggio di programmazione S di Davis/Weyuker. Calcolabilità in S delle funzioni r.p. Il teorema della "fermata". Esistenza di programmi "universali". Insiemi ricorsivamente enumerabili (r.e.) e di insiemi ricorsivi.
* CAL - Calcolabilita'
Relazioni intercorrenti tra insiemi r.e. e insiemi ricorsivi. Il teorema di Post. Dimostrazione dell'esistenza di insiemi r.e ma non ricorsivi. Il teorema del parametro di Kleene. Il linguaggio di programmazione LOOP di Meyer e Ritchie. LOOP-calcolabilità delle funzioni r.p.. Equivalenza tra funzioni r.p. e funzioni LOOP-calcolabili. Profondità di nidificazione dei cicli LOOP. La gerarchia Ln. Non ricorsività primitiva della funzione di Ackermann. Calcolabilità in S della funzione di Ackermann. Introduzione del linguaggio WHILE come estensione del linguaggio LOOP. Dimostrazione della equivalenza tra il linguaggio S e il linguaggio WHILE.
COM - Complessita'
La complessità astratta. Gli assiomi di Blum. Cenni ad alcuni teoremi centrali della teoria di Blum. La complessità concreta. Calcolabilità in tempo polinomiale. Le classi di problemi P ed NP. Definizione di problema NP completo. Il problema della soddisfacibilità. Il teorema di Cook e la tesi di Cook-Karp. Cenni al problema P=?NP. Cenni al decimo problema di Hilbert e agli insiemi diofantei. Il teorema di Matjasievic. I sette Problemi del Millennio come riproposizione dei problemi di Hilbert al Convegno del 1900.

Sillabo dell'insegnamento

• I - Ingegneria del software
* LMS - Linguaggi di Modellazione del Software
Concetti di: progetto, attività, risorsa, task, workproduct, sistema, modello, documento, obiettivi (goal), requisiti, vincoli, notazioni, metodi e metodologie. Le fasi principali dello sviluppo: raccolta requisiti, analisi dei requisiti, progetto di sistema, progetto esecutivo o degli oggetti, implementazione, gestione del progetto, testing, ciclo di vita del software. Introduzione all'UML, diagrammi dei casi d'uso, diagrammi delle classi, diagrammi di sequenza e collaborazione, diagrammi di stato, diagrammi di attività, diagrammi di dislocazione, organizzazione dei diagrammi, estensione dei diagrammi, concetti di sistema, modello e vista. Modellazione object-oriented.
* AR - Analisi dei Requisiti
Introduzione. Modelli di analisi: funzionale, degli oggetti, dinamico. Concetti di analisi: oggetti di tipo entità, di confine e di controllo. Associazioni multiple (uno a uno, uno a molti, molti a molti). La relazione di generalizzazione. Attività di analisi: dai casi d'uso agli oggetti, identificazione degli oggetti entità, identificazione degli oggetti di confine, identificazione degli oggetti di controllo, modellazione delle interazioni, identificazione delle associazioni e degli attributi, modellazione del comportamento degli oggetti. Diagramma di interconnessione delle attività di analisi
* ASW - Architetture Software
Introduzione. Concetti della progettazione di sistema: sottosistemi e classi, servizi e interfacce dei sottosistemi, accoppiamento e coerenza, livelli e partizioni, architettura software: client-server peer to peer, pipe and filter. Attività della progettazione di sistema: identificazione degli obiettivi di progetto (criteri di performance, affidabilità, costo, manutenzione, utente finale). Identificazione dei sottosistemi. La mappatura dei sottosistemi su processori e componenti: la selezione di una configurazione hardware e una piattaforma, l'allocazione degli oggetti e sottosistemi sui nodi. La definizione dei depositi di dati (file, DB relazionali, DB ad oggetti). La definizione dal controllo l'accesso. La progettazione del flusso di controllo: procedure-driven, event-driven, threads. La progettazione delle condizioni di confine. La documentazione della progettazione di sistema.
* PSC - Progettazione del Software e Codifica
Introduzione, concetti della progettazione del modello ad oggetti. Attività della progettazione del modello oggetti; oggetti d'analisi e oggetti della soluzione; Tipi, signature, visibilità. Contratti: invarianti, pre-condizioni, post-condizioni; Object Constraint Language. Attività della progettazione del modello ad oggetti: identificazione degli attributi e delle operazioni mancanti; specifica di tipi, signature e visibilità; specifica dei vincoli (constraint); specifica delle eccezioni; identificazione e adattamento delle librerie di classi; realizzazione delle associazioni (uno a uno unidirezionale e bidirezionale, una molti, molti e molti, associazioni come oggetti separati, associazioni qualificate). Incrementare il riuso. Documentazione del progetto del modello ad oggetti.
* PSS - Processi di Sviluppo del Software
I paradigmi di progettazione. Introduzione. Le Macro fasi della produzione del sw. I principali paradigmi dell'ingegneria del software (cascata, prototipale, incrementale, spirale). Le qualità del sw. I processi di progettazione del software. Unified Process. I processi agili. Project Management Elementi fondamentali del project management. Caratteristiche fondamentali del progetto. Attività (ordinarie, di riepilogo, cardine) . Struttura delle attività . Relazioni tra attività. Le risorse (il calendario, i costi). I costi fissi del progetto. Le relazioni di progetto. La gestione del progetto. Il progetto iniziale. Il progetto con previsioni. Il progetto con variazioni.
* TVV - Testing, Verifica e Validazione
Introduzione; tecniche di controllo della qualità; tecniche per evitare guasti; tecniche per la scoperta dei guasti tecniche per tollerare i guasti. Concetti di test: componente, guasto, errore, malfunzionamento,test case, test stub/driver, correzione. Attività di testing: ispezione dei componenti; unit testing (equivalence testing, boundary testing, path testing , state-based testing); test di integrazione: strategie del test di integrazione (big bang, bottom-up, top-down, sandwich, modified sandwich). Test di sistema: test funzionale, test di performance, test pilota (alpha test, beta test), test di accettazione e test di installazione. Pianificazione del test; documentazione del test.

Sillabo dell'insegnamento

• C - Programmazione
PP - Paradigmi di Programmazione
I Paradigmi di Programmazione Il Paradigma Funzionale Esempio di linguaggio funzionale
PP - Paradigmi di Programmazione
Paradigma Imperativo Esempio di linguaggio imperativo
* SS - Sintassi e Semantica
Semantica call-by-value ,call-by-reference, call-by-name
* POO - Programmazione Orientata agli Oggetti
Il Paradigma ad Oggetti. Semantica statica e dinamica
* POO - Programmazione Orientata agli Oggetti
Il Polimorfismo L'Isomorfismo Ereditarietà
* POO - Programmazione Orientata agli Oggetti
Esempio di linguaggio ad Oggetti

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/02 - Algebra
Teoria dei grafi
MAT/02 - Algebra
Relazioni
MAT/02 - Algebra
Funzioni ricorsive
MAT/02 - Algebra
Teoria degli Insiemi. Strutture Algebriche.
MAT/02 - Algebra
Induzione matematica e combinatoria Algebrica
MAT/01 - Logica Matematica
Elementi di Logica Matematica

Sillabo dell'insegnamento

• C - Programmazione
* PSA - Problem Solving e Algoritmi
La nozione di Algoritmo. Differenze tra Algoritmo e Programma. Analisi degli algoritmi. Esempi Classici. L'algoritmo di Euclide. Il sistema binario. Conversione di un numero da binario a decimale. Il codice Ascii.
PP - Paradigmi di Programmazione
Il paradigma dichiarativo e il paradigma imperativo. La programmazione strutturata. Il teorema di Boem-Jacopini: I costrutti di sequenza, iterazione e selezione
* CB - Costrutti di Base
Il principio di induzione e la ricorsione. Algoritmi iterativi e ricorsivi. Il linguaggio C e la programmazione strutturata. I costrutti in C. Sequenza. Selezione. Iterazione. Espressioni logiche.
* CB - Costrutti di Base
Struttura di un programma in C. Identificatori. Tipi di dato. I tipi scalari semplici. Il concetto di variabile. Il concetto di costante.
* CB - Costrutti di Base
L'istruzione di assegnazione. Il confronto tra variabili. Istruzioni di input e output.
* SDTD - Strutture Dati e Tipi di Dati astratti
Tipi di dati strutturati predefiniti. Gli Array. Le Matrici. Il tipo string. Tipi di dati definiti dal programmatore. Strutture, Files. Files di input e output.
* SDTD - Strutture Dati e Tipi di Dati astratti
Puntatori e liste. Manipolazione delle liste, procedure di inserzione e cancellazione di elementi di lista. Struttura dati Pila e Struttura Dati Coda.
* P - Procedure
Procedure e Funzioni. Strutturazione di un programma mediante procedure e funzioni. Passaggio dei parametri per valore e per indirizzo.
* R - Ricorsione
Algoritmi ricorsivi. La ricorsione. Esempi di algoritmi e programmi ricorsivi.
* PSA - Problem Solving e Algoritmi
La ricerca binaria.
* PSA - Problem Solving e Algoritmi
Algoritmo di ordinamento bubble-sort.
* PSA - Problem Solving e Algoritmi
Algoritmo di ordinamento Quick-Sort. Algoritmo di ordinamento Merge-Sort.
* PSA - Problem Solving e Algoritmi
Visite degli alberi (preordine, inordine, e postordine) e corrispondenza con le notazioni prefisse, infisse e postfisse; Implementazione degli alberi. Versione iterativa della visita in preordine tramite una pila.
* SDTD - Strutture Dati e Tipi di Dati astratti
Struttura Dati elementare non lineare: Albero
* PSA - Problem Solving e Algoritmi
Implementazione delle visite per livelli.

Sillabo dell'insegnamento

• H - Computazione su rete
* ARTC - Architettura delle Reti di Calcolatori
Concetti base sulla comunicazione dei dati e sulle reti di calcolatori. I modelli di riferimento OSI e TCP/IP. I mezzi trasmissivi.
* PT - Protocolli
Il livello di Networking (IP e IPv6).L'internetworking (routing e controllo della congestione).
DR - Dispositivi di Rete
Il Livello Fisico e il Livello di Data Link. Reti locali (Ethernet, Token Ring) e dispositivi di rete.
* PT - Protocolli
Il livello di Trasporto (TCP e UDP).I Socket e il modello Client-Server.
* PT - Protocolli
I Livelli di Sessione e Presentazione.Il Livello di Applicazione (HTTP, FTP, Telnet, SMTP/POP, etc.).
* MIR - Modelli di Interazione in Rete
I servizi multimediali su Internet (Voce, Video, QoS).Il linguaggio Java.

Sillabo dell'insegnamento

• F - Sistemi operativi
MA - Modelli e Architetture di sistemi operativi
Introduzione ai sistemi di elaborazione; Introduzione ai sistemi operativi: che cosa è un sistema operativo, cenni storici sui sistemi operativi, classificazione dei sistemi operativi, concetti base sui sistemi operativi, chiamate di sistema.
* GSP - Gestione e Sincronizzazione dei Processi
Introduzione ai sistemi operativi: che cosa è un sistema operativo, cenni storici sui sistemi operativi, classificazione dei sistemi operativi, concetti base sui sistemi operativi, chiamate di sistema.
* GSP - Gestione e Sincronizzazione dei Processi
Deadlock: introduzione ai Deadlock, identificare e risolvere dei deadlock. Evitare i deadlock, prevenzione da Deadlock.
* GM - Gestione della Memoria
Gestione della Memoria: sistemi di base per gestire della memoria. Swapping, memoria Virtuale.
* GM - Gestione della Memoria
Memoria Virtuale, MMU, segmentazione
* GM - Gestione della Memoria
Algoritmi di rimpiazzamento delle Pagine: Non usate di recente, FIFO, Della seconda opportunità, Dell'orologio, Least Recently used, Il Working Set ed un esempio
* FS - File System
Input/output: principi dell'hardware e del software.
* FS - File System
I livelli software dell'I/O, i Dischi, i Clock. I File System: i file, le directory, implementazione del File System.
* FS - File System
Dimensione dei blocchi indipendenti dal dispositivo, Software di I/O a livello utente, Dischi Magnetici, I 6 R A I D (r0..r5), Nastri Magnetici. Distanza di hamming, rilevazioni di errori con la codifica di humming, correzione d'errore.

Sillabo dell'insegnamento

Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.