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 Magistrale in Informatica (F008) a.a. 2012/13. Insegnamenti complementari

Laurea Magistrale in Informatica (F008) a.a. 2012/13. Insegnamenti complementari Laurea Magistrale in Informatica (F008) a.a. 2012/13 Insegnamenti complementari Attivazioni e programmi L offerta di corsi complementari per la Laurea Magistrale in Informatica dell Università dell Insubria

Dettagli

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

DiSTA REGOLAMENTO DIDATTICO DEL CORSO DI STUDIO IN INFORMATICA MAGISTRALE ANNO ACCADEMICO 2013/14 INFORMAZIONI

DiSTA REGOLAMENTO DIDATTICO DEL CORSO DI STUDIO IN INFORMATICA MAGISTRALE ANNO ACCADEMICO 2013/14 INFORMAZIONI REGOLAMENTO DIDATTICO DEL CORSO DI STUDIO IN INFORMATICA MAGISTRALE ANNO ACCADEMICO 2013/14 INFORMAZIONI NOME DEL CORSO in ITALIANO Magistrale in Informatica NOME in INGLESE Computer science CLASSE LM-18

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

Appunti del corso di Informatica Generale 1 (IN110 Fondamenti) 1 Presentazione del corso

Appunti del corso di Informatica Generale 1 (IN110 Fondamenti) 1 Presentazione del corso Università Roma Tre Dipartimento di Matematica e Fisica Corso di Laurea in Matematica Appunti del corso di Informatica Generale 1 (IN110 Fondamenti) 1 Presentazione del corso Prof. Marco Liverani (liverani@mat.uniroma3.it)

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

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

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

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

BOZZA DEL 06/09/2011

BOZZA DEL 06/09/2011 ARTICOLAZIONE: INFORMATICA Disciplina: COMPLEMENTI DI MATEMATICA (C4) Il docente di Complementi di matematica concorre a far conseguire allo studente, al termine del percorso quinquennale, i seguenti risultati

Dettagli

PIANO DI LAVORO (a.s. 2015/2016)

PIANO DI LAVORO (a.s. 2015/2016) 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. 2015/2016)

Dettagli

Sistemi Distribuiti. Il corso: informazioni utili AA 2006/2007. Riferimenti del docente: Ricevimento: Materiale Didattico:

Sistemi Distribuiti. Il corso: informazioni utili AA 2006/2007. Riferimenti del docente: Ricevimento: Materiale Didattico: Sistemi Distribuiti Corso di Laurea Specialistica in Telecomunicazioni AA 2006/2007 Slides del corso Sara Tucci Piergiovanni Il corso: informazioni utili Riferimenti del docente: - sito web: www.dis.uniroma1.it/

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

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

Liceo Tecnologico. Indirizzo Informatico e Comunicazione. Indicazioni nazionali per Piani di Studi Personalizzati

Liceo Tecnologico. Indirizzo Informatico e Comunicazione. Indicazioni nazionali per Piani di Studi Personalizzati Indirizzo Informatico e Comunicazione Indicazioni nazionali per Piani di Studi Personalizzati Indirizzo Informatico e Comunicazione Discipline con attività di laboratorio 3 4 5 Fisica 132 Gestione di progetto

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

INDIRIZZO Informatica e Telecomunicazioni

INDIRIZZO Informatica e Telecomunicazioni ISTRUZIONE TECNICA INDIRIZZO Informatica e Telecomunicazioni L indirizzo Informatica e Telecomunicazioni ha lo scopo di far acquisire allo studente, al termine del percorso quinquennale, specifiche competenze

Dettagli

Corso di Applicazioni Telematiche

Corso di Applicazioni Telematiche Corso di Applicazioni Telematiche Lezione n.1 Prof. Roberto Canonico Università degli Studi di Napoli Federico II Facoltà di Ingegneria Obiettivi del corso Supporti didattici Modalità d esame Panoramica

Dettagli

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

PIANO DI LAVORO (a.s. 2014/2015) Prof.ssa Adriana Fasulo Prof. Marco Fiorentini 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

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

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

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

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

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

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

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

Istituti Tecnici - Settore tecnologico Indirizzo Informatica e telecomunicazioni Articolazione Informatica

Istituti Tecnici - Settore tecnologico Indirizzo Informatica e telecomunicazioni Articolazione Informatica Linee guida Secondo ciclo di istruzione Istituti Tecnici - Settore tecnologico Indirizzo Informatica e telecomunicazioni Quadro orario generale 1 biennio 2 biennio 5 anno 1^ 2^ 3^ 4^ 5^ Sistemi e reti**

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

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

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

