Presentazione sintetica insegnamenti III anno

Transcript

Corso di Laurea in
Informatica
Insegnamenti III anno
erogati nel 2013-14
Corso di laurea in Informatica
3° anno – insegnamenti erogati nell’a.a. 2013-2014
Insegnamenti obbligatori
E3101Q113 - Analisi e progetto di algoritmi
E3101Q128 - Ricerca operativa e pianificazione delle risorse
Insegnamenti a scelta:
E3101Q117 - Business Intelligence per i servizi finanziari
E3101Q115 - Complementi di Basi di dati
E3101Q118 - Elaborazione delle immagini
E3101Q116 - Elementi di Bioinformatica
E3101Q119 - Ingegneria del software
E3101Q120 - Interazione uomo-macchina
E3101Q121 - Metodi Formali
E3101Q122 - Programmazione e amministrazione di sistema
E3101Q114 - Robotica e Automazione
E3101Q123 - Sicurezza ed affidabilità
E3101Q124 - Sistemi embedded
E3101Q125 - Tecnologie per la cooperazione
E3101Q126 - Trattamento e codifica di dati multimediali
novembre 2013
Tipologia Attività Formativa
(TAF)
B - caratterizzante
CFU
semestre
8
8
1
1
C - affine/integrativa
Tipologia Attività Formativa
(TAF)
B - caratterizzante
B - caratterizzante
B - caratterizzante
B - caratterizzante
B - caratterizzante
B - caratterizzante
B - caratterizzante
B - caratterizzante
B - caratterizzante
B - caratterizzante
B - caratterizzante
B - caratterizzante
B - caratterizzante
Corso di laurea in Informatica - insegnamenti III anno 2013-2014
ipotesi
semestre
8
8
8
8
8
8
8
8
8
8
8
8
8
2
1
1
2
1
2
1
1
2
2
2
2
2
E3101Q117 – Business Intelligence per i Servizi Finanziari
(1)
Area di interesse
Analisi dei dati finanziari aziendali e dei mercati
Supporto decisionale real time per il trading on line
Analisi efficienza aziendale
Risk management
Obiettivi formativi
fornire le conoscenze relative alle problematiche tipiche dei sistemi di
business intelligence nel dominio ‘’finance’’
fornire le competenze necessarie per la valutazione e l’uso di prodotti
disponibili (commerciali e open source), nonché per la progettazione e
sviluppo di applicativi specifici
Sbocchi professionali
Banche e Assicurazioni
Società di servizi finanziari/società di sviluppo software
Piccole/medie imprese: supporto alla funzione finanza
Grandi imprese: analista ‘’corporate’’
novembre 2013
E3101Q117 – Business Intelligence per i Servizi Finanziari (2)
Contenuti
• Concetti base di gestione aziendale e mercati finanziari
• Metodi per l’analisi dei dati
• Scouting e valutazione comparativa di piattaforme e sistemi esistenti di Business
Intelligence commerciali e open source
• Realizzazione di dashboards e reporting dinamico
• Funzionalità di supporto decisionale proattivo (in particolare Customer
Relationship Management e Social Networks)
• Studi di caso
Metodi didattici: Lezioni e laboratorio (sviluppo di semplici applicazioni)
Prerequisiti: concetti base di statistica e sviluppo software
Docente responsabile: Francesco Archetti
novembre 2013
E3101Q115 ‐ Complementi di Basi
di dati (1)
Area di interesse
Sistemi informativi centralizzati, modelli di rappresentazione delle
informazioni avanzate, Semantic Web, linked open data
Esempi: sviluppo dbms, utilizzo tecnologie semantiche per applicazioi
Web 2.0 avanzata, sistemi informativi relazionali, xml
Obiettivi formativi
fornire le conoscenze relative ai componenti funzionali dei database
relazionali , transazioni per fornire le competenze necessarie per
1) utilizzare XML/RDF come modello di rappresentazione delle
informazioni,
2) svolgere le principali attivita di amministratore di un DBMS
relazionale
Aziende medie e grandi che usano sistemi informativi
Start up innovative
Sviluppo applicazioni web
Database administator
novembre 2013
E3101Q115 ‐ Complementi di Basi
di dati (2)
Contenuti
struttura interna di un DBMS centralizzato,
il concetto di transazione e le sue proprietà.
Principali problematiche di sicurezza nelle basi di dati centralizzate,
Architetture dei principali DBMS disponibili
XML e linguaggi di interrogazioni Xquery/Xpath
RDF e suoi linguaggi di interrogazioni
Metodi didattici: Lezioni, esercitazioni e laboratorio (su sistemi reali)
Prerequisiti: basi di dati
Docente responsabile: Andrea Maurino
novembre 2013
E3101Q118 – Elaborazione delle
immagini (1)
Area di interesse
Sistemi di visione, dispositivi consumers, archivi multimediali, medicina,
biologia, sicurezza, controllo traffico, telerilevamento, controllo qualità,
robotica, automazione, automotive, domotica, comunicazione uomomacchina, entertainment, beni culturali, …
Obiettivi formativi
Il corso ha l'obiettivo di fornire agli studenti le competenze teoriche e pratiche
per l’elaborazione, la segmentazione, l’analisi e la classificazione di immagini e
video digitali da applicare in diversi contesti applicativi.
Piccole/medie/grandi imprese (italiane ed estere)
novembre 2013
7
E3101Q118 – Elaborazione delle
immagini (2)
Contenuti
Cenni sulla percezione visiva, la visione umana e artificiale, il colore.
Acquisizione e digitalizzazione di immagini. Miglioramento delle immagini con operatori
puntuali. Filtraggio spaziale lineare e non-lineare. Spazi colore. Elaborazione di immagini a
colori.
Segmentazione di immagini per regioni e per contorni. Morfologia matematica. Analisi
tessiturale. Descrizione e rappresentazione di immagini (regioni, contorni, approssimazione
poligonale). Riconoscimento, classificazione supervisionata e non supervisionata.
Metodi didattici: Lezioni ed esercitazioni/laboratorio
Prerequisiti: concetti di base di analisi e programmazione.
Docente responsabile: Raimondo Schettini (www.ivl.disco.unimib.it)
novembre 2013
8
E3101Q116 – Elementi
di Bioinformatica (1)
Area di interesse
1. Problemi biologici
2. Soluzione informatica
Obiettivi formativi
Passare dal problema biologico alla soluzione informatica, attraverso la
modellizzazione del problema e la selezione degli opportuni strumenti
algoritmici e di programmazione.
Conoscenza delle principali banche dati di dati biologici.
Capacità di manipolare dati tipici dell'ambito bioinformatico.
Aziende Sanitarie Locali
Istituti di ricerca
CRO (Contract research organizations)
Gestione di dati biologici complessi
23 novembre 2012
9
E3101Q116 – Elementi di Bioinformatica (2)
Contenuti
Introduzione alla biologia computazionale. Tecnologie e algoritmi per il
sequenziamento di DNA e il confronto di dati biologici. File di
interscambio dati in Bioinformatica. Banche dati biologiche. Ricerche in
banca dati. Inferenza di storie evolutive. Ruby e librerie per la gestione di
dati biologici.
Metodi didattici: lezioni, esercitazioni, laboratorio
Prerequisiti: algoritmi e strutture dati, programmazione
Docente responsabile: Gianluca Della Vedova
23 novembre 2012
10
E3101Q119 – Ingegneria
del Software (1)
Area di interesse
Sistemi informatici in diversi ambiti applicativi e di varie dimensioni
Obiettivi formativi
Acquisire conoscenze fondamentali di sviluppo del software
Conoscere ed applicare i pattern durante lo sviluppo del software
Imparare best practices in Java
Conoscere ed utilizzare tecniche e metriche di valutazione della qualità
del software
Seguire e partecipare allo sviluppo di un progetto software
Aziende informatiche
Aziende di consulenza IT
novembre 2013
E3101Q119 – Ingegneria
del Software (2)
Contenuti
Metodi e tecniche di ingegneria del software
Nozioni relative ai processi dell'ingegneria del software e alla loro gestione
Pattern e la loro applicazione nello sviluppo del software
Best practices in Java
Nozioni fondamentali per la valutazione della qualità del software
Esempi di progetti software e le problematiche affrontate
Metodi didattici: Lezioni e esercitazioni
Prerequisiti: Nozioni base di programmazione (vedi insegnamento "Programmazione
1" e Programmazione 2") e di ingegneria del software (vedi insegnamento "Analisi e
progettazione del software")
Docente responsabile: Claudia Raibulet
novembre 2013
12
E3101Q120 - Interazione Uomo-Macchina (1)
Area di interesse
Sistemi informatici con forte interazione con l’utente umano
Esempi: applicazioni Web, app per device mobili (smartphone,
tablet, …)
Obiettivi formativi
Fornire una sensibilità alle problematiche della progettazione di
sistemi interattivi “usabili”
Permettere agli studenti di acquisire esperienze nella progettazione
di tali sistemi attraverso metodi di prototipazione elementari
Ogni ambiente in cui si progetti / mantenga software che
interagisce con utenti umani
novembre 2013
E3101Q120 - Interazione Uomo-Macchina (2)
Contenuti
Definizione del concetto di usabilità
Progettazione iterativa di sistemi usabili
Linee guida per la progettazione di sistemi usabili
Discussione di esempi di sistemi
Metodi di verifica della usabilità
Metodi didattici: Lezioni teoriche e laboratorio (realizzazione di un
prototipo di un’applicazione mobile per Android o iPhone seguendo la
metodologia indicata a lezione, e test di usabilità).
NB: Il corso passa da 4 a 8 CFU, ed ha modifiche sostanziali rispetto agli
anni passati
Prerequisiti: Utilizzo di un toolkit per sviluppo di applicazioni mobili
Docente responsabile: Roberto Polillo
novembre 2013
E3101Q121 – Metodi formali (1)
Area di interesse
Progettazione e analisi di software e hardware, specificazione di
protocolli di comunicazione, disegno e verifica di sistemi
concorrenti. Specificazione formale di sistemi. Logiche temporali
per specificare proprietà dei sistemi. Model-checking.
Obiettivi formativi
Saper modellare sistemi concorrenti con linguaggi e notazioni
formali. Saper specificare, in un linguaggio logico, proprietà
rilevanti di un sistema, e saper verificare, con l’aiuto di opportuni
strumenti software, se una proprietà è valida in un modello.
Telecomunicazioni: progetto e analisi di protocolli.
Settore ricerca e sviluppo. …
novembre 2013
15
E3101Q121 – Metodi formali (2)
Contenuti
Ruolo e limiti dei metodi formali nell’informatica. Semantica di
programmi e sistemi concorrenti. Strumenti formali per modellare
sistemi concorrenti: algebre di processi e reti di Petri. Logiche
temporali per specificare requisiti e proprietà. Algoritmi e
strumenti software per il disegno e l’analisi di sistemi concorrenti,
e per il model-checking.
Metodi didattici: lezioni frontali, esercitazioni in aula e in laboratorio
Prerequisiti: Fondamenti dell’informatica. Sistemi operativi. Sistemi
distribuiti.
Docente responsabile: Luca Bernardinello
novembre 2013
16
E3101Q114 - Robotica
e Automazione (1)
Area di interesse
robotica industriale e di servizio;
automazione (“da informatici”);
sensoristica: biomedicale, automotive, avionica, domotica;
Obiettivi formativi
padroneggiamento di importanti aspetti di robotica e meccatronica;
per alcuniaspetti si avrà un livello di competenza pratica.
piccole e medie aziende manifatturiere;
aziende produttrici di sistemi di produzione automatizzata;
aziende operanti nell’area sensoristica (“da informatico”).
17 novembre 2013
17
Corsodi laurea in Informatica
E3101Q114 - Robotica
Contenuti:
e Automazione (2)
Nozioni introduttive di robotica industriale e mobile.
Rappresentazione di rototraslazioni. Cinematica di
manipolatori industriali. Rassegna di dispositivi sensoriali.
Introduzione ai sistemi dinamici a tempo continuo.
Controllo retroazionato lineare per un motore a corrente
continua. Controllo a giunti indipendenti di robot articolati.
Interpolazione di traiettoria.
Cenni su pianificazione della traiettoria.
Metodi didattici: Lezioni e laboratorio.
Prerequisiti: Algebra lineare, Fisica, Probabilità e statistica, Geometria.
Docente responsabile: Domenico G. Sorrenti
23 novembre 2012
E3101Q122- Programmazione e Amministrazione di Sistema (1)
Area di interesse
Ovunque servano conoscenze di programmazione ad oggetti strutturata per
sviluppare applicazioni di sistema e non.
Obiettivi formativi
Alla fine del corso lo studente avrà acquisito abilità programmative e sarà in
grado di utilizzare i concetti della programmazione a oggetti per progettare,
sviluppare programmi complessi.
23 novembre 2012
E3101Q122- Programmazione
e Amministrazione di Sistema (2)
Contenuti
Il corso affronta le problematiche dell’amministrazione di sistema dal punto di vista
dello sviluppo software attraverso l’uso di diversi linguaggi di programmazione ad
oggetti e loro librerie. I linguaggi ad oggetti considerati sono:
• C++
• .NET / C#
Metodi didattici: Lezioni ed esercitazioni
Prerequisiti: programmazione base.
Docente responsabile: Gianluigi Ciocca (www.ivl.disco.unimib.it)
23 novembre 2012
20
E3101Q123 – Sicurezza
ed affidabilità (1)
Area di interesse
Problemi e competenze per la Qualità del software
1. Obiettivi e tecniche per la sicurezza informatica
2. Tecniche di test per rilevare e correggere difetti del software
Obiettivi formativi
Fornire le competenze per
1. analizzare i punti di rischio nei sistemi informatici
2. amministrare gli strumenti di difesa dei sistemi
3. pianificare le attività di convalida e verifica del software
4. effettuare verifiche di qualità mediante test e ispezione
Piccolo/medie/grandi imprese con problemi di sviluppo,
integrazione, manutenzione e gestione di applicazioni software
novembre 2013
E3101Q123 – Sicurezza
ed affidabilità (2)
Contenuti
Sicurezza dei sistemi informativi: rischi, ruoli e competenze
Crittografia, attacchi e difese in applicazioni, sistemi operativi e reti
Programmazione sicura
Software malizioso: troiani, back-door, bombe logiche, virus, worm
Il processo di qualità del software, relazione con il processo di sviluppo
Il test funzionale, alcune tecniche di generazione di casi di test
Il test strutturale e i criteri di copertura elementari
Ispezione di codice ed altri artefatti del processo software
Metodi didattici: Lezioni e esercitazioni
Prerequisiti: Concetti base di Sistemi Operativi e Analisi e progettazione del software
Docente responsabile: Giovanni Denaro
23 novembre 2012
E3101Q124 – Sistemi
embedded (1)
Area di interesse
Sistemi informatici “nascosti” dentro altri sistemi
Esempi: telecomunicazioni, sensoristica, sicurezza, automazione,
strumentazione, energia, biomedicale, automotive, avionica,
domotica, entertainment, smartcards, memorie...
Obiettivi formativi
fornire le conoscenze relative alle problematiche tipiche dei sistemi
embedded in diversi domini applicativi
fornire le competenze necessarie per progettare e sviluppare il
firmware e il software di un semplice sistema embedded
Piccolo/medie imprese nelle aree di interesse
Aziende produttrici di sistemi di telecomunicazione
Aziende produttrici di semiconduttori
System integrators nelle aree di interesse
novembre 2013
E3101Q124 – Sistemi
embedded (2)
Contenuti
Caratteristiche e domini applicativi dei sistemi embedded
Tempo reale, affidabilità, interfacciamento con le periferiche
Tecnologie: microcontrollori, DSP, PLC e FPGA.
Analisi, progettazione e scelta delle soluzioni tecnologiche
Programmazione di microcontrollori. Interfacciamento con le
periferiche. Utilizzo di un kernel real-time
Metodi didattici: Lezioni e laboratorio (sviluppo di semplici applicazioni)
Prerequisiti: concetti base di Architetture ,Assembler, C e OS
Docente responsabile: Francesco Tisato
23 novembre 2012
E3101Q125 ‐ Tecnologie
per la Cooperazione (1)
Area di interesse
Il lavoro collaborativo, il coordinamento in team di progetto, la comunicazione
all’interno di comunità di esperti, l’intelligenza e conoscenza collettiva in ambito
aziendale e extra-aziendale. Insomma, l’informatica per gli utenti, e più di uno!
Obiettivi formativi
• introdurre le principali tecnologie per la collaborazione (Piattaforme Web 2.0 di
successo, Groupware come MS SharePoint, MS SkyDrive, Google Drive, CMS e DMS)
•fornire gli strumenti concettuali e tecnologici per l’analisi e la progettazione di
applicazioni a supporto della collaborazione nei e tra gruppi.
Business Analyst, (Socio-Technical) Requirement Engineer, System Integrator,
Community Engineer, Knowledge Management Consultant per società di consulenza
ICT, o per medio grandi imprese che utilizzino le piattaforme di cui sopra per diversi
scopi quali “community building”, “knowledge management”, comunicazione
intraaziendale, B2B e B2C.
novembre 2013
E3101Q125 ‐ Tecnologie
per la Cooperazione (2)
Contenuti
• principi fondamentali per comprendere il tema della cooperazione nei gruppi e i suoi
aspetti interdisciplinari;
• strumenti per l’analisi del dominio di riferimento e la definizione dei requisiti delle
relative applicazioni collaborative in vista della loro progettazione.
• strumenti per il confronto di tecnologie e selezione della più adatta alla luce dei
requisiti;
• strumenti per l’integrazione di sistemi esistenti (moduli in piattaforme, piattaforme tra
loro).
Metodi didattici: Lezioni, esercitazioni e seminari, approfondimenti
Prerequisiti: (consigliati) Fondamenti, Programmazione 1 e Linguaggi di Programmazione.
Modalità di verifica:
• Un orale sui materiali forniti durante il corso con eventuali approfondimenti concordati
tra studente e docente.
•Un progetto applicativo da sviluppare preferibilmente in gruppo (circa 4 persone) con
valutazione individuale sulla base di una discussione dell’elaborato alla sua consegna.
Docente responsabile: Carla Simone
23 novembre 2012
E3101Q126 – Trattamento
e codifica di dati multimediali (1)
Area di interesse
Multimedia, medicina, biologia, sicurezza, controllo traffico, telerilevamento,
controllo qualità, robotica, automazione, automotive, domotica,
comunicazione uomo-macchina, entertainment,…
Obiettivi formativi
Trattamento e codifica efficiente di segnali digitali. Sviluppo di applicazioni che
richiedano elaborazione del segnale.
novembre 2013
E3101Q126 – Trattamento
e codifica di dati multimediali (2)
Contenuti: Introduzione ai segnali multimediali, immagini, video ed audio.
La struttura del corso prevede una suddivisione in due parti: nella prima si analizzerà il
passaggio da segnale analogico a digitale, introducendo in particolare i concetti di
campionamento e quantizzazione, e l’elaborazione numerica dei segnali attraverso sistemi
lineari tempo invarianti.
Nella seconda vengono illustrati i principali metodi di compressione con e senza perdita.
Il corso si propone di fornire le basi per l’elaborazione e la codifica numerica dei segnali
multimediali
Metodi didattici: Lezioni e laboratorio
Prerequisiti: analisi, programmazione base.
Docente responsabile: Francesca Gasparini (www.ivl.disco.unimib.it)
novembre 2013

Presentazione sintetica insegnamenti III anno

Transcript

Documenti analoghi

Titolo Vivere e Vivere Ancora Cod. ISBN 88-86674-10

LICEO SCIENTIFICO Materie 1° biennio 2° biennio V I II III IV Lingua

Nuovo quadro orario - Istituto Cataudella Scicli

xvi Esami di ammissione Economia e Management per Arte, Cultura

I due quadri orario che seguono propongono una modifica del Liceo

LA SITUAZIONE ATTUALE DEGLI INSEGNAMENTI LINGUISTICI

Chi cerca trova - Accademia Ermetica di Roma "G. KREMMERZ"

corso ordinario - Liceo Scientifico "Amedeo di Savoia"