2014
2014
Sei collegato come utente non registrato
Il percorso ha la certificazione
Corso di Laurea: Informatica  -  Percorso: Progettazione e analisi del software
Informazioni generali
Università BOLOGNA Responsabile del Percorso Alan Albert Bertossi
Livello del Cdl MAGISTRALE Email bertossi@cs.unibo.it
Scheda Unica Annuale (SUA) del Corso di Laurea: Visualizza documento SUA caricato E' un percorso interdisciplinare No
Commento    
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 avanzati 6   6                              
Analisi statica dei programmi 6 3     3                          
Complementi di basi di dati 6             6                    
Complementi di linguaggi di programmazione 6 2     4                          
Esame a scelta ambito MAT-FIS (6CFU) (M) 6                             6    
Fondamenti logici dell'Informatica 6                             6    
Intelligenza artificiale 6                     6            
Interazione persona-computer 6                   6              
Modelli e sistemi concorrenti 6 5               1                
Simulazione di sistemi 6         6                        
Sistemi complessi 6 2 2           2                  
Sistemi middleware 6           3     3                
                                     
Attività Extracurriculari 12                                 12
Lingue Straniere 6                                 6
Prova Finale 24                                 24
Tirocinio 6                                 6
TOTALE 120 12 8 0 7 6 3 6 2 4 6 6 0 0 0 12 0 48
Riepilogo dell'insegnamento: Algoritmi avanzati
Nome Algoritmi avanzati CFU 6
Ore di didattica frontale per CFU 6 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area B - Algoritmi

Sillabo dell'insegnamento

  • B - Algoritmi
    • AP - Algoritmi Paralleli
      Modelli sincroni, algoritmi per PRAM
    • AP - Algoritmi Paralleli
      Reti di interconnessione a grado limitato
    • AP - Algoritmi Paralleli
      Modelli VLSI e mesh riconfigurabili
    • AD - Algoritmi Distribuiti
      Modelli asincroni, algoritmi concorrenti
    • AD - Algoritmi Distribuiti
      Modello distribuito, topologie di reti di calcolatori
    • AD - Algoritmi Distribuiti
      Mutua esclusione, elezione leader, minimo albero di copertura

(*) 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: Analisi statica dei programmi
Nome Analisi statica dei programmi CFU 6
Ore di didattica frontale per CFU 6 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 3 CFU nell'area A - Fondamenti
  • 3 CFU nell'area D - Linguaggi

Sillabo dell'insegnamento

  • A - Fondamenti
    • SLP - Semantica dei Linguaggi di Programmazione
      Semantica di un linguaggio while
    • SLP - Semantica dei Linguaggi di Programmazione
      Teoria del punto fisso
    • SLP - Semantica dei Linguaggi di Programmazione
      Semantica astratta di programmi
  • D - Linguaggi
    • TAV - Tecniche di Analisi e Verifica
      Interpretazione astratta
    • TAV - Tecniche di Analisi e Verifica
      Data flow analisys
    • TAV - Tecniche di Analisi e Verifica
      Confronti tra tecniche

(*) 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: Complementi di basi di dati
Nome Complementi di basi di dati CFU 6
Ore di didattica frontale per CFU 6 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area G - Basi di dati

Sillabo dell'insegnamento

  • G - Basi di dati
    • BDA - Basi di Dati Avanzate
      Basi di Dati per Dati strutturati, semi strutturati e non strutturati
    • * LI - Linguaggi di Interrogazione di Basi di Dati
      XPath and XQuery
    • * LI - Linguaggi di Interrogazione di Basi di Dati
      Information Retrieval (boolean e vector space)
    • * PL - Progettazione Logica
      La progettazione logica nei data warehouse
    • BDA - Basi di Dati Avanzate
      Data warehouse
    • BDA - Basi di Dati Avanzate
      Data mining

(*) 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: Complementi di linguaggi di programmazione
Nome Complementi di linguaggi di programmazione CFU 6
Ore di didattica frontale per CFU 6 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

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

Sillabo dell'insegnamento

  • A - Fondamenti
    • L - Logica
      Esplicazione logica delle principali tattiche
    • L - Logica
      Il sistema logico fondazionale: il calcolo delle costruzioni induttive
  • D - Linguaggi
    • TAV - Tecniche di Analisi e Verifica
      Applicazioni a semplici esempi di verifica del software
    • TAV - Tecniche di Analisi e Verifica
      Tipi dipendenti, approfondimenti, tecniche avanzate
    • TAV - Tecniche di Analisi e Verifica
      Tattiche di base, strutture dati, funzioni, tipi, polimorfismo
    • TAV - Tecniche di Analisi e Verifica
      Introduzione alla dimostrazione interattiva

(*) 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 ambito MAT-FIS (6CFU)
Nome Esame a scelta ambito MAT-FIS (6CFU) CFU 6
Ore di didattica frontale per CFU N/A Settore Scientifico Disciplinare MAT/08
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area MAT - Crediti di MATEMATICA

Insegnamenti "a scelta" che possono essere selezionati

  1. Matematica Computazionale
  2. Modelli probabilistici
  3. Fisica dei Sistemi Complessi
