Sillabo dell'insegnamento

• I - Ingegneria del software
* PSS - Processi di Sviluppo del Software
tipologie e caratteristiche di processi software
* PSS - Processi di Sviluppo del Software
Principi di ingegneria del software
* AR - Analisi dei Requisiti
approccio per la elaborazione dei Requisiti software
* AR - Analisi dei Requisiti
approcci per l'analisi e la specifica del software
* ASW - Architetture Software
stili architetturali, strati, object oriented
* ASW - Architetture Software
stili architetturali, strati, object oriented
* LMS - Linguaggi di Modellazione del Software
linguaggio UML per la modellazione del software
* PSC - Progettazione del Software e Codifica
Progetto di alto livello (componenti) e progettazione di dettaglio (classi)
* PSC - Progettazione del Software e Codifica
modellazione dei dati

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/05 - Analisi Matematica
Sistema dei numeri reali - Funzioni reali di variabile reale
MAT/05 - Analisi Matematica
Successioni e loro limiti
MAT/05 - Analisi Matematica
Limiti di funzioni - Forme indeterminate e comportamenti asintotici - Continuità
MAT/05 - Analisi Matematica
Serie numeriche
MAT/05 - Analisi Matematica
Definizione di derivata e relative proprietà locali
MAT/05 - Analisi Matematica
Funzioni derivabili in un intervallo
MAT/05 - Analisi Matematica
Derivate di ordine superiore - Polinomi di Taylor
MAT/05 - Analisi Matematica
Integrazione indefinita
MAT/05 - Analisi Matematica
Integrazione secondo Riemann - Teorema Fondamentale del Calcolo - Integrali impropri

Sillabo dell'insegnamento

• E - Architetture
* ASS - Linguaggio Assembler
Livello del linguaggio Assembly. La programmazione Assembly nell'8086. Utilizzo dell'ambiente EMU8086
* CCS - Circuiti combinatori e sequenziali
Algebra di Boole. Porte logiche. Esempi di circuiti combinatori e sequenziali
* AC - Aritmetica dei calcolatori
Aritmetica reale e aritmetica finita. Sistemi di numerazione. Rappresentazione binaria dei numeri naturali, interi, reali. Codifica dell'informazione numerica e non numerica
* LII - Livello Instruction Set
Caratteristiche delle istruzioni macchina. Tipi di operandi, dati, istruzioni.Formati di istruzioni. Metodi di indirizzamento
* LMP - Livello di Microprogrammazione
Struttura interna della CPU, Data Path. Ciclo di istruzione. Implementazione dell'unità di controllo
• F - Sistemi operativi
* SCO - Struttura e Componenti di un sistema operativo
Diverse tipologie di Sistemi Operativi. Principali componenti dei Sistemi Operativi. Principali modelli strutturali
* GSP - Gestione e Sincronizzazione dei Processi
Definizione di processo e stati di un processo. Gestione e schedulazione dei processi Sincronizzazione e concorrenza di processi
* GM - Gestione della Memoria
Concetto di memoria virtuale. Tecniche di rilocazione. Tecniche di gestione della memoria (partizionamento, segmentazione, paginazione)
* FS - File System
Organizzazione logica e fisica del file system. Metodi di accesso ai file Metodi di allocazione

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/08 - Analisi Numerica
calcolo numerico
MAT/08 - Analisi Numerica
calcolo numerico
MAT/08 - Analisi Numerica
calcolo numerico
MAT/08 - Analisi Numerica
calcolo numerico
MAT/08 - Analisi Numerica
calcolo numerico
MAT/08 - Analisi Numerica
calcolo numerico

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

• I - Ingegneria del software
* TVV - Testing, Verifica e Validazione
tecniche di progettazione del test
* TVV - Testing, Verifica e Validazione
test di sistema di accettazione, di regressione
* TVV - Testing, Verifica e Validazione
verifica e validazione
* PSC - Progettazione del Software e Codifica
framework di integrazione
* PSC - Progettazione del Software e Codifica
tecniche e standard di integrazione e cooperazione
* PSC - Progettazione del Software e Codifica
modelli di integrazione e cooperazione
* TVV - Testing, Verifica e Validazione
test per sistemi software component based
* TVV - Testing, Verifica e Validazione
test per l'integrazione di sistemi software
* TVV - Testing, Verifica e Validazione
automazione e misure del test

Sillabo dell'insegnamento

