2013
2013
Sei collegato come utente non registrato
Il percorso ha la certificazione
Corso di Laurea: Informatica  -  Percorso: Informatica - Curriculum Reti
Informazioni generali
Università SALERNO Responsabile del Percorso Vincenzo Auletta
Livello del Cdl MAGISTRALE Email auletta@unisa.it
Scheda Unica Annuale (SUA) del Corso di Laurea: Visualizza documento SUA caricato E' un percorso interdisciplinare No
Commento Ordinamento ex art 270    
Legenda delle Aree
A: Fondamenti G: Basi di dati altro INF: Crediti di INFORMATICA non classificati nelle aree
B: Algoritmi H: Computazione su rete INF: Crediti di INFORMATICA non classificabili a priori
C: Programmazione I: Ingegneria del software MAT: Crediti di MATEMATICA
D: Linguaggi L: Interazione, grafica e multimedialità altro: Crediti NON dell'INFORMATICA nè della MATEMATICA
E: Architetture M: Rappresentazione della conoscenza NC: Crediti Non Classificabili a priori
F: Sistemi operativi A_M: Una qualunque delle aree da A a M
Insegnamenti e ripartizione CFU per area CFU A B C D E F G H I L M A_M altro INF INF MAT altro NC
Algoritmi II - Laboratorio 2     2                            
Algoritmi II - Lezioni 7   7                              
Automi, Linguaggi e Complessità 9 7     2                          
Esame a scelta libera 1 6                                 6
Esame a scelta libera 2 6                                 6
Esami curriculari (M) 24                           24      
Intelligenza Artificiale e Computazionale 9                     9            
Linguaggi di Programmazione e Compilatori - Laboratorio 2       2                          
Linguaggi di Programmazione e Compilatori - Lezioni 7       7                          
Reti di Calcolatori II - Laboratorio 2               2                  
Reti di Calcolatori II - Lezioni 7               7                  
Sicurezza - Laboratorio 2               2                  
Sicurezza - Lezioni 7 2             5                  
Sistemi Operativi II - Laboratorio 2           1   1                  
Sistemi Operativi II - Lezioni 7           7                      
                                     
Attività Extracurriculari 1                                 1
Lingue Straniere 0                                 0
Prova Finale 19                                 19
Tirocinio 1                                 1
TOTALE 120 9 7 2 11 0 8 0 17 0 0 9 0 0 24 0 0 33
Riepilogo dell'insegnamento: Algoritmi II - Laboratorio
Nome Algoritmi II - Laboratorio CFU 2
Ore di didattica frontale per CFU 12 Settore Scientifico Disciplinare INF/01
   

2 cfu così ripartiti nelle aree:

  • 2 CFU nell'area C - Programmazione

Sillabo dell'insegnamento

  • C - Programmazione
    • * PSA - Problem Solving e Algoritmi
      Implementazione di Algoritmi Efficienti
    • * PSA - Problem Solving e Algoritmi
      Implementazione di Algoritmi Efficienti