Informatica: Evoluzione dei Linguaggi di Specifica e Programmazione. Informatica: Evoluzione dei Linguaggi di Specifica e Programmazione

Informatica: Evoluzione dei Linguaggi di Specifica e Programmazione. Informatica: Evoluzione dei Linguaggi di Specifica e Programmazione Informatica: Evoluzione dei Linguaggi di Specifica e Programmazione Ugo Montanari Dipartimento di Informatica, Università di Pisa 0 Roadmap Perchè i linguaggi? Che cosa sono i linguaggi? Esempio: i numeri

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

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

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. 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

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

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

Attenzione! il valore della Rimodulazione è superiore alla cifra di Negoziazione

Attenzione! il valore della Rimodulazione è superiore alla cifra di Negoziazione Riepilogo Dipartimento ICT Dipartimento ICT nel 2005 diretta nel terzi fondi diretta Reti in Tecnologia Wireless 434.890 79.788 712.457 94.953 578.280 351.500 94.000 Internet di prossima generazione 639.484

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

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

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

PIANO DI LAVORO (a.s. 2012/2013) Prof.ssa Adriana Fasulo Prof. Marco Fiorentini DISCIPLINA Informatica

PIANO DI LAVORO (a.s. 2012/2013) Prof.ssa Adriana Fasulo Prof. Marco Fiorentini 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. 2012/2013)

Dettagli

ALLEGATO 1 AL VERBALE N. 6

ALLEGATO 1 AL VERBALE N. 6 PROCEDURA DI VALUTAZIONE COMPARATIVA PER LA COPERTURA DI N. 1 POSTO DI RICERCATORE UNIVERSITARIO PER IL SETTORE SCIENTIFICO-DISCIPLINARE ING- INF/05, FACOLTA DI INGEGNERIA DELL UNIVERSITA DELLA CALABRIA,

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

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

DATA MINING E DATA WAREHOUSE

DATA MINING E DATA WAREHOUSE Reti e sistemi informativi DATA MINING E DATA WAREHOUSE Marco Gottardo FONTI Wikipedia Cineca Università di Udine, Dipartimento di fisica, il data mining scientifico thepcweb.com DATA MINING 1/2 Il Data

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

È 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

PROGRAMMAZIONE GENERALE DI INFORMATICA a.s.2014/2015

PROGRAMMAZIONE GENERALE DI INFORMATICA a.s.2014/2015 LICEO SCIENTIFICO LICEO SCIENTIFICO opzione SCIENZE APPLICATE LICEO CLASSICO G. BODONI 12037 SALUZZO DIPARTIMENTO DI MATEMATICA FISICA E INFORMATICA PROGRAMMAZIONE GENERALE DI INFORMATICA a.s.2014/2015

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

Centro Nazionale per l Informatica nella Pubblica Amministrazione. Gara a procedura aperta n. 1/2007. per l appalto dei

Centro Nazionale per l Informatica nella Pubblica Amministrazione. Gara a procedura aperta n. 1/2007. per l appalto dei Centro Nazionale per l Informatica nella Pubblica Amministrazione Gara a procedura aperta n. 1/2007 per l appalto dei Servizi di rilevazione e valutazione sullo stato di attuazione della normativa vigente

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

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

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

Progettazione di Sistemi Interattivi. Gli strati e la rete. Struttura e supporti all implementazione di applicazioni in rete (cenni)

Progettazione di Sistemi Interattivi. Gli strati e la rete. Struttura e supporti all implementazione di applicazioni in rete (cenni) Progettazione di Sistemi Interattivi Struttura e supporti all implementazione di applicazioni in rete (cenni) Docente: Daniela Fogli Gli strati e la rete Stratificazione da un altro punto di vista: i calcolatori

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

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

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

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

AVVISO n. 09/2012: Procedura comparativa per il conferimento di due incarichi di collaborazione coordinata e continuativa per il profilo junior

AVVISO n. 09/2012: Procedura comparativa per il conferimento di due incarichi di collaborazione coordinata e continuativa per il profilo junior AVVISO n. 09/2012: Procedura comparativa per il conferimento di due incarichi di collaborazione coordinata e continuativa per il profilo junior di Analista programmatore per lo sviluppo di software per

Dettagli

Corrispondenza tra gli insegnamenti: ORDINAMENTO (DM 509) NUOVO ORDINAMENTO (DM 270)

Corrispondenza tra gli insegnamenti: ORDINAMENTO (DM 509) NUOVO ORDINAMENTO (DM 270) Corrispondenza tra gli insegnamenti: ORDINAMENTO (DM 509) NUOVO ORDINAMENTO (DM 270) Questo documento è indirizzato agli studenti che intendono optare per i corsi di laurea del nuovo ordinamento DM 270/04,

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

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

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 WEB MINING E RETRIEVAL - INTRODUZIONE AL CORSO -