• C - Programmazione
* P - Procedure
procedure e funzioni, tecniche di passaggio dei parametri, funzioni ricorsive
PP - Paradigmi di Programmazione
principi di programmazione imperativa
* PSA - Problem Solving e Algoritmi
problem solving, realizzazine e prova di algoritmi fondamentali
• D - Linguaggi
MP - Metodologie di Programmazione
Principi di programmazione strutturata. La modularità
PLN - Paradigmi Linguistici
esercitazioni in linguaggi imperativi
• E - Architetture
GIO - Gestione dell'Input/Output
gestione input/output
GM - Gestione della Memoria
gestione memoria
• F - Sistemi operativi
MA - Modelli e Architetture di sistemi operativi
uso di sistemi operativi diversi
* FS - File System
file system

Sillabo dell'insegnamento

• A - Fondamenti
* CAL - Calcolabilita'
Il problema della fermata; Espressività dei linguaggi di programmazione Formalismi per la calcolabilità; Funzioni e algoritmi
• D - Linguaggi
* LF - Linguaggi Formali
Linguaggi formali e operazioni; Espressioni regolari, Automi finiti; Grammatiche Vincoli sintattici contestuali Linguaggi liberi: derivazioni, ambiguità Dalla sintassi alla semantica
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Nozione di macchina astratta e l'interprete; Implementazione di un linguaggio; Gerarchie di macchine astratte
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Tecniche di gestione della memoria: Gestione statica e dinamica Implementazione delle regole di scope Problema del dangling reference; Tecniche di Garbage collection
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Compilatori Analisi lessicale: Token; Generatori di analizzatori lessicali Analisi sintattica: Automi a pila; Analizzatori sintattici; Manipolazioni delle grammatiche Parser top-down: Parser a discesa ricorsiva, First e Follow, Grammatiche LL(k); Generatori di analizzatori sintattici
PLN - Paradigmi Linguistici
Paradigma imperativo Strutturare il controllo: espressioni e comandi elementari; comandi per il controllo di sequenza nella programmazione strutturata; ricorsione Strutturare i dati: Tipi e Sistemi di tipi Equivalenza, Compatibilità e conversione, Polimorfismo Controllo e inferenza di tipo, Sicurezza:
PLN - Paradigmi Linguistici
Paradigma orientato agli oggetti Concetti fondamentali: Oggetti, Classi, Incapsulamento, Sottotipi, Ereditarietà, Selezione dinamica dei metodi Aspetti implementativi Polimorfismo e generici
ALC - Astrazioni Linguistiche e Composizionalita'
Nomi e oggetti denotabili, Ambiente e blocchi; Regole di scope; Sottoprogrammi, Astrazione funzionale e Passaggio dei parametri Eccezioni
ALC - Astrazioni Linguistiche e Composizionalita'
Astrarre sui dati Tipi di dato astratti, Information hiding Programmazione in grande: Moduli

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/01 - Logica Matematica
Elementi dalla teoria degli insiemi e di logica matematica. Metodi matematici: Principio d'induzione.
MAT/02 - Algebra
Funzioni iniettive, suriettive, biettive. Relazioni d'ordine e di equivalenza. Definizioni ricorsive e successioni: numeri di Fibonacci, torre di Hanoi.
MAT/02 - Algebra
Cenni di combinatorica: disposizioni e combinazioni semplici e con ripetizioni.
MAT/03 - Geometria
Numeri interi, algoritmo di Euclide, equazioni diofantee, numeri primi e fattorizzazioni, aritmetica modulare, teorema del cinese del resto.
MAT/03 - Geometria
Esercitazioni: Applicazioni delle congruenze all'informatica. Cenni di crittografia.
MAT/03 - Geometria
Matrici, determinanti e inverse.
MAT/03 - Geometria
Strutture algebriche: Monoidi, Gruppi, Anelli e campi. e Gruppi di permutazioni e di matrici.
MAT/03 - Geometria
Esercitazioni sulle strutture algebriche: Matrici, gruppi di permutazioni, campi finiti
MAT/03 - Geometria
Grafi: planari, Euleriani,Hamiltoniani; alberi. Reticoli: reticoli distributivi e reticoli di Boole.

Sillabo dell'insegnamento

• H - Computazione su rete
* MIR - Modelli di Interazione in Rete
Introduzione al Web Semantico
* MIR - Modelli di Interazione in Rete
Introduzione ad XML
SIAS - Sistemi di Supporto all'interazione e Ambienti di Sviluppo
RDF il inguaggio di interrogazione SPARQL. Ontologie. Open e linked data. Big data
• M - Rappresentazione della conoscenza
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Metodi di apprendimento supervisionato
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Generazione di regole associative
ARC - Acquisizione e Rappresentazione della Conoscenza
Principi dell'Information Retrieval
ARC - Acquisizione e Rappresentazione della Conoscenza
Modelli per l'elaborazione del linguaggio naturale
ARC - Acquisizione e Rappresentazione della Conoscenza
Categorizzazione testuale e topic modeling
ARC - Acquisizione e Rappresentazione della Conoscenza
Analisi dei social network

