Laurea Magistrale in Informatica (F008) a.a. 2011/12. Insegnamenti complementari

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "Laurea Magistrale in Informatica (F008) a.a. 2011/12. Insegnamenti complementari"

Transcript

1 Laurea Magistrale in Informatica (F008) a.a. 2011/12 Insegnamenti complementari Attivazioni e programmi Gli insegnamenti complementari del corso di laurea sono di norma erogati ad anni alterni. L effettiva attivazione degli insegnamenti viene stabilita di anno in anno dal Consiglio di corso di Studio. In linea indicativa le attivazioni programmate per il biennio 2011/2013 sono inidicate nel seguito, per ogni isegnamento è indicata l area tematica a cui fa riferimento. Complementari attivati nell anno accademico 2011/2012 Tabella A Insegnamento Linguaggi funzionali Metodologie avanzate per sistemi intelligenti Modelli per sistemi complessi Sistemi innovativi per la gestione dati Sistemi organizzativi a rete Verifica e convalida del software Tabella B Insegnamento Architetture orientate ai servizi Categorie e automi Logica per le applicazioni Modelli per sistemi biologici Sistemi intelligenti per il riconoscimento visuale Area Fondamenti teorici dell informatica Sistemi intelligenti Fondamenti teorici dell informatica Basi di dati e sicurezza Basi di dati e sicurezza Ingegneria del software Area Ingegneria del software Fondamenti teorici dell informatica Basi di dati e sicurezza Fondamenti teorici dell informatica Sistemi intelligenti 1

2 Complementari attivati nell anno accademico 2012/2013 Tabella A Insegnamento Data warehouse e business intelligence Metodologie avanzate per sistemi intelligenti Modelli avanzati per l analisi e l interpretazione di dati biomedici Paradigmi innovativi di computazione Programmazione logica Sistemi distribuiti per la gestione dati Specifica e sviluppo di sistemi software real-time Valutazione della qualità del software Tabella B Insegnamento Categorie e automi Ingegneria dei requisiti Modelli per sistemi biologici Sistemi privacy-aware per l elaborazione e la gestione dell informazione Sistemi intelligenti per il web content mining Area Basi di dati e sicurezza Sistemi intelligenti Sistemi intelligenti Fondamenti teorici dell informatica Sistemi intelligenti Basi di dati e sicurezza Ingegneria del software Ingegneria del software Area Fondamenti teorici dell informatica Ingegneria del software Fondamenti teorici dell informatica Basi di dati e sicurezza Sistemi intelligenti 2

3 Programmi degli insegnamenti Architetture orientate ai servizi Categorie e automi Data warehouse e business intelligence Ingegneria dei requisiti Linguaggi funzionali Logica per le applicazioni Metodologie avanzate per sistemi intelligenti Modelli avanzati per l analisi e l interpretazione di dati biomedici. 12 Modelli per sistemi biologici Modelli per sistemi complessi Paradigmi innovativi di computazione Programmazione logica Sistemi distribuiti per la gestione dati Sistemi innovativi per la gestione dati Sistemi intelligenti per il riconoscimento visuale Sistemi intelligenti per il Web content mining Sistemi organizzativi a rete Sistemi privacy-aware per l elaborazione e la gestione dell informazione Specifica e sviluppo di sistemi software real-time Valutazione della qualità del software Verifica e convalida del software

4 Architetture orientate ai servizi 6cfu Prof. Sandro Morasca Prossima attivazione: 2011/12 Programma. Il corso è orientato all insegnamento delle tecniche utilizzate nel settore emergente delle architetture orientate ai servizi. In particolare, verranno illustrati: Concetti generali delle architetture orientate ai servizi; governance e caratteristiche dei servizi; benefici tecnici e di business; studio di casi. Architetture orientate ai servizi e servizi web: la piattaforma dei servizi web, contratti di servizio, modello dei dati, sicurezza e pattern di interazione; management dei processi di business; modelli di maturità. Implementazione delle architetture orientate ai servizi e dei servizi web: framework; la costruzione di servizi web a partire dai contratti sulla base di framework; la costruzione di servizi web a partire dal codice. 4

5 Categorie e automi 6cfu Prof. Robert Walters Prossima attivazione: 2011/12 Programma. The course begins with an elementary introduction to categories with examples from computer science, based on part of the book Categories and Computer Science, Cambridge University Press, 1992, RFC Walters. The aim is to develop an algebra of automata with sequential and parallel operations for application to concurrent, hierarchical, distributed systems, together with a geometric representation. 5

6 Data warehouse e business intelligence 6cfu Prof. Pietro Luigi Gentini Prossima attivazione: 2011/12 Programma. Il corso si propone di fornire allo studente nozioni fondamentali e concrete sul processo di realizzazione di un applicazione di Data Warehousing e Business Intelligence, attraverso un percorso di natura teorica e pratica. Per le esercitazioni di laboratorio verrà utilizzato un mix di tecnologia open source (Talend Open Studio) e commerciale (Oracle Database, Oracle SQL Developer e Oracle Business Intelligence). Elenco dettagliato degli argomenti. Fondamenti teorici Data Warehouse: Concetti e Terminologia Costruire il Data Warehouse Definire il Modello di Business (Conceptual Model) Creare il Modello Dimensionale (Dimensional Model) Creare il Modello Fisico (Physical Model) Considerazioni sulle Performance Indicizzazione (Indexing) Hardware e Processi Partizionamento (Partitioning) Gestione dei dati aggregati (Summary Data) Processi di Estrazione, Trasformazione e Caricamento (ETL) dei dati: Concetti e Terminologia Business Intelligence: Concetti e Terminologia Costruire un sistema di Business Intelligence Mappare le sorgenti fisiche Costruire il Modello Semantico (Semantic Model) Costruire il Modello di Presentazione (Presentation Data Model) Definire sicurezza, profilazione utenti e regole di filtraggio dei dati Costruire il front-end di presentazione dei dati (analisi, reports, cruscotti, KPIs, scorecards,... ) Esercitazioni Definizione di un processo di business da analizzare durante il corso 6

7 Modellazione e costruzione dell ambiente di Data Warehouse (area di Staging dei dati e Star Schema) su piattaforma Oracle Database. Analisi e implementazione delle procedure di Estrazione, Trasformazione e Caricamento dei dati (ETL) con Talend Open Studio con particolare attenzione alle problematiche di data quality Tecniche di ottimizzazione delle performance: indicizzazione, partizionamento di dati e indici, viste materializzate Disegno e realizzazione di un applicazione su piattaforma Oracle Business Intelligence Mappatura fisica dei dati, creazione del modello semantico (fatti, dimensioni, gerarchie), definizione delle regole di presentazione dei dati (utenti e ruoli, regole di accesso personalizzato, profilato e filtrato ai dati) Modellazione avanzata: misure calcolate, misure aggregate, serie temporali Strumenti di front-end della Business Intelligence: realizzazione di un dashboard (cruscotto) interattivo completi di analisi ad hoc, reports, grafici e indicatori di performance (KPI). Testi di riferimento. Data Warehouse - La guida completa. Kimball Ralph, Ross Margy, Hoepli Informatica, Eventuali note aggiuntive. Modalità d esame. L esame consiste nella realizzazione e successiva discussione in sede d appello di un progetto di Data Warehouse e Business Intelligence. I dettagli verranno forniti a lezione. 7

8 Ingegneria dei requisiti 6cfu Paola Spoletini Prossima attivazione: 2012/13 Programma. L ingegneria dei requisiti descrive il processo per stabilire, nel modo più possibile completo e preciso, i servizi che il sistema deve fornire e i vincoli sotto cui deve operare. Tale processo si suddivide generalmente in tre fasi: lo studio della fattibilità, l analisi dei requisiti e la loro specifica; inoltre esso può essere affrontato a diversi livelli di astrazione. Il corso si propone un analisi dei formalismi, dei metodi, dei processi e degli strumenti attualmente usati per la raccolta (elicitazione) e la rappresentazione dei requisiti, distinguendo tra requisiti funzionali e non. Il corso si propone, inoltre, di fornire strumenti formali e concreti a supporto dell analisi di problemi e del loro spazio delle soluzioni. Infine, lo studente dovrà apprendere le tecniche per la verifica, la valutazione e il monitoraggio dei requisiti identificati. Elenco dettagliato degli argomenti. Definizione di base e motivazioni Analisi del dominio Valutazione dei requisiti Specifica dei requisiti e documentazione Linguaggio naturale Specifica formale Analisi del raggiungimento dei requisiti Evoluzione dei requisiti: Traccibilità Monitoring Modelli orientati ai goal Modellizzare degli obiettivi Modellizzazione delle operazioni Modellizzazione del comportamento di un sistema Integrazione delle diverse viste Analisi dei rischi Analisi semi formale e formale dei modelli ottenuti Testi di riferimento. Requirements Engineering: From System Goals to UML Models to Software Specifications. Axel van Lamsweerde (University Catholique de Louvain), Gennaio