CORSO DI WEB MINING E RETRIEVAL - INTRODUZIONE AL CORSO - 1 CORSO DI WEB MINING E RETRIEVAL - INTRODUZIONE AL CORSO - Corsi di Laurea in Informatica, Ing. Informatica, Ing. di Internet (a.a. 2015-2016) Roberto Basili 2 Overview WM&R: Motivazioni e prospettive

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

SCUOLA POLITECNICA. 1 semestre Facoltativa Voto in trentesimi

SCUOLA POLITECNICA. 1 semestre Facoltativa Voto in trentesimi SCUOLA ANNO ACCADEMICO OFFERTA 2015/2016 ANNO ACCADEMICO EROGAZIONE 2017/2018 CORSO DILAUREA INSEGNAMENTO TIPO DI ATTIVITA' AMBITO CODICE INSEGNAMENTO 18033 SETTORI SCIENTIFICO-DISCIPLINARI SCUOLA POLITECNICA

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

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

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

Tecniche di riconoscimento statistico

Tecniche di riconoscimento statistico On AIR s.r.l. Tecniche di riconoscimento statistico Applicazioni alla lettura automatica di testi (OCR) Parte 1 - Introduzione generale Ennio Ottaviani On AIR srl ennio.ottaviani@onairweb.com http://www.onairweb.com/corsopr

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

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

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

SISTEMI E RETI 4(2) 4(2) 4(2) caratteristiche funzionali

SISTEMI E RETI 4(2) 4(2) 4(2) caratteristiche funzionali CL AS SE INFORMATICA 6(3) 6(4) - 6(4) SISTEMI E RETI 4(2) 4(2) 4(2) TECNOLOGIE E PROGETTAZIONE DI SISTEMI INFORMATICI E DI TELECOMUNICAZIONI COMPETENZE 3 Essere in grado di sviluppare semplici applicazioni

Dettagli

Sistemi Informativi Multimediali 1 - Introduzione

Sistemi Informativi Multimediali 1 - Introduzione Che cos è un sistema informativo multimediale? Sistemi Informativi li 1 - Introduzione Augusto Celentano Università Ca Foscari di Venezia Un sistema informativo multimediale (MMDBMS) è un framework che

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

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

Considera tutti i requisiti funzionali (use cases) NON deve necessariamente modellare i requisiti non funzionali

Considera tutti i requisiti funzionali (use cases) NON deve necessariamente modellare i requisiti non funzionali Corso di Laurea Specialistica in Ingegneria Informatica Corso di Ingegneria del Software A. A. 2008 - Progettazione OO E. TINELLI Punto di Partenza Il modello di analisi E una rappresentazione minima del

Dettagli

REGOLAMENTO DIDATTICO DEL CORSO DI STUDIO IN INFORMATICA ANNO ACCADEMICO 2014/15

REGOLAMENTO DIDATTICO DEL CORSO DI STUDIO IN INFORMATICA ANNO ACCADEMICO 2014/15 REGOLAMENTO DIDATTICO DEL CORSO DI STUDIO IN INFORMATICA ANNO ACCADEMICO 2014/15 INFORMAZIONI NOME DEL CORSO in ITALIANO Informatica NOME in INGLESE Computer science CLASSE L-31 - Scienze e tecnologie

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

ISTITUTO TECNICO ECONOMICO AMBROGIO FUSINIERI VICENZA PROGRAMMAZIONE ATTIVITA' DIDATTICA A.S. 2014-2015 MATERIA: TECNOLOGIE DELLA COMUNICAZIONE

ISTITUTO TECNICO ECONOMICO AMBROGIO FUSINIERI VICENZA PROGRAMMAZIONE ATTIVITA' DIDATTICA A.S. 2014-2015 MATERIA: TECNOLOGIE DELLA COMUNICAZIONE ISTITUTO TECNICO ECONOMICO AMBROGIO FUSINIERI VICENZA Via G. D Annunzio, 15-36100 VICENZA Tel. 0444563544 Fax 0444962574 sito web: www.itcfusinieri.eu E-mail: protocollo@itcfusinieri.it - vitd010003@pec.istruzione.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

Curriculum dell'attività scientifica e didattica di Felice Cardone

Curriculum dell'attività scientifica e didattica di Felice Cardone Curriculum dell'attività scientifica e didattica di Felice Cardone Indirizzo Dipartimento di Informatica Università di Torino Corso Svizzera 185 10149 Torino e-mail: felice@di.unito.it pagina web: http://www.di.unito.it/~felice

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