Sillabo dell'insegnamento

• I - Ingegneria del software
* PSS - Processi di Sviluppo del Software
processi di sviluppo tradizionali, a cascata, agili, evolutivi
* PSS - Processi di Sviluppo del Software
Processi Primari e di supporto
* LMS - Linguaggi di Modellazione del Software
rappresentazione di un processo software con linguaggio formale
* LMS - Linguaggi di Modellazione del Software
Verifica e validazione di un processo formalizzato
MSQ - Misure del Software e Qualita'
Gestione della qualità: qualità di processo e di prodotto
MSQ - Misure del Software e Qualita'
Modelli di qualità strutturati (ISO, CMMI, SPICE)
MSQ - Misure del Software e Qualita'
Modelli di qualità orientati agli obiettivi (GQM) e strumenti di supporto (Foglio Metrico, Tavole di Decisione)
EPGS - Economia della Produzione e Gestione di progetti Software
Miglioramento continuo dei processi software (TQM, QIP, PDCA)
EPGS - Economia della Produzione e Gestione di progetti Software
tecniche di schedulazione e pratiche di ottimizzazione

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Modelli e metodi di progetto
* IMW - Ipertesti, Multimedialità e WWW
Progettazione di interfacce sul web
* PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
Principi di interazione uomo-macchina e di usabilit
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Modelli e metodi di progetto
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Modelli e metodi di progetto
V - Varie
Sistemi di supporto all'interazione e agli ambienti di sviluppo

Sillabo dell'insegnamento

• G - Basi di dati
* LI - Linguaggi di Interrogazione di Basi di Dati
SQL per le applicazioni. Stored Procedure. Embedded SQL: Cursori; SQLJ; SQL dinamico. Call Level Interface: JDBC.
* LI - Linguaggi di Interrogazione di Basi di Dati
Algebra relazionale: Unione, intersezione, differenza; Ridenominazione; Selezione, Proiezione, Join; Interrogazioni; Equivalenza di espressioni algebriche; Algebra con valori nulli, Viste.
* LI - Linguaggi di Interrogazione di Basi di Dati
Il linguaggio SQL e gli standard. Definizione dei dati in SQL: I domini elementari; Definizione di schema, tabelle e domini; Specifica di valori di default; Vincoli intra-relazionali ed inter-relazionali; Modifica degli schemi; Cataloghi relazionali. Interrogazioni in SQL: Dichiaratività di SQL; Interrogazioni semplici; Operatori aggregati; Interrogazioni con raggruppamento, di tipo insiemistico, nidificate. Modifica dei dati in SQL: Inserimento, Cancellazione, Modifica. Caratteristiche evolute di definizione dei dati: Vincoli di integrità generici; Asserzioni; Viste. Controllo dell'accesso: Risorse e privilegi. Transazioni.
* ML - Modelli logici
Il modello relazionale. Strutture: Relazioni e tabelle; Relazioni con attributi; Relazioni e basi di dati; Informazione incompleta e valori nulli. Vincoli di integrità: Vincoli di tupla; Chiavi; Vincoli di integrità referenziale.
* PC - Progettazione concettuale
Introduzione alla progettazione: Il ciclo di vita dei sistemi informativi; Metodologie di progettazione e basi di dati. La raccolta e l'analisi dei requisiti. Il modello Entità-Relazione (E-R): Costrutti principali del modello; Tecniche di documentazione di schemi E-R. Rappresentazione concettuale di dati: Criteri generali; Pattern di progetto. Strategie di progetto: Top-down; Bottom-up; Inside-out; Mista. Qualità di uno schema concettuale. Una metodologia generale.
* DBMS - Sistemi di Gestione di Basi di Dati
Sistemi informativi, informazioni e dati. Basi di dati e sistemi di gestione di basi di dati. Modelli dei dati: Schemi e istanze; Livelli di astrazione nei DBMS; Indipendenza dei dati. Linguaggi e utenti delle basi di dati. Vantaggi e svantaggi dei DBMS.
* DBMS - Sistemi di Gestione di Basi di Dati
Organizzazione fisica nei DBMS relazionali: Caratteristiche della memoria secondaria; Organizzazione fisica delle relazioni; Indici relazionali. Progettazione fisica di una base di dati.
* PL - Progettazione Logica
Analisi delle prestazioni su schemi E-R. Ristrutturazione di schemi E-R: Analisi delle ridondanze; Eliminazione delle generalizzazioni; Partizionamento/accorpamento di concetti; Scelta degli identificatori principali. Traduzione verso il modello relazionale: Entità e associazioni molti a molti; Associazioni uno a molti; Entità con identificatore esterno; Associazioni uno a uno; Traduzioni di schemi complessi; Tabelle riassuntive; Documentazione di schemi logici.
NBD - Normalizzazione di Basi di Dati
Ridondanze e anomalie. Dipendenze funzionali. Forma normale di Boyce e Codd: Definizione di forma normale; Decomposizione in forma normale. Proprietà delle decomposizioni: Decomposizione senza perdita; Conservazione delle dipendenze; Qualità delle decomposizioni. Terza forma normale: Limitazioni della forma normale di Boyce e Codd; Definizione di terza forma normale; Decomposizione in terza forma normale; Altre forme normali; Normalizzazione e scelta degli attributi. Progettazione di basi di dati e normalizzazione: Verifiche di normalizzazione su entità ed associazioni; Ulteriori decomposizioni di associazioni e schemi concettuali.