9 Linguaggi funzionali 6cfu Prof. Robert Walters Prossima attivazione: 2011/12 Programma. The course begins with an elementary introduction to categories with examples from computer science, based on part of the book Categories and Computer Science, Cambridge University Press, 1992, RFC Walters. The aim is to study the algebra of functions, in particular higher order operations and recursion, in order to describe functional programming. The course will involve programming first in Lisp and then in Haskell. There will be some discussion of process algebras. 9

10 Logica per le applicazioni 6cfu Prof.ssa Brunella Gerla Prossima attivazione: 2011/12 Programma. Il corso si pone il duplice obiettivo di insegnare i principi di base della logica matematica e allo stesso di tempo di allenare il ragionamento matematico con l utilizzo di dimostrazioni formali, tenendo sempre presenti i rapporti con l informatica. Elenco dettagliato degli argomenti. Logica Proposizionale Che cosa è la logica: metodi inferenziali e deduzione. Il linguaggio della logica proposizionale. Connettivi proposizionali. Semantica della logica proposizionale. Tavole di verita. Formule e insiemi soddisfacibili e tautologie. Completezza funzionale e forme normali disgiuntive e congiuntive. Teorema di compattezza e lemma di Koenig. Metodi di dimostrazione automatica: i tableaux e la deduzione naturale. Insiemi consistenti di formule, teorema di correttezza e completezza del calcolo dei tableaux. Logica dei Predicati Il linguaggio della logica dei predicati, termini e formule. Strutture, interpretazioni e valutazioni Formule soddisfacibili e valide. Modelli di una formula. Forme normali prenesse, Forma di Skolem. Teoria di Herbrand: universo e Base di Herbrand, modelli di Herbrand. Estensioni di Herbrand, teorema di Herbrand. Risoluzione per il calcolo proposizionale e per la logica dei predicati, algoritmo di unificazione. Teorema di completezza per la risoluzione proposizionale, lifting lemma, teorema di completezza per il calcolo dei predicati. Clausole di Horn, programmazione logica e risoluzione SLD. Esempi di programmi. Cenni alle logiche descrittive. Logiche non classiche: cenni di logica modale e temporale e di logiche fuzzy. Testi di riferimento. Andrea Asperti, Agata Ciabattoni, Logica a informatica, McGraw-Hill. 10

11 Metodologie avanzate per sistemi intelligenti 6cfu Prof. Claudio Gentile Prossima attivazione: 2011/12 Programma. Partendo dalla conoscenza di base acquisita nel corso di Sistemi Intelligenti, questo corso mira a far acquisire familiarita con metodi e problemi di apprendimento automatico di recente trattazione nella letteratura. Elenco dettagliato degli argomenti. Classificatori Naive Bayes (richiami) Alberi di decisione Classificatori lineari (richiami) Classificaori lineari generalizzati e funzioni kernel Metodi di aggregazione (bagging, boosting) Classificazione a informazioni parziali Crowdsourcing Classificazione gerarchica Ranking e collaborative filterning Sistemi intelligenti su reti sociali/reti di dati: predizione su nodi, predizione su archi. I contenuti del corso verranno sempre legati a problemi di attuale interesse applicativo. Si prevede l uso di software ad hoc, come Matlab o sue versioni freeware. Testi di riferimento. Duda, Hart, Stork. Pattern Classification. T. Mitchell. Machine Learning Altro materiale di supporto (vedi sito e-learning) 11

12 Modelli avanzati per l analisi e l interpretazione di dati biomedici 6cfu Prof.ssa Elisabetta Binaghi Prossima attivazione: 2012/13 Programma. La Medicina costituisce da tempo un area di grande interesse per l Informatica. In tale contesto nascono problematiche sempre nuove che richiedono soluzioni informatiche complesse ed affidabili. Il corso si pone un duplice obbiettivo. In primo luogo viene presentata nel suo insieme l Informatica Medica, mettendone in luce il carattere spiccatamente interdisciplinare in cui cooperano conoscenze in ambito medico, fisico ed informatico. Vengono trattati aspetti riguardanti l acquisizione, la rappresentazione e l elaborazione di dati e conoscenze relativi a diversi ambiti della ricerca biomedica e della pratica clinica. Un secondo obbiettivo riguarda l approfondimento di temi di interesse attuale basati sull uso di tecniche di Intelligenza Artificiale e Riconoscimento Automatico. In particolare verranno trattati due temi: lo sviluppo di sistemi di supporto decisionale attivo ad attività diagnostiche e terapeutiche e lo sviluppo di procedure di analisi e riconoscimento automatico di immagini 2D e 3D finalizzate all estrazione di misure e parametri di interesse in specifici ambiti biomedici Nel trattamento degli argomenti vengono posti in primo piano gli aspetti metodologici. Gli aspetti operativi delle procedure di elaborazione, i loro effetti ed utilizzi nei vari campi di applicazione vengono illustrati attraverso l utilizzo sistemi orientati all elaborazione di dati biomedici. La preparazione all esame si completa con approfondimenti monografici che gli studenti svolgono sotto la guida del docente. Elenco dettagliato degli argomenti. Cenni informativi e storici Caratteristiche dei dati biomedici e del ragionamento in Medicina Sistemi Informativi Sanitari e supporto alla decisione clinica Elaborazione ed analisi di biosegnali e bioimmagini Applicazioni mediche del Web Content Mining Casi di studio: presentazione di sistemi e risultati sperimentali Testi di riferimento. E. H. Shortliffe, L. M. Fagan, G. Wiederhold, L. E. Perreault. Medical Informatics: Computer Applications in Health Care and Biomedicine, Springer-Verlag, 2000, 2 ed. 12

13 R. Bankman. Handbook of Medical Imaging Processing and Analysis, Academic Press,

14 Modelli per sistemi biologici 6cfu Prof. Simone Tini Prossima attivazione: 2011/12 Programma. Il corso si propone di studiare le relazioni tra la teoria della concorrenza e la biologia, focalizzandosi prevalentemente sulla bioinformatica e sul natural computing. Elenco dettagliato degli argomenti. Introduzione al DNA computing, la soluzione di Adleman al problema del cammino Hamiltoniano, la soluzione di Lipton al problema della soddisfacibilità. Algoritmi per la bioinformatica: algoritmo di Boyer-Moore, algoritmo di Apostolico- Giancarlo, algoritmo di Knuth-Morris-Pratt, algoritmo di Aho-Corasick,. Modellazione di sistemi biologici: modellazione con l algoritmo di Gillespie, modellazione con metodi formali: System Biology Markup Lanugage (SBML) e Calculus of Looping Sequences (CLS). Natural Computing: automi cellulari, sistemi di Lindenmayer, sistemi di Membrane. Testi di riferimento. Per la sola parte 2: Dan Gusfield: Algorithms on Strings, Treees and Sequences. Cambridge University Press, disponibile presso la biblioteca di Scienze. Eventuali note aggiuntive: gli appunti delle lezioni sono sulla piattaforma elearning, il materiale didattico relativo alle parti 1, 3 e 4 viene fornito dal docente. 14

15 Modelli per sistemi complessi 6cfu Prof.ssa Nicoletta Sabadini Prossima attivazione: 2011/12 Programma. Nel corso si considereranno modelli formali ad automi per la descrizione di sistemi dinamici discreti complessi, formati da componenti spazialmente distribuite e comunicanti in modo sincrono e asincrono, e del loro comportamento. In particolare verranno considerati sistemi aperti e mobili, probabilistici, gerarchici. In un sistema complesso l interazione tra le componenti rende difficile la verifica di proprietà del comportamento (Problema dell esplosione combinatoria, Model Checking); ne segue l importanza di considerare modelli composizionali. Elenco dettagliato degli argomenti. Modelli classici per sistemi sequenziali: Automi a stati finiti, Macchine di Turing. Modelli deterministici e non deterministici. Esempi di sistemi organizzati e distribuiti, circuiti e sistemi con feedback. Dagli automi alle reti di automi a topologia fissa: Automi Cellulari, Reti di Neuroni, Automi alla Zielonka. Reti di Petri. Espressività dei modelli, confronti e limiti. Modelli gerarchici e probabilistici (Statecharts, automi pesati). Modelli composizionali per reti a topologia variabile, sistemi aperti. Applicazioni: verifica di sistemi e protocolli, teoria dei giochi. Testi di riferimento. Articoli e dispense in rete. 15

16 Paradigmi innovativi di computazione 6cfu Prossima attivazione: 2012/13 16

17 Programmazione logica 6cfu Prof. Gaetano A. Lanzarone Prossima attivazione: 2012/13 Programma. Acquisire competenza nell approccio logico-dichiarativo alla programmazione, alla rappresentazione della conoscenza e alla metaprogrammazione. Testi di riferimento. F. Furlan & G.A. Lanzarone. PROLOG. Linguaggio e metodologia di programmazione logica. 17