(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa

Riepilogo dell'insegnamento: Algoritmi II - Lezioni
Nome Algoritmi II - Lezioni CFU 7
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

7 cfu così ripartiti nelle aree:

  • 7 CFU nell'area B - Algoritmi

Sillabo dell'insegnamento

  • B - Algoritmi
    • * A - Algoritmi fondamentali
      Algoritmi Approssimanti
    • TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
      Algortimi Euristici
    • TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
      Algoritmi su Casi Speciali
    • AD - Algoritmi Distribuiti
      Algortmi Distribuiti
    • TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
      Algoritmi Approssimanti
    • TAA - Tecniche Algoritmiche Avanzate
      Algoritmi Approssimanti
    • TAA - Tecniche Algoritmiche Avanzate
      Algoritmi Approssimanti

(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa

Riepilogo dell'insegnamento: Automi, Linguaggi e Complessità
Nome Automi, Linguaggi e Complessità CFU 9
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

9 cfu così ripartiti nelle aree:

  • 7 CFU nell'area A - Fondamenti
  • 2 CFU nell'area D - Linguaggi

Sillabo dell'insegnamento

  • A - Fondamenti
    • * ALF - Automi e Linguaggi Formali
      Automi finiti
    • * ALF - Automi e Linguaggi Formali
      Espressioni regolari
    • * ALF - Automi e Linguaggi Formali
      Automi push-down
    • COM - Complessita'
      NP-Completezza
    • COM - Complessita'
      Gerarchie di classi di complessità
    • * CAL - Calcolabilita'
      Decidibilità
    • * ALF - Automi e Linguaggi Formali
      Automi non deterministici
  • D - Linguaggi
    • * LF - Linguaggi Formali
      Linguaggi regolari e context-free
    • TAV - Tecniche di Analisi e Verifica
      Verifica di sistemi

(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa

Riepilogo dell'insegnamento: Esame a scelta libera 1
Nome Esame a scelta libera 1 CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare --libero--
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area NC - Crediti Non Classificabili a priori

Sillabo dell'insegnamento

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

Riepilogo dell'insegnamento: Esame a scelta libera 2
Nome Esame a scelta libera 2 CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare --libero--
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area NC - Crediti Non Classificabili a priori

Sillabo dell'insegnamento

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

Riepilogo dell'insegnamento: Esami curriculari
Nome Esami curriculari CFU 24
Ore di didattica frontale per CFU N/A Settore Scientifico Disciplinare INF/01
   

24 cfu così ripartiti nelle aree:

  • 24 CFU nell'area INF - Crediti di INFORMATICA non classificabili a priori
Riepilogo dell'insegnamento: Intelligenza Artificiale e Computazionale
Nome Intelligenza Artificiale e Computazionale CFU 9
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

9 cfu così ripartiti nelle aree:

  • 9 CFU nell'area M - Rappresentazione della conoscenza

Sillabo dell'insegnamento

  • M - Rappresentazione della conoscenza
    • V - Varie
      Modelli lineari per regressione e classificazione
    • ARC - Acquisizione e Rappresentazione della Conoscenza
      Acquisizione e Rappresentazione della Conoscenza
    • AI - Agenti Intelligenti
      Agenti Intelligenti
    • AASC - Apprendimento Automatico e Scoperta di Conoscenza
      Modelli di apprendimento da esempi
    • V - Varie
      Pattern recognition statistico
    • * RP - Risoluzione di Problemi
      Algoritmi di ricerca
    • * SBC - Sistemi Basati su Conoscenza
      Sistemi Basati sulla Conoscenza
    • * RP - Risoluzione di Problemi
      Problem solving
    • AASC - Apprendimento Automatico e Scoperta di Conoscenza
      Modelli di apprendimento da esempi

(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa

Riepilogo dell'insegnamento: Linguaggi di Programmazione e Compilatori - Laboratorio
Nome Linguaggi di Programmazione e Compilatori - Laboratorio CFU 2
Ore di didattica frontale per CFU 12 Settore Scientifico Disciplinare INF/01
   

2 cfu così ripartiti nelle aree:

  • 2 CFU nell'area D - Linguaggi

Sillabo dell'insegnamento

  • D - Linguaggi
    • TAV - Tecniche di Analisi e Verifica
      Ottimizzazione e Analisi dei programmi
    • * TTCI - Tecniche di Traduzione: Compilatori e Interpreti
      Analisi

(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa

Riepilogo dell'insegnamento: Linguaggi di Programmazione e Compilatori - Lezioni
Nome Linguaggi di Programmazione e Compilatori - Lezioni CFU 7
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

7 cfu così ripartiti nelle aree:

  • 7 CFU nell'area D - Linguaggi

Sillabo dell'insegnamento

  • D - Linguaggi
    • * S - Semantica
      Analisi
    • * TTCI - Tecniche di Traduzione: Compilatori e Interpreti
      Generazione di codice intermedio e codice macchina
    • TAV - Tecniche di Analisi e Verifica
      Ottimizzazione e analisi dei programmi
    • * MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
      Macchine Astratte
    • PLN - Paradigmi Linguistici
      Paradigmi funzionale, procedurale e logico
    • * TTCI - Tecniche di Traduzione: Compilatori e Interpreti
      Gestione della Memoria a Runtime
    • * MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
      Tecniche per la Realizzazione dei Linguaggi di Programmazione

(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa

Riepilogo dell'insegnamento: Reti di Calcolatori II - Laboratorio
Nome Reti di Calcolatori II - Laboratorio CFU 2
Ore di didattica frontale per CFU 12 Settore Scientifico Disciplinare INF/01
   

2 cfu così ripartiti nelle aree:

  • 2 CFU nell'area H - Computazione su rete

Sillabo dell'insegnamento

  • H - Computazione su rete
    • PASR - Programmazione di Applicazioni e Servizi di Rete
      Valutazioni delle prestazioni di server WWW
    • PASR - Programmazione di Applicazioni e Servizi di Rete
      Tecniche di benchmarking

(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa

Riepilogo dell'insegnamento: Reti di Calcolatori II - Lezioni
Nome Reti di Calcolatori II - Lezioni CFU 7
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

7 cfu così ripartiti nelle aree:

  • 7 CFU nell'area H - Computazione su rete

Sillabo dell'insegnamento

  • H - Computazione su rete
    • * ARTC - Architettura delle Reti di Calcolatori
      Architettura reti wireless PAN, LAN, MAN e WAN
    • * ARTC - Architettura delle Reti di Calcolatori
      Architettura reti Ad Hoc
    • * PT - Protocolli
      Bluetooth, WiFi, WiMax, Wireless Internet
    • * PT - Protocolli
      Protocolli MAC e di routing per reti Ad Hoc
    • PASR - Programmazione di Applicazioni e Servizi di Rete
      Architettura software del server WWW Apache
    • V - Varie
      Content Delivery Networks
    • V - Varie
      Architettura del WWW e principi progettuali di HTTP

(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa

Riepilogo dell'insegnamento: Sicurezza - Laboratorio
Nome Sicurezza - Laboratorio CFU 2
Ore di didattica frontale per CFU 12 Settore Scientifico Disciplinare INF/01
   

2 cfu così ripartiti nelle aree:

  • 2 CFU nell'area H - Computazione su rete

Sillabo dell'insegnamento

  • H - Computazione su rete
    • * SR - Sicurezza delle Reti
      Applicazioni di PKI
    • PASR - Programmazione di Applicazioni e Servizi di Rete
      Sistemi di protezione da attacchi esterni

(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa

Riepilogo dell'insegnamento: Sicurezza - Lezioni
Nome Sicurezza - Lezioni CFU 7
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

7 cfu così ripartiti nelle aree:

  • 2 CFU nell'area A - Fondamenti
  • 5 CFU nell'area H - Computazione su rete

Sillabo dell'insegnamento

  • A - Fondamenti
    • V - Varie
      Elementi di Crittografia
    • V - Varie
      Elementi di Crittografia
  • H - Computazione su rete
    • * PT - Protocolli
      Protocolli crittografici
    • * SR - Sicurezza delle Reti
      Public Key Infrastructure
    • * SR - Sicurezza delle Reti
      Sicurezza nei sistemi operativi e sul web
    • V - Varie
      Digital Forensics
    • * SR - Sicurezza delle Reti
      Sicurezza delle reti

(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa

Riepilogo dell'insegnamento: Sistemi Operativi II - Laboratorio
Nome Sistemi Operativi II - Laboratorio CFU 2
Ore di didattica frontale per CFU 12 Settore Scientifico Disciplinare INF/01
   

2 cfu così ripartiti nelle aree:

  • 1 CFU nell'area F - Sistemi operativi
  • 1 CFU nell'area H - Computazione su rete

Sillabo dell'insegnamento

  • F - Sistemi operativi
    • SAA - Sistemi operativi per Architetture Avanzate
      Virtualizzazione: Para e Full Virtualization (Xen vs VMWare)
  • H - Computazione su rete
    • SRM - Sistemi operativi di Rete e Middleware per la programmazione di rete
      Grid e Cloud Computing: Architetture e strumenti middleware (Hadoop ? HDFS)

(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa

Riepilogo dell'insegnamento: Sistemi Operativi II - Lezioni
Nome Sistemi Operativi II - Lezioni CFU 7
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

7 cfu così ripartiti nelle aree:

  • 7 CFU nell'area F - Sistemi operativi

Sillabo dell'insegnamento

  • F - Sistemi operativi
    • * GM - Gestione della Memoria
      Tecniche per la scrittura di kernel per sistemi shared memory: gestione della memoria virtuale, Scheduling, reingegnerizzazione dei kernel monolitici, tecniche basate su microkernel
    • MA - Modelli e Architetture di sistemi operativi
      Architetture multiprocessore
    • SAA - Sistemi operativi per Architetture Avanzate
      Cluster-­‐based storage: NASD the Google file system (HDFS)
    • MA - Modelli e Architetture di sistemi operativi
      Network e distributed file system
    • * FS - File System
      Storage e File System: Sistemi RAID: Disegno ed Implementazione di un Log-­‐Structured File System
    • * GSP - Gestione e Sincronizzazione dei Processi
      Supporto alla programmazione parallela
    • * SCO - Struttura e Componenti di un sistema operativo
      OS architecture ed Extensibility: I casi di studio Exokernel e SPIN OS

(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa

Riepilogo dell'insegnamento: Integrazione Dati sul Web
Nome Integrazione Dati sul Web CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 4 CFU nell'area G - Basi di dati
  • 2 CFU nell'area H - Computazione su rete

Sillabo dell'insegnamento

  • G - Basi di dati
    • BDA - Basi di Dati Avanzate
      XML e database eterogenei
    • * ML - Modelli logici
      Modellazione delle fonti di dati
    • BDA - Basi di Dati Avanzate
      Conversione automatica di schemi
    • V - Varie
      Interrogazioni in sistemi di integrazione dati
  • H - Computazione su rete
    • PASR - Programmazione di Applicazioni e Servizi di Rete
      Integrazione dati su web
    • * ARTC - Architettura delle Reti di Calcolatori
      Architetture distribuite per l'integrazione dei dati

(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. Esami curriculari
Riepilogo dell'insegnamento: Programmazione Concorrente e Parallela
Nome Programmazione Concorrente e Parallela CFU 7
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

7 cfu così ripartiti nelle aree:

  • 4 CFU nell'area B - Algoritmi
  • 2 CFU nell'area C - Programmazione
  • 1 CFU nell'area E - Architetture

Sillabo dell'insegnamento

  • B - Algoritmi
    • AP - Algoritmi Paralleli
      Algoritmi per mutual exclusion
    • AP - Algoritmi Paralleli
      Algoritmi per mutual exclusion
    • SDA - Strutture di Dati Avanzate
      Strutture Dati concorrenti
    • SDA - Strutture di Dati Avanzate
      Strutture dati concorrenti
  • C - Programmazione
    • PCC - Programmazione Concorrente
      Fondamenti di programmazione concorrente
    • PCC - Programmazione Concorrente
      Programmazione multithread in Java
  • E - Architetture
    • AA - Architetture Avanzate
      Architetture multicore

(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. Esami curriculari
Riepilogo dell'insegnamento: Programmazione Concorrente e Parallela - Laboratorio
Nome Programmazione Concorrente e Parallela - Laboratorio CFU 2
Ore di didattica frontale per CFU 12 Settore Scientifico Disciplinare INF/01
   

2 cfu così ripartiti nelle aree:

  • 1 CFU nell'area C - Programmazione
  • 1 CFU nell'area E - Architetture

Sillabo dell'insegnamento

  • C - Programmazione
    • V - Varie
      Programmazione parallela con MPI
  • E - Architetture
    • AA - Architetture Avanzate
      GPU

(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. Esami curriculari
Riepilogo dell'insegnamento: Protocolli Crittografici per il Web
Nome Protocolli Crittografici per il Web CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area H - Computazione su rete

Sillabo dell'insegnamento

  • H - Computazione su rete
    • * SR - Sicurezza delle Reti
      Modelli di sicurezza e tipi di avversari
    • * SR - Sicurezza delle Reti
      Zero Knowledge
    • * SR - Sicurezza delle Reti
      Secret Sharing
    • * SR - Sicurezza delle Reti
      Oblivious Transfer
    • * SR - Sicurezza delle Reti
      Secure Multi-Party Computation
    • * SR - Sicurezza delle Reti
      Two Party Secure Protocols

(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. Esami curriculari
Riepilogo dell'insegnamento: Reti ad Hoc
Nome Reti ad Hoc CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 3 CFU nell'area B - Algoritmi
  • 3 CFU nell'area H - Computazione su rete

Sillabo dell'insegnamento

  • B - Algoritmi
    • TAA - Tecniche Algoritmiche Avanzate
      Algoritmi di routing per reti ad-hoc
    • TAA - Tecniche Algoritmiche Avanzate
      Sworm computing
    • AD - Algoritmi Distribuiti
      Algoritmi per reti ad-hoc
  • H - Computazione su rete
    • * ARTC - Architettura delle Reti di Calcolatori
      Architettura delle reti di sensori
    • * PT - Protocolli
      Protocolli di livello MAC e IEEE 802.15.4
    • * MIR - Modelli di Interazione in Rete
      Routing, localizzazione, data-centric networking

(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. Esami curriculari
Riepilogo dell'insegnamento: Sistemi Distribuiti
Nome Sistemi Distribuiti CFU 7
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

7 cfu così ripartiti nelle aree:

  • 5 CFU nell'area B - Algoritmi
  • 2 CFU nell'area H - Computazione su rete

Sillabo dell'insegnamento

  • B - Algoritmi
    • AD - Algoritmi Distribuiti
      Algoritmi di sincronizzazione
    • AD - Algoritmi Distribuiti
      Algoritmi per il consenso
    • AD - Algoritmi Distribuiti
      Algoritmi di routing per sistemi peer-to-peer
    • AD - Algoritmi Distribuiti
      Chord e Koorde
    • AD - Algoritmi Distribuiti
      Algoritmi per l'elezione del leader
  • H - Computazione su rete
    • * ARTC - Architettura delle Reti di Calcolatori
      Architettura dei sistemi peer-to-peer
    • * FCD - Fondamenti del Calcolo Distribuito
      Modello formale di sistemi distribuiti

(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. Esami curriculari
Riepilogo dell'insegnamento: Sistemi Distribuiti - Laboratorio
Nome Sistemi Distribuiti - Laboratorio CFU 2
Ore di didattica frontale per CFU 12 Settore Scientifico Disciplinare INF/01
   

2 cfu così ripartiti nelle aree:

  • 2 CFU nell'area H - Computazione su rete

Sillabo dell'insegnamento

  • H - Computazione su rete
    • SRM - Sistemi operativi di Rete e Middleware per la programmazione di rete
      Piattaforma JXTA
    • PASR - Programmazione di Applicazioni e Servizi di Rete
      Progettazione di un sistema PeerToPeer con JXTA

(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. Esami curriculari
Riepilogo dell'insegnamento: Struttura delle Reti Sociali
Nome Struttura delle Reti Sociali CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 4 CFU nell'area B - Algoritmi
  • 2 CFU nell'area H - Computazione su rete

Sillabo dell'insegnamento

  • B - Algoritmi
    • SDA - Strutture di Dati Avanzate
      Teoria dei Grafi e Network Analysis
    • * ASC - Algoritmi su Strutture Combinatorie
      Algoritmi di ricerca sul Web
    • TAA - Tecniche Algoritmiche Avanzate
      Teoria Algoritmica dei Giochi
    • TAA - Tecniche Algoritmiche Avanzate
      Aste e meccanismi affidabili
  • H - Computazione su rete
    • V - Varie
      Reti sociali
    • V - Varie
      Estrazione ed analisi di dati su reti sociali

(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. Esami curriculari
Riepilogo dell'insegnamento: Verifica dei Programmi I - Laboratorio
Nome Verifica dei Programmi I - Laboratorio CFU 2
Ore di didattica frontale per CFU 12 Settore Scientifico Disciplinare INF/01
   

2 cfu così ripartiti nelle aree:

  • 2 CFU nell'area I - Ingegneria del software

Sillabo dell'insegnamento

  • I - Ingegneria del software
    • * TVV - Testing, Verifica e Validazione
      Utilizzo del model-checler SPIN
    • * TVV - Testing, Verifica e Validazione
      Utilizzo del model-checler SPIN

(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. Esami curriculari
Riepilogo dell'insegnamento: Verifica dei Programmi I - Lezioni
Nome Verifica dei Programmi I - Lezioni CFU 4
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

4 cfu così ripartiti nelle aree:

  • 2 CFU nell'area A - Fondamenti
  • 2 CFU nell'area I - Ingegneria del software

Sillabo dell'insegnamento

  • A - Fondamenti
    • * ALF - Automi e Linguaggi Formali
      Modelli di computazione e specifiche
    • COM - Complessita'
      Complessità dei problemi di verifica
  • I - Ingegneria del software
    • * TVV - Testing, Verifica e Validazione
      Verifica automatica con modelli a stati finiti
    • * TVV - Testing, Verifica e Validazione
      Verifica automatica con modelli con stack

(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. Esami curriculari
Riepilogo dell'insegnamento: Verifica dei Programmi II - Laboratorio
Nome Verifica dei Programmi II - Laboratorio CFU 1
Ore di didattica frontale per CFU 12 Settore Scientifico Disciplinare INF/01
   

1 cfu così ripartiti nelle aree:

  • 1 CFU nell'area altro INF - Crediti di INFORMATICA non classificati nelle aree

Sillabo dell'insegnamento

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

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. Esami curriculari
Riepilogo dell'insegnamento: Verifica dei Programmi II - Lezioni
Nome Verifica dei Programmi II - Lezioni CFU 5
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

5 cfu così ripartiti nelle aree:

  • 5 CFU nell'area A - Fondamenti

Sillabo dell'insegnamento

  • A - Fondamenti
    • * ALF - Automi e Linguaggi Formali
      Verifica di prorietà regolari
    • L - Logica
      Logiche temporali
    • * ALF - Automi e Linguaggi Formali
      Model checking con automi
    • V - Varie
      Modelli di sistemi concorrenti
    • * ALF - Automi e Linguaggi Formali
      Automi temporizzati

(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa

Insegnamenti "macro" nell'ambito dei quali può essere scelto

  1. Esami curriculari
Sistema di certificazione della qualità dei contenuti delle lauree in Informatica
Credits
Valid XHTML 1.0 Strict Valid CSS