Riepilogo dell'insegnamento: Fondamenti logici dell'Informatica
Nome Fondamenti logici dell'Informatica CFU 6
Ore di didattica frontale per CFU 6 Settore Scientifico Disciplinare MAT/01
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area MAT - Crediti di MATEMATICA

Sillabo dell'insegnamento

  • MAT - Crediti di MATEMATICA
    • MAT/01 - Logica Matematica
      Lambda calcolo puro
    • MAT/01 - Logica Matematica
      Lambda calcoli con tipi: semplici, polimorfi, aritmetica
    • MAT/01 - Logica Matematica
      Inferenza di tipo
    • MAT/01 - Logica Matematica
      Relazioni tra lambda-calcolo e logica intuizionista
    • MAT/01 - Logica Matematica
      Espressività dei calcoli tipizzati
    • MAT/01 - Logica Matematica
      Normalizzazione dei calcoli tipizzati

(*) 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: Intelligenza artificiale
Nome Intelligenza artificiale CFU 6
Ore di didattica frontale per CFU 6 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area M - Rappresentazione della conoscenza

Sillabo dell'insegnamento

  • M - Rappresentazione della conoscenza
    • AI - Agenti Intelligenti
      La nozione di agente.
    • * RP - Risoluzione di Problemi
      Strategie di ricerca non informata. Strategie di ricerca informata.
    • * LPD - Logica e Programmazione Dichiarativa
      Programmazione logica.
    • * LPD - Logica e Programmazione Dichiarativa
      Programmazione con vincoli
    • RA - Ragionamento Automatico
      Planning.
    • AIA - Applicazioni della Intelligenza Artificiale
      Modellazione e soluzione di problemi mediante agenti logici

(*) 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: Interazione persona-computer
Nome Interazione persona-computer CFU 6
Ore di didattica frontale per CFU 6 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area L - Interazione, grafica e multimedialità

Sillabo dell'insegnamento

  • L - Interazione, grafica e multimedialità
    • V - Varie
      L'essere umano: percezione, attenzione, memoria, elaborazione; ergonomia
    • * PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
      Metodi di ispezione del progetto
    • * PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
      Metodi di testing del progetto: user testing e discount user testing
    • * MMPI - Modelli e Metodi per la Progettazione dell'Interazione
      User-centered design, task-centered design, goal-centered design
    • * MMPI - Modelli e Metodi per la Progettazione dell'Interazione
      Storia delle interfacce grafiche, progettazione di un'interfaccia grafica, progettazione per il mobile
    • * IMW - Ipertesti, Multimedialità e WWW
      Architettura dell'Informazione, Web Usability

(*) 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: Modelli e sistemi concorrenti
Nome Modelli e sistemi concorrenti CFU 6
Ore di didattica frontale per CFU 6 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

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

Sillabo dell'insegnamento

  • A - Fondamenti
    • * ALF - Automi e Linguaggi Formali
      Automi, labeled transition systems, equivalenze linear-time
    • * ALF - Automi e Linguaggi Formali
      Automi e linguaggi formali, Equivalenze branching-time
    • * ALF - Automi e Linguaggi Formali
      Semantica dei linguaggi di programmazione Semantica Operazionale strutturata, CCS
    • * ALF - Automi e Linguaggi Formali
      Semantica dei linguaggi di programmazione Sottoclassi di espressività di CCS
    • * ALF - Automi e Linguaggi Formali
      Logica HML, con aggiunta di ricorsione
  • I - Ingegneria del software
    • * TVV - Testing, Verifica e Validazione
      Equivalence-checking, Model-checking, strumento CWB

(*) 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: Simulazione di sistemi
Nome Simulazione di sistemi CFU 6
Ore di didattica frontale per CFU 6 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area E - Architetture

Sillabo dell'insegnamento

  • E - Architetture
    • VMP - Valutazione e Miglioramento delle Prestazioni
      classificazione di sistemi e modelli, pianificazione di uno studio di simulazione,progettazione di simulatori;
    • VMP - Valutazione e Miglioramento delle Prestazioni
      generatori di numeri pseudocasuali, generazione di variabili casuali;
    • VMP - Valutazione e Miglioramento delle Prestazioni
      tecniche di simulazione ad eventi, analisi dei risultati di un esperimento di simulazione;
    • VMP - Valutazione e Miglioramento delle Prestazioni
      verifica, convalida e testing di un modelo di simulazione, ambienti di simulazione;
    • VMP - Valutazione e Miglioramento delle Prestazioni
      paradigmi di simulazione distribuita e parallela;
    • VMP - Valutazione e Miglioramento delle Prestazioni
      progetto e realizzazione di simulatori per l'analisi prestazionale di sistemi P2P.

(*) 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 complessi
Nome Sistemi complessi CFU 6
Ore di didattica frontale per CFU 6 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

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