18 Sistemi distribuiti per la gestione dati 6cfu Prof. Alberto Trombetta Prossima attivazione: 2012/13 Programma. Introduzione. Modelli architetturali: memoria condivisa e scambio di messaggi. Algoritmi distribuiti: broadcast. elezione di un leader, minimo albero ricoprente, Tempo e causalità: la relazione happens-before, orologi logici scalari e vettoriali, calcolo di uno snapshot distribuito. Mutua esclusione: primitive atomiche basate su memoria condivisa e metodi basati su scambio di messaggi. Accordo e consenso in presenza di errori crash e bizantini. Transazioni distribuite: commit. i protocolli 2-phase lock distribuito e 2-phase Comunicazione affidabile in gruppi: ordinamenti dei messaggi, Memoria condivisa distribuita. Replicazione in DBMS distibuiti. Autenticazione. Testi di riferimento. Dispense del docente ed eventuali note aggiuntive. Modalità d esame. seguente prova orale. L esame consiste in una prova scritta ed in una 18

19 Sistemi innovativi per la gestione dati 6cfu Prof. Alberto Trombetta Prossima attivazione: 2011/12 Programma. Programma dettagliato: dati semistrutturati. Il formato XML. Navigazione di XML con XPath. Linguaggi di schema e XML Schema. Trasformazione di documenti XML con XSLT. Linguaggi di interrogazione per XML e XQuery. XML e basi di dati: XML/SQL. XML e WWW. Testi di riferimento. An Introduction to XML and Web Technologies. Michael I. Schwartzbach. Addison-Wesley, Anders Møller and Querying XML - XQuery, XPath, and SQL/XML in Context. Jim Melton and Stephen Buxton. Morgan Kaufmann, Eventuali note aggiuntive. Modalità d esame. L esame consiste in una prova scritta. 19

20 Sistemi intelligenti per il riconoscimento visuale 6cfu Prof. Ignazio Gallo Prossima attivazione: 2011/12 Programma. L evoluzione rapidissima della tecnologia consente oggi di proporre nuove efficaci soluzioni a problemi di grande complessità che hanno un enorme impatto in svariati settori. La progettazione e lo sviluppo di sistemi intelligenti applicati all elaborazione delle immagini, la cui complessità deriva sia dalle specifiche problematiche applicative che dall esigenza di integrare soluzioni spesso innovative ottenute in diverse aree di ricerca, rappresenta una sfida scientifica e tecnologica di grande importanza per la futura società dell informazione. Due esempi di problematiche applicative sono le seguenti L Object Detection, una tecnologia legata alla computer vision, che si occupa di rilevare le istanze di oggetti semantici di una determinata classe (come gli umani, edifici o automobili) in immagini digitali e video. Il Restauro dell immagine si riferisce al recupero di un segnale originale da osservazioni degradate, con il fine ad esempio di rimuovere il rumore, migliorare la luminosità, colore e dettagli. Elenco dettagliato degli argomenti. In particolare il corso si focalizzerà su alcune di queste problematiche e per ognuna di esse verranno affrontati i seguenti punti: presentazione e analisi dell argomento, studio dello stato dell arte e di tecniche innovative analisi di problemi ancora non totalmente risolti ricerca di nuove soluzioni come estensione delle soluzioni esistenti 20

21 Sistemi intelligenti per il Web content mining 6cfu Prof. Ignazio Gallo Prossima attivazione: 2012/13 Programma. L evoluzione rapidissima della tecnologia consente oggi di proporre nuove efficaci soluzioni a problemi di grande complessità che hanno un enorme impatto in svariati settori. La progettazione e lo sviluppo di sistemi intelligenti per estrarre informazioni utili o nuova conoscenza dal contenuto delle pagine web, rappresenta una sfida scientifica e tecnologica di grande importanza per la futura società dell informazione. Due esempi di problematiche applicative sono le seguenti Information Extraction, per estrarre automaticamente informazioni strutturate da documenti digitali non strutturati o semi-strutturati. Named Entity Recognition che cerca di individuare e classificare elementi atomici presenti nel testo in categorie predefinite come i nomi di persone, organizzazioni, luoghi, le quantità, etc. Elenco dettagliato degli argomenti. In particolare il corso si focalizzerà su alcune di queste problematiche e per ognuna di esse verranno affrontati i seguenti punti - presentazione e analisi dell argomento: studio dello stato dell arte e di tecniche innovative analisi di problemi ancora non totalmente risolti ricerca di nuove soluzioni come estensione delle soluzioni esistenti 21

22 Sistemi organizzativi a rete 6cfu Prof. Valter Castelnovo Prossima attivazione: 2011/12 Programma. Il corso è indirizzato allo studio delle relazione tra Sistemi Informativi e modelli organizzativi, a partire dai tradizionali modelli organizzativi di tipo gerarchico fino ad arrivare alle organizzazioni flessibili e alle organizzazioni virtuali intese come modelli organizzativi tipici negli scenari di globalizzazione e di e-business. L obiettivo del corso è quello di fornire agli studenti strumenti per valutare l impatto delle ICT sull architettura e i processi operativi delle organizzazioni, con particolare riferimento alle reti inter-organizzative. Elenco dettagliato degli argomenti. Le organizzazioni nell epoca della globalizzazione I modelli organizzativi gerarchici e le reti inter-organizzative Tipologie di reti inter-organizzative Interoperabilità e cooperazione inter-organizzativa Le piattaforme di cooperazione e gli ambienti cooperativi Le nuove competenze manageriali per le reti inter-organizzative Social Computing e cooperazione inter-organizzativa Testi di riferimento. Cecilia Rossignoli. Coordinamento e cambiamento, Franco Angeli, 2004 Materiali di approfondimento distribuiti tramite la piattaforma di e-learning 22

23 Sistemi privacy-aware per l elaborazione e la gestione dell informazione 6cfu Prof ssa Barbara Carminati Prossima attivazione: 2012/13 Programma. Durante il corso saranno analizzate alcune tra le più note tecniche oggi utilizzate per garantire la privacy dei dati personali in sistemi innovativi per la gestione ed elaborazione delle informazioni. Tra i sistemi di gestione dati oggetto di studio vi sono, ad esempio, quelli per l erogazione di servizi basati sulla locazione (location-based service), per il mining di dati relazionali e stream, per l elaborazione di dati di mobilità e temporali, per la gestione di reti sociali online. Testi di riferimento. Privacy-Aware Knowledge Discovery: Novel Applications and New Techniques. Francesco Bonchi and Elena Ferrari curatori, Chapman & Hall/CRC Data Mining and Knowledge Discovery Series Eventuali note aggiuntive. 23

24 Specifica e sviluppo di sistemi software real-time 6cfu Prof. Luigi Lavazza Prossima attivazione: 2012/13 Programma. Attualmente il 90% dei microprocessori prodotti non viene utilizzato in calcolatori, ma è embedded in dispositivi come automobili, videoregistratori, lavatrici, macchine utensili, parchimetri, apparecchi medicali, ecc. In tutti questi casi, la macchina hardware/software si trova a interagire strettamente con il mondo circostante, spessissimo con vincoli stringenti sui tempi entro i quali la macchina deve fornire le proprie funzionalità di controllo, monitoraggio, comunicazione, ecc. Il software per cui il rispetto dei vincoli di tempo è essenziale quanto la correttezza delle funzionalità erogate è detto real time. Il corso affronta le problematiche relative allo sviluppo dei sistemi real time, partendo dalla specifica dei requisiti e arrivando alla progettazione e all implementazione di tali sistemi. In effetti, il software real time presenta caratteristiche che lo differenziano decisamente dal software tradizionale. Queste differenze hanno portato alla costruzione di piattaforme per l esecuzione di sistemi real time specifiche, che richiedono la conoscenza delle problematiche tipiche dei sistemi real time da parte dei progettisti e dei programmatori. Nel corso si vedranno le problematiche e le tecniche di sviluppo dei sistemi RT sia dal punto di vista teorico-concettuale sia dal punto di vista pratico. A questo scopo viene utilizzata la Java Virtual Machine Real Time, una versione della JVM che garantisce la possibilità di realizzare programmi real time. Il corso comprende un credito di laboratorio, nel quale si approfondisce la programmazione dalla JVMRT. Elenco dettagliato degli argomenti. Le problematiche tipiche dei sistemi real time La modellazione dei sistemi real time mediante apposite notazioni La gestione dell I/O Implementazione delle strutture di controllo Multitasking e comunicazione tra task Real time executives a sistemi operativi real time Scheduling real time Tecniche per garantire l integrità dei siistemi RT. Testi di riferimento. 24

25 Rob Williams. Real-Time Systems Development. Butterworth Heinemann, 2005 (molto probabilmente verrà sostituito nella prossima edizione del corso) Andy Wellings. Concurrent and Real-Time Programming in Java. Wiley Eventuali note aggiuntive. Note. Il corso presuppone una conoscenza almeno buona, oltre che del linguaggio Java, anche degli argomenti trattati nei corsi di: Architettura degli elaboratori, Sistemi operativi, Programmazione concorrente. 25