Sillabo dell'insegnamento

• B - Algoritmi
* A - Algoritmi fondamentali
Algoritmi elementari. Algoritmi di ricerca. Algoritmi di ordinamento.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Progettazione di algoritmi. Programmazione strutturata.
• C - Programmazione
* PSA - Problem Solving e Algoritmi
Fasi per la soluzione di un problema.
* CB - Costrutti di Base
Sequenza, selezione e iterazione
* P - Procedure
Procedure e funzioni come astrazione di istruzioni e operatori. Parametri.
* R - Ricorsione
Funzioni Ricorsive
* SDTD - Strutture Dati e Tipi di Dati astratti
Array, Record, Puntatori, File.
* SCP - Sviluppo e Correttezza dei Programmi
Compilatori e interpreti. Documentazione.
• D - Linguaggi
MP - Metodologie di Programmazione
Programmazione con linguaggi imperativi

Sillabo dell'insegnamento

• B - Algoritmi
* SDF - Strutture di Dati Fondamentali
realizzazione di liste, pile, code, dizionari
* SDF - Strutture di Dati Fondamentali
realizzazione di liste, pile, code, dizionari
* SDF - Strutture di Dati Fondamentali
specifiche assiomatiche ed algebriche di strutture dati fondamentali ed avanzate
SDA - Strutture di Dati Avanzate
realizzazione di alberi e grafi
* A - Algoritmi fondamentali
Algoritmi di ordinamento e di ricerca
• C - Programmazione
* POO - Programmazione Orientata agli Oggetti
POO in C++
* POO - Programmazione Orientata agli Oggetti
POO in C++
* SDTD - Strutture Dati e Tipi di Dati astratti
Tipi di dati astratti: lista, pila, coda, dizionari, alberi binari, grafi
* POO - Programmazione Orientata agli Oggetti
oggetti, classi, metodi, ereditarietà, aggregazione, polimorfismo

Sillabo dell'insegnamento

• H - Computazione su rete
* SR - Sicurezza delle Reti
Sicurezza e privatezza
* MIR - Modelli di Interazione in Rete
Modelli client-server e peer to peer
* ARTC - Architettura delle Reti di Calcolatori
Fondamenti di reti di calcolatori, architetture a livelli e dispositivi di rete
* PT - Protocolli
Protocolli di comunicazione. Modello ISO-OSI.
PASR - Programmazione di Applicazioni e Servizi di Rete
Programmazione client-server
* FCD - Fondamenti del Calcolo Distribuito
Sistemi client-server. Architettura di Internet. Web - Meccanismi di indirizzamento, instradamento e trasporto in Internet

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/06 - Probabilita' e Statistica Matematica
Spazi di probabilità
MAT/06 - Probabilita' e Statistica Matematica
Variabili aleatorie
MAT/06 - Probabilita' e Statistica Matematica
Teoremi limite
MAT/06 - Probabilita' e Statistica Matematica
Introduzione alla Statistica inferenziale
MAT/06 - Probabilita' e Statistica Matematica
Stimatori e loro proprietà
MAT/06 - Probabilita' e Statistica Matematica
Verifiche di ipotesi e intervalli di confidenza

Sillabo dell'insegnamento

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