Principi di Sistemi Operativi (1 anno Corso di Laurea Magistrale in Ingegneria Informatica) ANNO ACCADEMICO 2014-2015

Principi di Sistemi Operativi (1 anno Corso di Laurea Magistrale in Ingegneria Informatica) ANNO ACCADEMICO 2014-2015 Principi di Sistemi Operativi (1 anno Corso di Laurea Magistrale in Ingegneria Informatica) ANNO ACCADEMICO 2014-2015 Prof. Letizia Leonardi OBIETTIVI FORMATIVI: L'obiettivo di questo insegnamento è di

Dettagli

SECONDO BIENNIO ISTITUTO TECNICO

SECONDO BIENNIO ISTITUTO TECNICO SETTORE DOCUMENTI PER LA DISCUSSIONE ISTITUTO TECNICO INDIRIZZO ARTICOLAZIONE ELETTROTECNICA TECNOLOGICO ELETTRONICA ED ELETTROTECNICA ESITI DI APPRENDIMENTO (competenze, abilità, conoscenze) Regolamento,

Dettagli

Open Access e condivisione delle conoscenze: l impatto del modello nelle comunità di apprendimento

Open Access e condivisione delle conoscenze: l impatto del modello nelle comunità di apprendimento Open Access e condivisione delle conoscenze: l impatto del modello nelle comunità di apprendimento Principale ricercatore: Anna Maria Tammaro Componenti Gruppo di ricerca: Fabrizia Bevilacqua, Monica Vezzosi,

Dettagli

Durata in ore 1 Concetti di base e architettura di un computer 16

Durata in ore 1 Concetti di base e architettura di un computer 16 ISTITUTO DI ISTRUZIONE SUPERIORE STATALE IRIS VERSARI - Cesano Maderno (MB) PIANO DI LAVORO DEL PROFESSORE Indirizzo ISTITUTO TECNICO SISTEMI INFORMATIVI AZIENDALI MATERIA: Informatica PROF. C. Vassallo,

Dettagli

INGEGNERIA INFORMATICA E ROBOTICA CORSO DI LAUREA MAGISTRALE

INGEGNERIA INFORMATICA E ROBOTICA CORSO DI LAUREA MAGISTRALE INGEGNERIA INFORMATICA E ROBOTICA CORSO DI LAUREA MAGISTRALE Obiettivo didattico CORSO DI LAUREA MAGISTRALE IN INGEGNERIA INFORMATICA E ROBOTICA Il corso di Laurea Magistrale in Ingegneria Informatica

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

MACHINE LEARNING e DATA MINING Introduzione. a.a.2015/16 Jessica Rosati jessica.rosati@poliba.it

MACHINE LEARNING e DATA MINING Introduzione. a.a.2015/16 Jessica Rosati jessica.rosati@poliba.it MACHINE LEARNING e DATA MINING Introduzione a.a.2015/16 Jessica Rosati jessica.rosati@poliba.it Apprendimento Automatico(i) Branca dell AI che si occupa di realizzare dispositivi artificiali capaci di

Dettagli

EVOLUZIONE DEI LINGUAGGI DI ALTO LIVELLO

EVOLUZIONE DEI LINGUAGGI DI ALTO LIVELLO EVOLUZIONE DEI LINGUAGGI DI ALTO LIVELLO Linguaggi di programmazione classificati in base alle loro caratteristiche fondamentali. Linguaggio macchina, binario e fortemente legato all architettura. Linguaggi

Dettagli

Competenze ICT per le professionalità operanti nel mondo dei dati

Competenze ICT per le professionalità operanti nel mondo dei dati Competenze ICT per le professionalità operanti nel mondo dei dati Modello e-cf (UNI EN 16234-1:2016) L European e-competence Framework (e-cf) fornisce un riferimento di 40 competenze richieste e praticate

Dettagli

Allegato 1 CIG 58703795FF PROCEDURA DI AFFIDAMENTO PER LA FORNITURA DI UNA PIATTAFORMA PER SERVICE MASHUP AND DELIVERY CAPITOLATO TECNICO

Allegato 1 CIG 58703795FF PROCEDURA DI AFFIDAMENTO PER LA FORNITURA DI UNA PIATTAFORMA PER SERVICE MASHUP AND DELIVERY CAPITOLATO TECNICO PROCEDURA DI AFFIDAMENTO PER LA FORNITURA DI UNA PIATTAFORMA PER SERVICE MASHUP AND DELIVERY CAPITOLATO TECNICO SOMMARIO 1 Oggetto della Fornitura... 3 2 Composizione della Fornitura... 3 2.1 Piattaforma

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