26 Valutazione della qualità del software 6cfu Prof. Sandro Morasca Prossima attivazione: 2012/13 Programma. Apprendere le tecniche utilizzate per la misura delle qualità del software e di tutti i semilavorati prodotti lungo il ciclo di vita del software a partire dalla specifica dei requisiti fino alla fase di uso operativo. Il corso ha inoltre l obiettivo di illustrare i fondamenti della misura e la loro importanza nel corretto uso applicativo delle misure. Infine, il corso mostrerà come introdurre programmi di misura in ambienti industriali. In particolare, verranno illustrati Qualità interne e qualità esterne del software Teoria della misurazione ed Approcci Assiomatici Misure per Requisiti Specifiche Progetto Codice Verifica e convalida Affidabilità Introduzione di un piano di misura in ambienti industriali 26

27 Verifica e convalida del software 6cfu Prof.ssa Paola Spoletini Prossima attivazione: 2011/12 Programma. Assicurare che un prodotto software si comporti in modo corretto richiede considerevole lavoro, sia nell applicazione di metodi sistematici durante la fase di progettazione, sia nel valutare il risultato ottenuto. La verifica e la convalida del software costituiscono, quindi, un area di notevole interesse, sia dal punto di vista accademico che dal punto di vista industriale. Questo corso offre una panoramica dei principali approcci di verifica e convalida, coprendo non solo quei temi ormai consolidate, ma anche introducendo alcune delle tendenze più significative della ricerca in questo contesto. L obiettivo del corso è fornire una buona conoscenza e comprensione di concetti come correttezza, consistenza, fault e failure, analisi statica e testing. Per raggiungere tale obiettivo verranno forniti strumenti formali che permettano di comprendere i linguaggi di specifica e le tecniche di verifica introdotte. Elenco dettagliato degli argomenti. Processo di verifica e validazione Definizioni di base Panoramica di diversi approcci e confronti Tecniche di verifica e validazioni integrate Sfide nell analisi del software Tecniche di verifica statica Specifica formale (es. Alloy, statecharts, logica) Model checking Specifica e verifica di programmi (JML e ESC/Java2) Tecniche basate sull ispezione manuale dei semi-lavorati Analisi dinamica Classificazione delle tipologie di testing e dei diversi livelli a cui si può applicare Strategie di testing e valutazione della copertura Identificazione dei casi di test Studio degli strumenti a supporto delle varie attività tecniche di verifica e convalida Standard e certificazioni Introduzione alla verifica dei requisiti non funzionali 27

Laurea Triennale in Informatica (F004) a.a. 2011/12. Insegnamenti complementari

Laurea Triennale in Informatica (F004) a.a. 2011/12. Insegnamenti complementari Laurea Triennale in Informatica (F004) a.a. 2011/12 Insegnamenti complementari Attivazioni e programmi Gli insegnamenti complementari del corso di laurea sono di norma erogati ad anni alterni. L effettiva

Dettagli

Università di Pisa Facoltà di Scienze Matematiche Fisiche e Naturali

Università di Pisa Facoltà di Scienze Matematiche Fisiche e Naturali Facoltà di Scienze Matematiche Fisiche e Naturali Corso di Laurea Specialistica in Informatica (classe 23/S: Informatica) Corso di Laurea Specialistica in Tecnologie Informatiche (classe 23/S: Informatica)

Dettagli

REGOLAMENTO DIDATTICO DEL CORSO DI STUDIO IN INFORMATICA MAGISTRALE ANNO ACCADEMICO 2015/16

REGOLAMENTO DIDATTICO DEL CORSO DI STUDIO IN INFORMATICA MAGISTRALE ANNO ACCADEMICO 2015/16 DIPARTIMENTO DI SCIENZE TEORICHE E APPLICATE - DiSTA Segreteria didattica REGOLAMENTO DIDATTICO DEL CORSO DI STUDIO IN INFORMATICA MAGISTRALE ANNO ACCADEMICO 2015/16 INFORMAZIONI NOME DEL CORSO in ITALIANO

Dettagli

Data Warehouse Architettura e Progettazione

Data Warehouse Architettura e Progettazione Introduzione Data Warehouse Architettura! Nei seguenti lucidi verrà fornita una panoramica del mondo dei Data Warehouse.! Verranno riportate diverse definizioni per identificare i molteplici aspetti che

Dettagli

Università degli Studi di Perugia Dipartimento di Matematica e Informatica. Corso di Laurea Magistrale in Informatica. CLASSE LM18 (Informatica)

Università degli Studi di Perugia Dipartimento di Matematica e Informatica. Corso di Laurea Magistrale in Informatica. CLASSE LM18 (Informatica) Università degli Studi di Perugia Dipartimento di Matematica e Informatica Corso di Laurea Magistrale in Informatica CLASSE LM18 (Informatica) Manifesto degli Studi A.A. 2015-2016 (Regolamento didattico

Dettagli

La Laurea Magistrale in Informatica 2014-15

La Laurea Magistrale in Informatica 2014-15 Università degli studi di Udine La Laurea Magistrale in Informatica 2014-15 Consiglio del Corso di Studi (CCS) in Materie Informatiche Aprile 2014 E-mail: tutoratoinformatica@uniud.it Il piano di studi

Dettagli

Indice. Ringraziamenti dell Editore

Indice. Ringraziamenti dell Editore Prefazione Autori Ringraziamenti dell Editore XVII XXI XXIII 1 Introduzione 1 1.1 Sistemi informativi, informazioni e dati 1 1.2 Basi di dati e sistemi di gestione di basi di dati 3 1.3 Modelli dei dati

Dettagli

Introduzione al corso

Introduzione al corso Corso di Laurea Specialistica in Ingegneria Informatica Corso di Laurea Specialistica in Ingegneria delle Telecomunicazioni Corso di Reti di Applicazioni Telematiche a.a. 2010-2011 Introduzione al corso

Dettagli

Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di laurea specialistica in INFORMATICA

Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di laurea specialistica in INFORMATICA Università degli Studi di Perugia Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di laurea specialistica in INFORMATICA Basi di Dati Avanzate e Tecniche di Data Mining Prof. G. Cecconi, Prof.

Dettagli

Informatica Documentale

Informatica Documentale Informatica Documentale Ivan Scagnetto (scagnett@dimi.uniud.it) Stanza 3, Nodo Sud Dipartimento di Matematica e Informatica Via delle Scienze, n. 206 33100 Udine Tel. 0432 558451 Ricevimento: giovedì,

Dettagli

PIANO DI LAVORO (a.s. 2014/2015) Prof.ssa Andrea Luppichini Prof. Marco Fiorentini DISCIPLINA Informatica

PIANO DI LAVORO (a.s. 2014/2015) Prof.ssa Andrea Luppichini Prof. Marco Fiorentini DISCIPLINA Informatica lllo Istituto Tecnico Commerciale Statale e per Geometri E. Fermi Pontedera (Pi) Via Firenze, 51 - Tel. 0587/213400 - Fax 0587/52742 http://www.itcgfermi.it E-mail: mail@itcgfermi.it PIANO DI LAVORO (a.s.

Dettagli

Anno Scolastico: 2014/2015. Indirizzo: Sistemi informativi aziendali. Classe quarta AS. Disciplina: Informatica. prof.

Anno Scolastico: 2014/2015. Indirizzo: Sistemi informativi aziendali. Classe quarta AS. Disciplina: Informatica. prof. Anno Scolastico: 2014/2015 Indirizzo: Sistemi informativi aziendali Classe quarta AS Disciplina: Informatica prof. Competenze disciplinari: Secondo biennio 1. Identificare e applicare le metodologie e

Dettagli

Università degli studi dell Aquila. Sistemi informativi aziendali 9 C.F.U.

Università degli studi dell Aquila. Sistemi informativi aziendali 9 C.F.U. Università degli studi dell Aquila Sistemi informativi aziendali 9 C.F.U. Ing. Gaetanino Paolone (gaetanino.paolone@univaq.it) Prof. Dr. Luciano Fratocchi (luciano.fratocchi@univaq.it) Contenuti (2 ore)

Dettagli

Nuovo Corso di laurea magistrale in Ingegneria Informatica AA14-15. http://www.dis.uniroma1.it/~ccl_ii/site/

Nuovo Corso di laurea magistrale in Ingegneria Informatica AA14-15. http://www.dis.uniroma1.it/~ccl_ii/site/ Nuovo Corso di laurea magistrale in Ingegneria Informatica AA14-15 http://www.dis.uniroma1.it/~ccl_ii/site/ Laurea Magistrale L obiettivo della laurea magistrale in Ingegneria informatica (Master of Science

Dettagli

Anno Scolastico: 2014-2015. Indirizzo: Sistemi Informativi Aziendali. Classe: quinta. Disciplina: Informatica. prof. Silvia Tondo

Anno Scolastico: 2014-2015. Indirizzo: Sistemi Informativi Aziendali. Classe: quinta. Disciplina: Informatica. prof. Silvia Tondo Anno Scolastico: 2014-2015 Indirizzo: Sistemi Informativi Aziendali Classe: quinta Disciplina: Informatica prof. Silvia Tondo Competenze disciplinari: 1. Utilizzare le reti e gli strumenti informatici

Dettagli

ISIS C.Facchinetti Sede: via Azimonti,5-21053 Castellanza Modulo Gestione Qualità. DISCIPLINA Informatica A.S. 2014-2015 X di dipartimento

ISIS C.Facchinetti Sede: via Azimonti,5-21053 Castellanza Modulo Gestione Qualità. DISCIPLINA Informatica A.S. 2014-2015 X di dipartimento DISCIPLINA Informatica A.S. 2014-2015 X di dipartimento individuale dei docenti LACQUANITI e DE BERNARDI 1) PREREQUISITI per le classi 5^ Inf /Serale Conoscenza di almeno un linguaggio di programmazione