Sillabo dell'insegnamento

  • A - Fondamenti
    • V - Varie
      Non-linear dynamics and chaos, Randomness, incomputability and chaos, Complex systems
    • V - Varie
      Cellular Automata, Autonomous agents, Cascading behavior, diffusion
  • B - Algoritmi
    • V - Varie
      Cooperation and Competition. Game theory, Nash Equilibrium, Mixed strategy games, Adaptation, Genetic algorithms
    • V - Varie
      Evolutionary Game Theory, Iterated Prisoners' Dilemma, Gossiping and epidemic algorithms
  • H - Computazione su rete
    • V - Varie
      Peer-to-peer systems and overlay networks, Structured overlays, Key-based routing, Chord, Complex Networks
    • V - Varie
      Random Graphs, Small-world phenomenon, power laws of graphs, The structure of the web, Generating Random Graphs

(*) 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 middleware
Nome Sistemi middleware CFU 6
Ore di didattica frontale per CFU 6 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 3 CFU nell'area F - Sistemi operativi
  • 3 CFU nell'area I - Ingegneria del software

Sillabo dell'insegnamento

  • F - Sistemi operativi
    • SAA - Sistemi operativi per Architetture Avanzate
      Transazioni atomiche (flat, nested, distribuite), transazioni estese, Corba Activity Service
    • SAA - Sistemi operativi per Architetture Avanzate
      Comunicazioni sincrone e asincrone, Message Oriented Middleware, servizi di publish-subscribe e meccanismi di event notification.
    • SAA - Sistemi operativi per Architetture Avanzate
      Cloud computing: architetture, gestione, servizi, casi di studio.
  • I - Ingegneria del software
    • * AR - Analisi dei Requisiti
      Esempi di scenari applicativi, casi di studio, requisiti di scalabilità e trasparenza, tassonomia della "trasparenza".
    • * ASW - Architetture Software
      CORBA, IDL, CORBA Component Model
    • * ASW - Architetture Software
      Architecture multi-tier, Application servers (J2EE), Web Services, Service Oriented Architecture (SOA)

(*) 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: Fisica dei Sistemi Complessi
Nome Fisica dei Sistemi Complessi CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare FIS/01
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area altro - Crediti NON dell'INFORMATICA nè della MATEMATICA

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. Esame a scelta ambito MAT-FIS (6CFU)
Riepilogo dell'insegnamento: Matematica Computazionale
Nome Matematica Computazionale CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare MAT/08
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area MAT - Crediti di MATEMATICA

Sillabo dell'insegnamento

  • MAT - Crediti di MATEMATICA
    • MAT/08 - Analisi Numerica
      Modelli matematici, modelli numerici, algoritmi e software scientifico. Importanza delle simulazioni numeriche. Contesto tecnologico, apprendimento computazionale, Web e calcolo scientifico. Richiami sulla rappresentazione dell'informazione numerica. Sistemi di aritmetica al calcolatore; errore, precisione e accuratezza. Aritmetica Significativa.
    • MAT/08 - Analisi Numerica
      Richiami sul condizionamento di un problema e su stabilita' e costo computazionale di un algoritmo numerico. Soluzione di problemi del calcolo scientifico in un ambiente integrato di algebra al calcolatore. Introduzione all'ambiente Mathematica.
    • MAT/08 - Analisi Numerica
      Mathematica come linguaggio di programmazione, nei diversi paradigmi procedurale, funzionale, basato sulle liste ed orientato alle regole.
    • MAT/08 - Analisi Numerica
      Librerie di software matematico per problemi di algebra lineare numerica. Matrici sparse e software numerico per manipolazione e calcolo con matrici sparse. Possibilita' di parallelismo sui dati.
    • MAT/08 - Analisi Numerica
      Risorse di Mathematica per problemi non lineari e problemi di calcolo integrale e differenziale.
    • MAT/08 - Analisi Numerica
      Approssimazione di dati, grafica computazionale e visualizzazione scientifica in Mathematica. Utilizzo delle risorse di Mathematica per analisi e soluzione di un particolare problema applicativo, di interesse per lo studente, tramite lo sviluppo di un pacchetto.

(*) 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. Esame a scelta ambito MAT-FIS (6CFU)
Riepilogo dell'insegnamento: Modelli probabilistici
Nome Modelli probabilistici CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare MAT/06
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area MAT - Crediti di MATEMATICA

Sillabo dell'insegnamento

  • MAT - Crediti di MATEMATICA
    • MAT/06 - Probabilita' e Statistica Matematica
      Passeggiate aleatorie
    • MAT/06 - Probabilita' e Statistica Matematica
      Rovina del giocatore e processi di Galton-Watson
    • MAT/06 - Probabilita' e Statistica Matematica
      Catene di Markov omogenee con un'infinità numerabile di stati con tempo discteto
    • MAT/06 - Probabilita' e Statistica Matematica
      Catene di Markov omogenee con un'infinità numerabile di stati con tempo continuo
    • MAT/06 - Probabilita' e Statistica Matematica
      Processi di rinnovamento e semi-Markoviani
    • MAT/06 - Probabilita' e Statistica Matematica
      Esempi di processi di coda

(*) 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. Esame a scelta ambito MAT-FIS (6CFU)
Sistema di certificazione della qualità dei contenuti delle lauree in Informatica
Credits
Valid XHTML 1.0 Strict Valid CSS