Dettagli

LABORATORIO di INFORMATICA

LABORATORIO di INFORMATICA Università degli Studi di Cagliari Corso di Laurea Magistrale in Ingegneria per l Ambiente ed il Territorio LABORATORIO di INFORMATICA A.A. 2010/2011 Prof. Giorgio Giacinto INTRODUZIONE AI SISTEMI DI BASI

Dettagli

Descrizione dell Offerta Formativa

Descrizione dell Offerta Formativa Descrizione dell Offerta Formativa Titolo dell Offerta Formativa TECNICHE AVANZATE DI PROGRAMMAZIONE Articolazione e Contenuti dell Offerta Formativa Il percorso è articolato in due moduli didattici, della

Dettagli

PIANO DI LAVORO DEL PROFESSORE

PIANO DI LAVORO DEL PROFESSORE ISTITUTO DI ISTRUZIONE SUPERIORE STATALE IRIS VERSARI - Cesano Maderno (MB) PIANO DI LAVORO DEL PROFESSORE Indirizzo : LICEO SCIENTIFICO LICEO SCIENTIFICO Scienze Applicate LICEO TECNICO ISTITUTO TECNICO

Dettagli

PROGRAMMAZIONE ANUALE DEL DIPARTIMENTO DI INFORMATICA E TELECOMUNICAZIONI ISTITUTO TECNICO a.s. 2015-16

PROGRAMMAZIONE ANUALE DEL DIPARTIMENTO DI INFORMATICA E TELECOMUNICAZIONI ISTITUTO TECNICO a.s. 2015-16 PROGRAMMAZIONE ANUALE DEL DIPARTIMENTO DI INFORMATICA E TELECOMUNICAZIONI ISTITUTO TECNICO a.s. 2015-16 SECONDO BIENNIO Disciplina: INFORMATICA La disciplina Informatica concorre a far conseguire allo

Dettagli

Pagine romane (I-XVIII) OK.qxd:romane.qxd 7-09-2009 16:23 Pagina VI. Indice

Pagine romane (I-XVIII) OK.qxd:romane.qxd 7-09-2009 16:23 Pagina VI. Indice Pagine romane (I-XVIII) OK.qxd:romane.qxd 7-09-2009 16:23 Pagina VI Prefazione Autori XIII XVII Capitolo 1 Sistemi informativi aziendali 1 1.1 Introduzione 1 1.2 Modello organizzativo 3 1.2.1 Sistemi informativi

Dettagli

Misura delle prestazioni dei processi aziendali con sistemi di integrazione dati open source

Misura delle prestazioni dei processi aziendali con sistemi di integrazione dati open source Università degli Studi di Modena e Reggio Emilia Facoltà di Ingegneria Enzo Ferrari di Modena Corso di Laurea in Ingegneria Informatica (509/99) Misura delle prestazioni dei processi aziendali con sistemi

Dettagli

Lezione 1. Introduzione e Modellazione Concettuale

Lezione 1. Introduzione e Modellazione Concettuale Lezione 1 Introduzione e Modellazione Concettuale 1 Tipi di Database ed Applicazioni Database Numerici e Testuali Database Multimediali Geographic Information Systems (GIS) Data Warehouses Real-time and

Dettagli

Indice Prefazione... 1 1 SQL Procedurale/SQL-PSM (Persistent Stored Modules)... 3 Vincoli e Trigger... 9

Indice Prefazione... 1 1 SQL Procedurale/SQL-PSM (Persistent Stored Modules)... 3 Vincoli e Trigger... 9 Prefazione... 1 Contenuti... 1 Ringraziamenti... 2 1 SQL Procedurale/SQL-PSM (Persistent Stored Modules)... 3 1.1 Dichiarazione di funzioni e procedure... 3 1.2 Istruzioni PSM... 4 2 Vincoli e Trigger...

Dettagli

PROGRAMMA DI INFORMATICA

PROGRAMMA DI INFORMATICA PROGRAMMA DI INFORMATICA CLASSE 5 B Sistemi Informativi Aziendali A.S. 2014/2015 DOCENTE CORREDDU GIOVANNA ITP PANZERA GRAZIA Materiale didattico Libro di testo: Iacobelli, Ajme, Marrone, Brunetti, Eprogram-Informatica

Dettagli

INGEGNERIA DEL SOFTWARE. Prof. Paolo Salvaneschi

INGEGNERIA DEL SOFTWARE. Prof. Paolo Salvaneschi Università di Bergamo Facoltà di Ingegneria Corso di Laurea in Ingegneria Informatica INGEGNERIA DEL SOFTWARE Prof. Paolo Salvaneschi 1 Obiettivi Scopi del corso: - Fornire gli elementi di base della disciplina,

Dettagli

Facoltà di Scienze e Tecnologie Informatiche

Facoltà di Scienze e Tecnologie Informatiche Facoltà di Scienze e Tecnologie Informatiche Corso di dottorato in COMPUTER SCIENCE (Informatica) Sito web del Corso: http://www.unibz.it/en/inf/progs/phdcs/default.html Durata: 3 anni Anno accademico:

Dettagli

MISSIONE AZIENDALE TRAMITE

MISSIONE AZIENDALE TRAMITE MISSIONE AZIENDALE progettazione, realizzazione, integrazione e conduzione di sistemi complessi con l utilizzo di nuove tecnologie per aziende ed enti pubblici TRAMITE Ricerca e Sviluppo per l ideazione,

Dettagli

Sistemi Informativi. Ing. Fabrizio Riguzzi

Sistemi Informativi. Ing. Fabrizio Riguzzi Sistemi Informativi Ing. Fabrizio Riguzzi Docente Fabrizio Riguzzi http://www.ing.unife.it/docenti/fabrizioriguzzi Orario di ricevimento: su appuntamento studio docente, terzo piano, corridoio di destra,

Dettagli

Corso di Informatica per la Gestione Aziendale

Corso di Informatica per la Gestione Aziendale Corso di Informatica per la Gestione Aziendale Anno Accademico: 2008/2009 4 parte DOCENTI: Prof.ssa Cecilia Rossignoli Dott. Gianluca Geremia Università degli Studi di Verona Dipartimento di Economia Aziendale

Dettagli

Data Warehousing e Data Mining

Data Warehousing e Data Mining Università degli Studi di Firenze Dipartimento di Sistemi e Informatica A.A. 2011-2012 I primi passi Data Warehousing e Data Mining Parte 2 Docente: Alessandro Gori a.gori@unifi.it OLTP vs. OLAP OLTP vs.

Dettagli

Metodi e Modelli per le Decisioni

Metodi e Modelli per le Decisioni Metodi e Modelli per le Decisioni Corso di Laurea in Informatica e Corso di Laurea in Matematica Roberto Cordone DI - Università degli Studi di Milano Lezioni: Giovedì 13.30-15.30 Venerdì 15.30-17.30 Ricevimento:

Dettagli

Requisiti della Business Intelligence

Requisiti della Business Intelligence Realizzazione di un sistema informatico on-line bilingue di gestione, monitoraggio, rendicontazione e controllo del Programma di Cooperazione Transfrontaliera Italia - Francia Marittimo finanziato dal

Dettagli

Dipartimento di Ingegneria dell Informazione, delle Infrastrutture e dell Energia Sostenibile Corso di laurea:

Dipartimento di Ingegneria dell Informazione, delle Infrastrutture e dell Energia Sostenibile Corso di laurea: Nome insegnamento: Sistemi Operativi e Basi di Dati (Corso Integrato) Dipartimento: Dipartimento di Ingegneria dell Informazione, delle Infrastrutture e dell Energia Sostenibile Corso di laurea: Ingegneria

Dettagli

ANNO SCOLASTICO 2014/2015. LICEO SCIENTIFICO STATALE A. VOLTA Via Juvarra, 14 - Torino

ANNO SCOLASTICO 2014/2015. LICEO SCIENTIFICO STATALE A. VOLTA Via Juvarra, 14 - Torino ANNO SCOLASTICO 2014/2015 LICEO SCIENTIFICO STATALE A. VOLTA Via Juvarra, 14 - Torino Obiettivi minimi Informatica Prime Conoscere il sistema di numerazione binaria e la sua importanza nella codifica delle

Dettagli

INFORMATICA COMPETENZE

INFORMATICA COMPETENZE INFORMATICA Docente: Sandra Frigiolini Finalità L insegnamento di INFORMATICA, nel secondo biennio, si propone di: potenziare l uso degli strumenti multimediali a supporto dello studio e della ricerca

Dettagli

Principi dell ingegneria del software Relazioni fra

Principi dell ingegneria del software Relazioni fra Sommario Principi dell ingegneria del software Leggere Cap. 3 Ghezzi et al. Principi dell ingegneria del software Relazioni fra Principi Metodi e tecniche Metodologie Strumenti Descrizione dei principi

Dettagli

DATA WAREHOUSING CON JASPERSOFT BI SUITE

DATA WAREHOUSING CON JASPERSOFT BI SUITE UNIVERSITÁ DEGLI STUDI DI MODENA E REGGIO EMILIA Dipartimento di Ingegneria di Enzo Ferrari Corso di Laurea Magistrale in Ingegneria Informatica (270/04) DATA WAREHOUSING CON JASPERSOFT BI SUITE Relatore

Dettagli

Casi di studio e progetti sull'innovazione informatica dei servizi logistici Rete Alta Tecnologia dell Emilia-Romagna Piattaforma ICT & Design

Casi di studio e progetti sull'innovazione informatica dei servizi logistici Rete Alta Tecnologia dell Emilia-Romagna Piattaforma ICT & Design Casi di studio e progetti sull'innovazione informatica dei servizi logistici Rete Alta Tecnologia dell Emilia-Romagna Piattaforma ICT & Design Lucia Mazzoni, ASTER IL SISTEMA REGIONALE DELLA RICERCA Università

Dettagli

SISTEMI INFORMATIVI AZIENDALI

SISTEMI INFORMATIVI AZIENDALI SISTEMI INFORMATIVI AZIENDALI Prof. Andrea Borghesan venus.unive.it/borg borg@unive.it Ricevimento: Alla fine di ogni lezione Modalità esame: scritto 1 Sistemi informazionali La crescente diffusione dei

Dettagli

Corso di Laurea in Informatica. Insegnamenti III anno erogati nel 2013-14

Corso di Laurea in Informatica. Insegnamenti III anno erogati nel 2013-14 Corso di Laurea in Informatica Insegnamenti III anno erogati nel 2013-14 3 anno insegnamenti erogati nell a.a. 2013-2014 Insegnamenti obbligatori Tipologia Attività Formativa (TAF) E3101Q113 - Analisi

Dettagli

Data Mining e Analisi dei Dati

Data Mining e Analisi dei Dati e Analisi dei Dati Rosaria Lombardo Dipartimento di Economia, Seconda Università di Napoli La scienza che estrae utili informazioni da grandi databases è conosciuta come E una disciplina nuova che interseca

Dettagli

Introduzione al Calcolo Scientifico

Introduzione al Calcolo Scientifico Introduzione al Calcolo Scientifico Corso di Calcolo Numerico, a.a. 2008/2009 Francesca Mazzia Dipartimento di Matematica Università di Bari Francesca Mazzia (Univ. Bari) Introduzione al Calcolo Scientifico

Dettagli

Docente. Sistemi Informativi. Programma. Programma. Ing. Fabrizio Riguzzi

Docente. Sistemi Informativi. Programma. Programma. Ing. Fabrizio Riguzzi Docente Sistemi Informativi Ing. Fabrizio Riguzzi Fabrizio Riguzzi http://www.ing.unife.it/docenti/fabrizioriguzzi Orario di ricevimento: mercoledì 15-17 studio docente, terzo piano, corridoio di destra,

Dettagli

SCHEDA DI PROGRAMMAZIONE DISCIPLINARE DA RIPORTARE SUL P.O.F. A.S. 2014-2015. Ripasso programmazione ad oggetti. Basi di dati: premesse introduttive

SCHEDA DI PROGRAMMAZIONE DISCIPLINARE DA RIPORTARE SUL P.O.F. A.S. 2014-2015. Ripasso programmazione ad oggetti. Basi di dati: premesse introduttive SCHEDA DI PROGRAMMAZIONE DISCIPLINARE DA RIPORTARE SUL P.O.F. A.S. 2014-2015 ASSE DISCIPLINA DOCENTE MATEMATICO INFORMATICA Cattani Barbara monoennio CLASSE: quinta CORSO D SEZIONE LICEO SCIENZE APPLICATE

Dettagli

Data Mining: Applicazioni

Data Mining: Applicazioni Sistemi Informativi Universitá degli Studi di Milano Facoltá di Scienze Matematiche, Fisiche e Naturali Dipartimento di Tecnologie dell Informazione 1 Giugno 2007 Data Mining Perché il Data Mining Il Data

Dettagli

Introduzione al Calcolo Scientifico

Introduzione al Calcolo Scientifico Introduzione al Calcolo Scientifico Corso di Calcolo Numerico, a.a. 2010/2011 Francesca Mazzia Dipartimento di Matematica Università di Bari Francesca Mazzia (Univ. Bari) Introduzione al Calcolo Scientifico

Dettagli

PIANO DI LAVORO EFFETTIVAMENTE SVOLTO IN RELAZIONE ALLA PROGRAMMAZIONE DISCIPLINARE

PIANO DI LAVORO EFFETTIVAMENTE SVOLTO IN RELAZIONE ALLA PROGRAMMAZIONE DISCIPLINARE Istituto di Istruzione Secondaria Superiore ETTORE MAJORANA 24068 SERIATE (BG) Via Partigiani 1 -Tel. 035-297612 - Fax 035-301672 e-mail: majorana@ettoremajorana.gov.it - sito internet: www.ettoremajorana.gov.it

Dettagli

INTRODUZIONE. Data Base Management Systems evoluzione tecniche gestione dati

INTRODUZIONE. Data Base Management Systems evoluzione tecniche gestione dati INTRODUZIONE Accesso ai dati tramite DBMS Livelli di astrazione Modello dei dati: schema / istanza / metadati Alcuni modelli dei dati Linguaggi per DBMS Architettura di base di un DBMS cesarini - BDSI

Dettagli

Risorsa N 036382. Albanese Madrelingua Inglese Molto Buono

Risorsa N 036382. Albanese Madrelingua Inglese Molto Buono Risorsa N 036382 DATI ANAGRAFICI: Nata nel : 1983 Residente a : Roma ISTRUZIONE E CERTIFICAZIONI: Certificazione Microsoft MCPD in corso di conseguimento Dottorato di Ricerca in Ingegneria dell Informazione

Dettagli

Università degli Studi di Bergamo. Facoltà di INGEGNERIA

Università degli Studi di Bergamo. Facoltà di INGEGNERIA Università degli Studi di Bergamo Facoltà di INGEGNERIA Corso di Laurea in Ingegneria Informatica Classe di appartenenza: L-8 Ingegneria dell Informazione Computer Science and Engineering REGOLAMENTO DIDATTICO

Dettagli

CURRICULUM VITAE INFORMAZIONI PERSONALI RITROVATO PIERLUIGI ESPERIENZA LAVORATIVA

CURRICULUM VITAE INFORMAZIONI PERSONALI RITROVATO PIERLUIGI ESPERIENZA LAVORATIVA CURRICULUM VITAE INFORMAZIONI PERSONALI Nome Indirizzo di lavoro Residenza Cellulare Telefono Abitazione Telefono Lavoro Nazionalità Data di nascita Titolo di Studio RITROVATO PIERLUIGI E-mail ; Italiana

Dettagli

Lezione 8. Data Mining

Lezione 8. Data Mining Lezione 8 Data Mining Che cos'è il data mining? Data mining (knowledge discovery from data) Estrazione di pattern interessanti (non banali, impliciti, prima sconosciuti e potenzialmente utili) da enormi

Dettagli

Sommario IX. Indice analitico 331

Sommario IX. Indice analitico 331 Sommario Prefazione X CAPITOLO 1 Introduzione ai sistemi informativi 1 1.1 Il prodotto del secolo 1 1.2 Prodotti e servizi divenuti indispensabili 2 1.3 Orientarsi nelle definizioni 4 1.4 Informatica e

Dettagli

Ingegneria del Software UML - Unified Modeling Language

Ingegneria del Software UML - Unified Modeling Language Ingegneria del Software UML - Unified Modeling Language Obiettivi. Presentare un approccio visuale alla progettazione. Illustrare i vantaggi dell utilizzo di diagrammi nella fase di progettazione. Rispondere

Dettagli

Rappresentazione della Conoscenza. Lezione 10. Rappresentazione della conoscenza, D. Nardi, 2004, Lezione 10 0

Rappresentazione della Conoscenza. Lezione 10. Rappresentazione della conoscenza, D. Nardi, 2004, Lezione 10 0 Rappresentazione della Conoscenza Lezione 10 Rappresentazione della conoscenza, D. Nardi, 2004, Lezione 10 0 Sistemi ed applicazioni Sistemi di rappresentazione della conoscenza basati su logiche descrittive.

Dettagli

Sistemi informativi aziendali

Sistemi informativi aziendali Sistemi informativi aziendali Lezione 12 prof. Monica Palmirani Sistemi informativi e informatici Sistemi informativi = informazioni+processi+comunicazione+persone Sistemi informatici = informazioni+hardware+software

Dettagli

Corso di Laurea Magistrale in Ingegneria Informatica. Ingegneria del Software II (IS2)

Corso di Laurea Magistrale in Ingegneria Informatica. Ingegneria del Software II (IS2) Corso di Laurea Magistrale in Ingegneria Informatica Ingegneria del Software II (IS2) a.a. 2010/12 Ingegneria del Software 2 - Introduzione 1 Docente Prof.ssa Anna Rita Fasolino Dipartimento di Informatica

Dettagli

SISTEMI INFORMATIVI AZIENDALI

SISTEMI INFORMATIVI AZIENDALI SISTEMI INFORMATIVI AZIENDALI Prof. Andrea Borghesan venus.unive.it/borg borg@unive.it Ricevimento: Alla fine di ogni lezione Modalità esame: scritto 1 Data Mining. Introduzione La crescente popolarità

Dettagli

Architetture dei WIS. Definizione di WIS. Benefici dei WIS. Prof.ssa E. Gentile a.a. 2011-2012

Architetture dei WIS. Definizione di WIS. Benefici dei WIS. Prof.ssa E. Gentile a.a. 2011-2012 Architetture dei WIS Prof.ssa E. Gentile a.a. 2011-2012 Definizione di WIS Un WIS può essere definito come un insieme di applicazioni in grado di reperire, cooperare e fornire informazioni utilizzando

Dettagli

Data warehouse. Architettura complessiva con OLTP e OLAP OLTP. Sistemi di supporto alle decisioni

Data warehouse. Architettura complessiva con OLTP e OLAP OLTP. Sistemi di supporto alle decisioni Data warehouse Data warehouse La crescita dell importanza dell analisi dei dati ha portato ad una separazione architetturale dell ambiente transazionale (OLTP on-line transaction processing) da quello

Dettagli

È possibile caratterizzare un percorso formativo per gli studenti sulla base di due aree di specializzazione (indirizzi):

È possibile caratterizzare un percorso formativo per gli studenti sulla base di due aree di specializzazione (indirizzi): Percorsi per la Laurea Magistrale in Informatica Percorso Video Game Docenti di riferimento: Dario Maggiorini, Laura Anna Ripamonti Sede di erogazione: Milano LIKE THIS! Obiettivi generali Il mercato dei

Dettagli

Syllabus C310 - Insegnamenti disciplinari

Syllabus C310 - Insegnamenti disciplinari Syllabus C310 - Insegnamenti disciplinari Università di Verona A.A. 2014/15 e competenze generali per gli insegnamenti disciplinari Come richiesto dalla normativa di riferimento scopo degli insegnamenti

Dettagli

Introduzione alla Business Intelligence. E-mail: infobusiness@zucchetti.it

Introduzione alla Business Intelligence. E-mail: infobusiness@zucchetti.it Introduzione alla Business Intelligence E-mail: infobusiness@zucchetti.it Introduzione alla Business Intelligence Introduzione Definizione di Business Intelligence: insieme di processi per raccogliere

Dettagli

Tecniche Multimediali

Tecniche Multimediali Chiedersi se un computer possa pensare non è più interessante del chiedersi se un sottomarino possa nuotare Edsger Dijkstra (The threats to computing science) Tecniche Multimediali Corso di Laurea in «Informatica»

Dettagli

E-Mail. Scheduling. Modalità d invio. E-Mail

E-Mail. Scheduling. Modalità d invio. E-Mail BI BI Terranova, azienda leader in Italia per le soluzioni Software rivolte al mercato delle Utilities, propone la soluzione Software di Business Intelligence RETIBI, sviluppata per offrire un maggiore

Dettagli

ISTITUTO TECNICO COMMERCIALE STATALE ABBA - BALLINI

ISTITUTO TECNICO COMMERCIALE STATALE ABBA - BALLINI ISTITUTO TECNICO COMMERCIALE STATALE ABBA - BALLINI Via Tirandi n. 3-25128 BRESCIA tel. 030/307332-393363 - fax 030/303379 www.abba-ballini.it email: info@abba-ballini.it DIPARTIMENTO DI INFORMATICA Sistemi

Dettagli

Analisi e progettazione del software

Analisi e progettazione del software Luca Cabibbo Analisi e Progettazione del Software Analisi e progettazione del software Introduzione al corso marzo 2015 Qualcuno me l ha mostrato, e io l ho trovato da solo. Detto Zen 1 Analisi e progettazione

Dettagli

SQL Server BI Development Studio

SQL Server BI Development Studio Il Data warehouse SQL Server Business Intelligence Development Studio Analysis Service Sorgenti dati operazionali DB relazionali Fogli excel Data warehouse Staging Area e dati riconciliati Cubi Report

Dettagli

Introduzione al Data Mining

Introduzione al Data Mining Introduzione al Data Mining Sistemi informativi per le Decisioni Slide a cura di Prof. Claudio Sartori Evoluzione della tecnologia dell informazione (IT) (Han & Kamber, 2001) Percorso evolutivo iniziato

Dettagli

Data Mining a.a. 2010-2011

Data Mining a.a. 2010-2011 Data Mining a.a. 2010-2011 Docente: mario.guarracino@cnr.it tel. 081 6139519 http://www.na.icar.cnr.it/~mariog Informazioni logistiche Orario delle lezioni A partire dall 19.10.2010, Martedì h: 09.50 16.00

Dettagli

Modellazione di processi

Modellazione di processi Luca Cabibbo Architetture Software Dispensa ASW 910 ottobre 2014 La modellazione è un mestiere e a volte è un arte. William C. Burkett 1 -Fonti [Papazoglou] Papazoglou, Web Services Principles and Technology,

Dettagli

Luigi Piroddi piroddi@elet.polimi.it

Luigi Piroddi piroddi@elet.polimi.it Automazione industriale dispense del corso 2. Introduzione al controllo logico Luigi Piroddi piroddi@elet.polimi.it Modello CIM Un moderno sistema di produzione è conforme al modello CIM (Computer Integrated

Dettagli

ALLEGATO 8.1 DESCRIZIONE PROFILI PROFESSIONALI

ALLEGATO 8.1 DESCRIZIONE PROFILI PROFESSIONALI PROCEDURA DI SELEZIONE PER L AFFIDAMENTO DEL SERVIZIO DI PROGETTAZIONE, ANALISI, SVILUPPO, MANUTENZIONE ADEGUATIVA, CORRETTIVA ED EVOLUTIVA DI SISTEMI INFORMATIVI SU PIATTAFORMA IBM WEBSPHERE BPM (EX LOMBARDI)

Dettagli

WebBi S.r.l offre consulenza e soluzioni per le seguenti aree: Data Warehousing. Business Intelligence. Disegno di architetture integrate

WebBi S.r.l offre consulenza e soluzioni per le seguenti aree: Data Warehousing. Business Intelligence. Disegno di architetture integrate Migliorare l organizzazione per migliorare la qualità delle decisioni. Migliorare la qualità dei collaboratori per migliorare il servizio alla clientela. WebBi S.r.l offre consulenza e soluzioni per le

Dettagli

Quali e-service per l'azienda e le reti di impresa Progetto Essence. Piattaforma ICT & Design

Quali e-service per l'azienda e le reti di impresa Progetto Essence. Piattaforma ICT & Design Quali e-service per l'azienda e le reti di impresa Progetto Essence Piattaforma ICT & Design IL SISTEMA REGIONALE DELLA RICERCA Università di Bologna Università di Ferrara Università ità di Modena e Reggio

Dettagli

Corso di Laboratorio di Applicazioni Informatiche: Progettazione di un database e di una applicazione Web Descrizione dei domini applicativi proposti

Corso di Laboratorio di Applicazioni Informatiche: Progettazione di un database e di una applicazione Web Descrizione dei domini applicativi proposti Corso di Laboratorio di Applicazioni Informatiche: Progettazione di un database e di una applicazione Web Descrizione dei domini applicativi proposti a.a. 2008-2009 Docente responsabile: Roberto Basili

Dettagli

TECNICO SUPERIORE PER LO SVILUPPO DEL SOFTWARE

TECNICO SUPERIORE PER LO SVILUPPO DEL SOFTWARE ISTRUZIONE E FORMAZIONE TECNICA SUPERIORE SETTORE I.C.T. Information and Communication Technology TECNICO SUPERIORE PER LO SVILUPPO DEL SOFTWARE STANDARD MINIMI DELLE COMPETENZE TECNICO PROFESSIONALI DESCRIZIONE

Dettagli

lcosmo@dsi.unive.it Computer Vision, in particolare Nonrigid Matching.

lcosmo@dsi.unive.it Computer Vision, in particolare Nonrigid Matching. F ORMATO EUROPEO PER IL CURRICULUM VITAE INFORMAZIONI PERSONALI Nome COSMO LUCA Indirizzo 6, VIA ACHILLE GRANDI, 31038 PAESE, TREVISO, ITALIA Telefono +39 349 1580861 E-mail lcosmo@dsi.unive.it Nazionalità

Dettagli

Figure Professionali «Smart City» Smart People ESPERTO ICT. GREEN JOBS Formazione e Orientamento

Figure Professionali «Smart City» Smart People ESPERTO ICT. GREEN JOBS Formazione e Orientamento Figure Professionali «Smart City» Smart People GREEN JOBS Formazione e Orientamento DESCRIZIONE ATTIVITA Il concetto di Smart City sta assumendo rilevanza sempre crescente e diverse città, anche in Italia,

Dettagli

Sistemi Ipermediali I modelli dei sistemi ipermediali

Sistemi Ipermediali I modelli dei sistemi ipermediali Documenti e ipermedialità Sistemi Ipermediali I modelli dei sistemi ipermediali Augusto Celentano Università Ca Foscari Venezia Documento ipertestuale insieme di informazioni testuali e grafiche, esplorabili

Dettagli

Il Provvedimento del Garante

Il Provvedimento del Garante Il Provvedimento del Garante Il provvedimento del Garante per la Protezione dei dati personali relativo agli Amministratori di Sistema (AdS) Misure e accorgimenti prescritti ai titolari dei trattamenti

Dettagli

Luca Petrini Porto Sant Elpidio (AP) Italiana Celibe. lukepet AT pollosky DOT it pollosky AT hotmail DOT it http://pollosky.it

Luca Petrini Porto Sant Elpidio (AP) Italiana Celibe. lukepet AT pollosky DOT it pollosky AT hotmail DOT it http://pollosky.it L U C A P E T R I N I C U R R I C U L U M V I T A E Informazioni Personali Nome Residenza Nazionalità Stato Civile E-Mail Contatto MSN Messenger Blog Servizio Militare Luca Petrini Porto Sant Elpidio (AP)

Dettagli

SCHEDA PROGRAMMA INSEGNAMENTI A.A. 2012/2013

SCHEDA PROGRAMMA INSEGNAMENTI A.A. 2012/2013 SCHEDA PROGRAMMA INSEGNAMENTI A.A. 2012/2013 CORSO DI LAUREA IN Beni Culturali Insegnamento: Applicazioni informatiche all archeologia Docente Giuliano De Felice S.S.D. dell insegnamento L-ANT/10 Anno

Dettagli

Percorso Video Game. Percorsi per la Laurea Magistrale in Informatica. Obiettivi generali. Sbocchi professionali

Percorso Video Game. Percorsi per la Laurea Magistrale in Informatica. Obiettivi generali. Sbocchi professionali Percorsi per la Laurea Magistrale in Informatica Percorso Video Game Docenti di riferimento: Dr. Dario Maggiorini, Dr. Laura Anna Ripamonti Sede di erogazione: Milano Obiettivi generali Il mercato dei

Dettagli

ISTRUZIONE TECNICA SETTORE TECNOLOGICO. Indirizzo Elettronica ed Elettrotecnica

ISTRUZIONE TECNICA SETTORE TECNOLOGICO. Indirizzo Elettronica ed Elettrotecnica ISTRUZIONE TECNICA SETTORE TECNOLOGICO Indirizzo Elettronica ed Elettrotecnica L indirizzo Elettronica ed Elettrotecnica propone una formazione polivalente che unisce i principi, le tecnologie e le pratiche

Dettagli

Master sull Interoperabilità nella Pubblica Amministrazione e nelle Imprese

Master sull Interoperabilità nella Pubblica Amministrazione e nelle Imprese Il Master di secondo livello in "Interoperabilità per la Pubblica Amministrazione e le Imprese" mira a formare professionisti di sistemi di e-government in grado di gestirne aspetti tecnologici, normativi,

Dettagli

Milano, Settembre 2009 BIOSS Consulting

Milano, Settembre 2009 BIOSS Consulting Milano, Settembre 2009 BIOSS Consulting Presentazione della società Agenda Chi siamo 3 Cosa facciamo 4-13 San Donato Milanese, 26 maggio 2008 Come lo facciamo 14-20 Case Studies 21-28 Prodotti utilizzati

Dettagli

1. FINALITA DELLA DISCIPLINA

1. FINALITA DELLA DISCIPLINA Ministero dell Istruzione dell Università e della Ricerca LICEO SCIENTIFICO STATALE Donato Bramante Via Trieste, 70-20013 MAGENTA (MI) - MIUR: MIPS25000Q Tel.: +39 02 97290563/4/5 Fax: 02 97220275 Sito:

Dettagli

Corso di Laurea in Informatica. Regolamento didattico 2012 13

Corso di Laurea in Informatica. Regolamento didattico 2012 13 Corso di Laurea in Informatica E3101Q 1212 Regolamento didattico 2012 13 Insegnamenti III anno (2014 15) 15) E3101Q 12 regolamento didattico 2012 2013 1 anno attività erogate nell a.a. 2012 2013 Attività

Dettagli

Data Mining Algorithms

Data Mining Algorithms Proposte di Tesi Elena Baralis, Silvia Chiusano, Paolo Garza, Tania Cerquitelli, Giulia Bruno, Daniele Apiletti, Alessandro Fiori, Luca Cagliero, Alberto Grand, Luigi Grimaudo Torino, Giugno 2011 Data

Dettagli

Intelligenza Computazionale

Intelligenza Computazionale Intelligenza Computazionale A.A. 2009/10 Docente: Francesco Masulli masulli@disi.unige.it L'Intelligenza Computazionale (o Soft Computing o Natural Computing): insieme di metodologie di elaborazione dell'informazione

Dettagli

SVILUPPO ONTOLOGIE PER LA GESTIONE DOCUMENTALE E LORO INTEGRAZIONE ALL INTERNO DI UNA PIATTAFORMA WEB

SVILUPPO ONTOLOGIE PER LA GESTIONE DOCUMENTALE E LORO INTEGRAZIONE ALL INTERNO DI UNA PIATTAFORMA WEB Facoltà di Ingegneria Corso di Laurea Specialistica in Ingegneria Informatica SVILUPPO ONTOLOGIE PER LA GESTIONE DOCUMENTALE E LORO INTEGRAZIONE ALL INTERNO DI UNA PIATTAFORMA WEB Relatore Chiarissimo

Dettagli

APPENDICE 7 AL CAPITOLATO TECNICO

APPENDICE 7 AL CAPITOLATO TECNICO APPENDICE 7 AL CAPITOLATO TECNICO Profili professionali Gara relativa all affidamento dei servizi di sviluppo, manutenzione e gestione su aree del Sistema Informativo Gestionale di ENAV Appendice 7 al

Dettagli

1. Hard Real Time Linux (Laurea VO o specialistica)

1. Hard Real Time Linux (Laurea VO o specialistica) 20/9/06 Elenco Tesi Disponibili Applied Research & Technology Dept. La Società MBDA La MBDA Italia è un azienda leader nella realizzazione di sistemi di difesa che con i suoi prodotti è in grado di soddisfare

Dettagli

PIANO DI LAVORO (a.s. 2014/2015) Prof.Andrea Luppichini Prof. Marco Fiorentinini DISCIPLINA Informatica

PIANO DI LAVORO (a.s. 2014/2015) Prof.Andrea Luppichini Prof. Marco Fiorentinini DISCIPLINA Informatica Istituto Tecnico Commerciale Statale e per Geometri E. Fermi Pontedera (Pi) Via Firenze, 51 - Tel. 0587/213400 - Fax 0587/52742 http://www.itcgfermi.it E-mail: mail@itcgfermi.it PIANO DI LAVORO (a.s. 2014/2015)

Dettagli

ORACLE BUSINESS INTELLIGENCE STANDARD EDITION ONE A WORLD CLASS PERFORMANCE

ORACLE BUSINESS INTELLIGENCE STANDARD EDITION ONE A WORLD CLASS PERFORMANCE ORACLE BUSINESS INTELLIGENCE STANDARD EDITION ONE A WORLD CLASS PERFORMANCE Oracle Business Intelligence Standard Edition One è una soluzione BI completa, integrata destinata alle piccole e medie imprese.oracle

Dettagli

Data warehouse Introduzione

Data warehouse Introduzione Database and data mining group, Data warehouse Introduzione INTRODUZIONE - 1 Pag. 1 Database and data mining group, Supporto alle decisioni aziendali La maggior parte delle aziende dispone di enormi basi

Dettagli

Corso di Laurea in Ingegneria Informatica e Biomedica. Sistemi Operativi A.A. (2002-2003)

Corso di Laurea in Ingegneria Informatica e Biomedica. Sistemi Operativi A.A. (2002-2003) Università degli Studi Magna Græcia di Catanzaro Corso di Laurea in Ingegneria Informatica e Biomedica Sistemi Operativi A.A. (2002-2003) Docente: Prof. Mario Cannataro cannataro@unicz.it www.icar.cnr.it

Dettagli

Data mining e rischi aziendali

Data mining e rischi aziendali Data mining e rischi aziendali Antonella Ferrari La piramide delle componenti di un ambiente di Bi Decision maker La decisione migliore Decisioni Ottimizzazione Scelta tra alternative Modelli di apprendimento

Dettagli