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

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

BUSINESS INTELLIGENCE & PERFORMANCE MANAGEMENT

BUSINESS INTELLIGENCE & PERFORMANCE MANAGEMENT BUSINESS INTELLIGENCE & PERFORMANCE MANAGEMENT BOLOGNA BUSINESS school Dal 1088, studenti da tutto il mondo vengono a studiare a Bologna dove scienza, cultura e tecnologia si uniscono a valori, stile di

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

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

F O R M A T O E U R O P E O

F O R M A T O E U R O P E O F O R M A T O E U R O P E O P E R I L C U R R I C U L U M V I T A E INFORMAZIONI PERSONALI Nome Indirizzo Laura Bacci, PMP Via Tezze, 36 46100 MANTOVA Telefono (+39) 348 6947997 Fax (+39) 0376 1810801

Dettagli

Sistemi di supporto alle decisioni Ing. Valerio Lacagnina

Sistemi di supporto alle decisioni Ing. Valerio Lacagnina Cosa è il DSS L elevato sviluppo dei personal computer, delle reti di calcolatori, dei sistemi database di grandi dimensioni, e la forte espansione di modelli basati sui calcolatori rappresentano gli sviluppi

Dettagli

Analisi dei requisiti e casi d uso

Analisi dei requisiti e casi d uso Analisi dei requisiti e casi d uso Indice 1 Introduzione 2 1.1 Terminologia........................... 2 2 Modello del sistema 4 2.1 Requisiti hardware........................ 4 2.2 Requisiti software.........................

Dettagli

Process mining & Optimization Un approccio matematico al problema

Process mining & Optimization Un approccio matematico al problema Res User Meeting 2014 con la partecipazione di Scriviamo insieme il futuro Paolo Ferrandi Responsabile Tecnico Research for Enterprise Systems Federico Bonelli Engineer Process mining & Optimization Un

Dettagli

UNIVERSITÀ DEGLI STUDI DI BERGAMO. PROPOSTE di TIROCINI/TESI di LAUREA - Prof. Patrizia Scandurra

UNIVERSITÀ DEGLI STUDI DI BERGAMO. PROPOSTE di TIROCINI/TESI di LAUREA - Prof. Patrizia Scandurra PROPOSTE di TIROCINI/TESI di LAUREA - Prof. Patrizia Scandurra A seguire alcune proposte di tirocini/tesi in tre ambiti dell ingegneria del software (non del tutto scorrelati): (1) Model-driven driven

Dettagli

Intalio. Leader nei Sistemi Open Source per il Business Process Management. Andrea Calcagno Amministratore Delegato

Intalio. Leader nei Sistemi Open Source per il Business Process Management. Andrea Calcagno Amministratore Delegato Intalio Convegno Open Source per la Pubblica Amministrazione Leader nei Sistemi Open Source per il Business Process Management Navacchio 4 Dicembre 2008 Andrea Calcagno Amministratore Delegato 20081129-1

Dettagli

MASTER UNIVERSITARI CORSI di PERFEZIONAMENTO CORSI di FORMAZIONE AVANZATA

MASTER UNIVERSITARI CORSI di PERFEZIONAMENTO CORSI di FORMAZIONE AVANZATA Allegato 1 al bando di gara SCUOLA TELECOMUNICAZIONI FF.AA. CHIAVARI REQUISITO TECNICO OPERATIVO MASTER UNIVERSITARI CORSI di PERFEZIONAMENTO CORSI di FORMAZIONE AVANZATA MASTER DI 2 LIVELLO 1. DIFESA

Dettagli

www.bistrategy.it In un momento di crisi perché scegliere di investire sulla Business Intelligence?

www.bistrategy.it In un momento di crisi perché scegliere di investire sulla Business Intelligence? In un momento di crisi perché scegliere di investire sulla Business Intelligence? Cos è? Per definizione, la Business Intelligence è: la trasformazione dei dati in INFORMAZIONI messe a supporto delle decisioni

Dettagli

Università di Venezia Corso di Laurea in Informatica. Marco Fusaro KPMG S.p.A.

Università di Venezia Corso di Laurea in Informatica. Marco Fusaro KPMG S.p.A. Università di Venezia Corso di Laurea in Informatica Laboratorio di Informatica Applicata Introduzione all IT Governance Lezione 5 Marco Fusaro KPMG S.p.A. 1 CobiT: strumento per la comprensione di una

Dettagli

Business Process Management

Business Process Management Corso di Certificazione in Business Process Management Progetto Didattico 2015 con la supervisione scientifica del Dipartimento di Informatica Università degli Studi di Torino Responsabile scientifico

Dettagli

CAPITOLO CAPIT Tecnologie dell ecnologie dell info inf rmazione e controllo

CAPITOLO CAPIT Tecnologie dell ecnologie dell info inf rmazione e controllo CAPITOLO 8 Tecnologie dell informazione e controllo Agenda Evoluzione dell IT IT, processo decisionale e controllo Sistemi di supporto al processo decisionale Sistemi di controllo a feedback IT e coordinamento

Dettagli

Business Process Management

Business Process Management Business Process Management Comprendere, gestire, organizzare e migliorare i processi di business Caso di studio a cura della dott. Danzi Francesca e della prof. Cecilia Rossignoli 1 Business process Un

Dettagli

Rational Unified Process Introduzione

Rational Unified Process Introduzione Rational Unified Process Introduzione G.Raiss - A.Apolloni - 4 maggio 2001 1 Cosa è E un processo di sviluppo definito da Booch, Rumbaugh, Jacobson (autori dell Unified Modeling Language). Il RUP è un

Dettagli

Business Intelligence

Business Intelligence aggregazione dati Business Intelligence analytic applications query d a t a w a r e h o u s e aggregazione budget sales inquiry data mining Decision Support Systems MIS ERP data management Data Modeling

Dettagli

Relazione sul data warehouse e sul data mining

Relazione sul data warehouse e sul data mining Relazione sul data warehouse e sul data mining INTRODUZIONE Inquadrando il sistema informativo aziendale automatizzato come costituito dall insieme delle risorse messe a disposizione della tecnologia,

Dettagli

Copyright Università degli Studi di Torino, Progetto Atlante delle Professioni 2009 IT PROCESS EXPERT

Copyright Università degli Studi di Torino, Progetto Atlante delle Professioni 2009 IT PROCESS EXPERT IT PROCESS EXPERT 1. CARTA D IDENTITÀ... 2 2. CHE COSA FA... 3 3. DOVE LAVORA... 4 4. CONDIZIONI DI LAVORO... 5 5. COMPETENZE... 6 Quali competenze sono necessarie... 6 Conoscenze... 8 Abilità... 9 Comportamenti

Dettagli

UNIVERSITA DI PISA FACOLTA DI INGEGNERIA CORSO DI LAUREA IN INGEGNERIA ELETTRONICA ANNO ACCADEMICO 2004-2005 TESI DI LAUREA

UNIVERSITA DI PISA FACOLTA DI INGEGNERIA CORSO DI LAUREA IN INGEGNERIA ELETTRONICA ANNO ACCADEMICO 2004-2005 TESI DI LAUREA UNIVERSITA DI PISA FACOLTA DI INGEGNERIA CORSO DI LAUREA IN INGEGNERIA ELETTRONICA ANNO ACCADEMICO 2004-2005 TESI DI LAUREA SVILUPPO DI METODI DECONVOLUTIVI PER L INDIVIDUAZIONE DI SORGENTI INDIPENDENTI

Dettagli

DataFix. La soluzione innovativa per l'help Desk aziendale

DataFix. La soluzione innovativa per l'help Desk aziendale DataFix D A T A N O S T O P La soluzione innovativa per l'help Desk aziendale La soluzione innovativa per l'help Desk aziendale L a necessità di fornire un adeguato supporto agli utenti di sistemi informatici

Dettagli

Curriculum Vitae Europass

Curriculum Vitae Europass Curriculum Vitae Europass Informazioni personali Cognome/i nome/i Castelli Flavio Email flavio.castelli@gmail.com Sito web personale http://www.flavio.castelli.name Nazionalità Italiana Data di nascita

Dettagli

Business Intelligence: dell impresa

Business Intelligence: dell impresa Architetture Business Intelligence: dell impresa Silvana Bortolin Come organizzare la complessità e porla al servizio dell impresa attraverso i sistemi di Business Intelligence, per creare processi organizzativi

Dettagli

REALIZZARE UN MODELLO DI IMPRESA

REALIZZARE UN MODELLO DI IMPRESA REALIZZARE UN MODELLO DI IMPRESA - organizzare e gestire l insieme delle attività, utilizzando una piattaforma per la gestione aziendale: integrata, completa, flessibile, coerente e con un grado di complessità

Dettagli

Processi (di sviluppo del) software. Fase di Analisi dei Requisiti. Esempi di Feature e Requisiti. Progettazione ed implementazione

Processi (di sviluppo del) software. Fase di Analisi dei Requisiti. Esempi di Feature e Requisiti. Progettazione ed implementazione Processi (di sviluppo del) software Fase di Analisi dei Requisiti Un processo software descrive le attività (o task) necessarie allo sviluppo di un prodotto software e come queste attività sono collegate

Dettagli

Sistemi di supporto alle decisioni

Sistemi di supporto alle decisioni Sistemi di supporto alle decisioni Introduzione I sistemi di supporto alle decisioni, DSS (decision support system), sono strumenti informatici che utilizzano dati e modelli matematici a supporto del decision

Dettagli

RUP (Rational Unified Process)

RUP (Rational Unified Process) RUP (Rational Unified Process) Caratteristiche, Punti di forza, Limiti versione del tutorial: 3.3 (febbraio 2007) Pag. 1 Unified Process Booch, Rumbaugh, Jacobson UML (Unified Modeling Language) notazione

Dettagli

Dalla Mappatura dei Processi al Business Process Management

Dalla Mappatura dei Processi al Business Process Management Dalla Mappatura dei Processi al Business Process Management Romano Stasi Responsabile Segreteria Tecnica ABI Lab Roma, 4 dicembre 2007 Agenda Il percorso metodologico Analizzare per conoscere: la mappatura

Dettagli

Linguaggi del I ordine - semantica. Per dare significato ad una formula del I ordine bisogna specificare

Linguaggi del I ordine - semantica. Per dare significato ad una formula del I ordine bisogna specificare Linguaggi del I ordine - semantica Per dare significato ad una formula del I ordine bisogna specificare Un dominio Un interpretazione Un assegnamento 1 Linguaggi del I ordine - semantica (ctnd.1) Un modello

Dettagli

BIENNIO DI SECONDO LIVELLO IN DISCIPLINE MUSICALI MUSICA ELETTRONICA E TECNOLOGIE DEL SUONO

BIENNIO DI SECONDO LIVELLO IN DISCIPLINE MUSICALI MUSICA ELETTRONICA E TECNOLOGIE DEL SUONO BIENNIO DI SECONDO LIVELLO IN DISCIPLINE MUSICALI MUSICA ELETTRONICA E TECNOLOGIE DEL SUONO Requisiti d'ammissione Dal Regolamento didattico del Conservatorio di Como Ex Art. 24: Ammissione ai corsi di

Dettagli

Stefano Perna. Informazioni Personali. Obiettivi Professionali. Posizione attuale. Healthcare Pre-Sales e Project Management.

Stefano Perna. Informazioni Personali. Obiettivi Professionali. Posizione attuale. Healthcare Pre-Sales e Project Management. Stefano Perna Informazioni Personali Residenza Viale Spartaco, 91 00174 Roma Telefono (+39) 320 6974861 (+39) 340 2267281 Email perna.stefano@gmail.com Sito http://www.stefanoperna.it Luogo e Data di nascita

Dettagli

Energy Data Management System (EDMS): la soluzione software per una gestione efficiente dell energia secondo lo standard ISO 50001

Energy Data Management System (EDMS): la soluzione software per una gestione efficiente dell energia secondo lo standard ISO 50001 Energy Data Management System (EDMS): la soluzione software per una gestione efficiente dell energia secondo lo standard ISO 50001 Oggi più che mai, le aziende italiane sentono la necessità di raccogliere,

Dettagli

AOT Lab Dipartimento di Ingegneria dell Informazione Università degli Studi di Parma. Unified Process. Prof. Agostino Poggi

AOT Lab Dipartimento di Ingegneria dell Informazione Università degli Studi di Parma. Unified Process. Prof. Agostino Poggi AOT Lab Dipartimento di Ingegneria dell Informazione Università degli Studi di Parma Unified Process Prof. Agostino Poggi Unified Process Unified Software Development Process (USDP), comunemente chiamato

Dettagli

Informatica. Scopo della lezione

Informatica. Scopo della lezione 1 Informatica per laurea diarea non informatica LEZIONE 1 - Cos è l informatica 2 Scopo della lezione Introdurre le nozioni base della materia Definire le differenze tra hardware e software Individuare

Dettagli

Istituto Tecnico Commerciale Indirizzo AFM articolazione SIA PERCHE???

Istituto Tecnico Commerciale Indirizzo AFM articolazione SIA PERCHE??? Istituto Tecnico Commerciale Indirizzo AFM articolazione SIA PERCHE??? Opportunità di lavoro: ICT - Information and Communication Technology in Azienda Vendite Acquisti Produzione Logistica AFM SIA ICT

Dettagli

Problem Management. Obiettivi. Definizioni. Responsabilità. Attività. Input

Problem Management. Obiettivi. Definizioni. Responsabilità. Attività. Input Problem Management Obiettivi Obiettivo del Problem Management e di minimizzare l effetto negativo sull organizzazione degli Incidenti e dei Problemi causati da errori nell infrastruttura e prevenire gli

Dettagli

Anno di corso: 2004/2005. Istruzioni. Istruzioni per lo svolgimento dei progetti didattici. versione 1.1

Anno di corso: 2004/2005. Istruzioni. Istruzioni per lo svolgimento dei progetti didattici. versione 1.1 versione 1.1 per lo svolgimento dei progetti didattici Corso di Laboratorio di Programmazione II Prof. Luca Forlizzi Anno Accademico 2004-2005 GENERALITÀ...3 Scopo del documento...3 Struttura del documento...3

Dettagli

Supporto alle decisioni e strategie commerciali/mercati/prodotti/forza vendita;

Supporto alle decisioni e strategie commerciali/mercati/prodotti/forza vendita; .netbin. è un potentissimo strumento SVILUPPATO DA GIEMME INFORMATICA di analisi dei dati con esposizione dei dati in forma numerica e grafica con un interfaccia visuale di facile utilizzo, organizzata

Dettagli

Management delle Strutture di Prossimità e delle Forme Associative nell Assistenza Territoriale

Management delle Strutture di Prossimità e delle Forme Associative nell Assistenza Territoriale - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - AREA PUBBLICA AMMINISTRAZIONE, SANITÀ E NON

Dettagli

Cos è l Ingegneria del Software?

Cos è l Ingegneria del Software? Cos è l Ingegneria del Software? Corpus di metodologie e tecniche per la produzione di sistemi software. L ingegneria del software è la disciplina tecnologica e gestionale che riguarda la produzione sistematica

Dettagli

PROFILI ALLEGATO A. Profili professionali

PROFILI ALLEGATO A. Profili professionali ALLEGATO A Profili professionali Nei profili di seguito descritti vengono sintetizzate le caratteristiche di delle figure professionali che verranno coinvolte nell erogazione dei servizi oggetto della

Dettagli

Gestione delle Architetture e dei Servizi IT con ADOit. Un Prodotto della Suite BOC Management Office

Gestione delle Architetture e dei Servizi IT con ADOit. Un Prodotto della Suite BOC Management Office Gestione delle Architetture e dei Servizi IT con ADOit Un Prodotto della Suite BOC Management Office Controllo Globale e Permanente delle Architetture IT Aziendali e dei Processi IT: IT-Governance Definire

Dettagli

MEA MASTER IN MANAGEMENT DELL ENERGIA E DELL AMBIENTE II LIVELLO XIII edizione A.A. 2014/2015

MEA MASTER IN MANAGEMENT DELL ENERGIA E DELL AMBIENTE II LIVELLO XIII edizione A.A. 2014/2015 MEA MASTER IN MANAGEMENT DELL ENERGIA E DELL AMBIENTE II LIVELLO XIII edizione A.A. 2014/2015 Il Master MEA Management dell Energia e dell Ambiente è organizzato dall Università degli Studi Guglielmo Marconi

Dettagli

Università degli Studi di Parma. Facoltà di Scienze MM. FF. NN. Corso di Laurea in Informatica

Università degli Studi di Parma. Facoltà di Scienze MM. FF. NN. Corso di Laurea in Informatica Università degli Studi di Parma Facoltà di Scienze MM. FF. NN. Corso di Laurea in Informatica A.A. 2007-08 CORSO DI INGEGNERIA DEL SOFTWARE Prof. Giulio Destri http://www.areasp.com (C) 2007 AreaSP for

Dettagli

DynDevice ECM. La Suite di applicazioni web per velocizzare, standardizzare e ottimizzare il flusso delle informazioni aziendali

DynDevice ECM. La Suite di applicazioni web per velocizzare, standardizzare e ottimizzare il flusso delle informazioni aziendali DynDevice ECM La Suite di applicazioni web per velocizzare, standardizzare e ottimizzare il flusso delle informazioni aziendali Presentazione DynDevice ECM Cos è DynDevice ICMS Le soluzioni di DynDevice

Dettagli

UNIVERSITÀ DEGLI STUDI DI BRESCIA

UNIVERSITÀ DEGLI STUDI DI BRESCIA Bando di ammissione al Master di II livello in BIM-BASED CONSTRUCTION PROJECT MANAGEMENT (VISUAL PM) ANNO ACCADEMICO 2014/2015 Ai sensi del comma 9 dell art. 7 del D.M. 270/99 e del Regolamento d Ateneo

Dettagli

Articolazione didattica on-line

Articolazione didattica on-line L organizzazione della didattica per lo studente L impegno di tempo che lo studente deve dedicare alle attività didattiche offerte per ogni singolo insegnamento è così ripartito: - l auto-apprendimento

Dettagli

Le funzionalità di un DBMS

Le funzionalità di un DBMS Le funzionalità di un DBMS Sistemi Informativi L-A Home Page del corso: http://www-db.deis.unibo.it/courses/sil-a/ Versione elettronica: DBMS.pdf Sistemi Informativi L-A DBMS: principali funzionalità Le

Dettagli

Profilo Aziendale ISO 9001: 2008. METISOFT spa - p.iva 00702470675 - www.metisoft.it - info@metisoft.it

Profilo Aziendale ISO 9001: 2008. METISOFT spa - p.iva 00702470675 - www.metisoft.it - info@metisoft.it ISO 9001: 2008 Profilo Aziendale METISOFT spa - p.iva 00702470675 - www.metisoft.it - info@metisoft.it Sede legale: * Viale Brodolini, 117-60044 - Fabriano (AN) - Tel. 0732.251856 Sede amministrativa:

Dettagli

LA TECHNOLOGY TRANSFER PRESENTA JEN UNDERWOOD ADVANCED WORKSHOP ROMA 6 MAGGIO 2015 RESIDENZA DI RIPETTA - VIA DI RIPETTA, 231

LA TECHNOLOGY TRANSFER PRESENTA JEN UNDERWOOD ADVANCED WORKSHOP ROMA 6 MAGGIO 2015 RESIDENZA DI RIPETTA - VIA DI RIPETTA, 231 LA TECHNOLOGY TRANSFER PRESENTA JEN UNDERWOOD ADVANCED ANALYTICS WORKSHOP ROMA 6 MAGGIO 2015 RESIDENZA DI RIPETTA - VIA DI RIPETTA, 231 info@technologytransfer.it www.technologytransfer.it ADVANCED ANALYTICS

Dettagli

Cos è il BULATS. Quali sono i livelli del BULATS?

Cos è il BULATS. Quali sono i livelli del BULATS? Cos è il BULATS Il Business Language Testing Service (BULATS) è ideato per valutare il livello delle competenze linguistiche dei candidati che hanno necessità di utilizzare un lingua straniera (Inglese,

Dettagli

Curriculum Vitae di ENRICO NARDELLI

Curriculum Vitae di ENRICO NARDELLI Curriculum Vitae di ENRICO NARDELLI (Versione Abbreviata) Ultimo Aggiornamento: 24 Febbraio 2011 1 Posizioni Enrico Nardelli si è laureato nel 1983 in Ingegneria Elettronica (110/110 con lode) presso l

Dettagli

SAIPEM: Strong Authenticator for SAP Una soluzione CST in grado di garantire il massimo della sicurezza

SAIPEM: Strong Authenticator for SAP Una soluzione CST in grado di garantire il massimo della sicurezza Grandi Navi Veloci. Utilizzata con concessione dell autore. SAIPEM: Strong Authenticator for SAP Una soluzione CST in grado di garantire il massimo della sicurezza Partner Nome dell azienda SAIPEM Settore

Dettagli

SIASFi: il sistema ed il suo sviluppo

SIASFi: il sistema ed il suo sviluppo SIASFI: IL SISTEMA ED IL SUO SVILUPPO 187 SIASFi: il sistema ed il suo sviluppo Antonio Ronca Il progetto SIASFi nasce dall esperienza maturata da parte dell Archivio di Stato di Firenze nella gestione

Dettagli

Processi ITIL. In collaborazione con il nostro partner:

Processi ITIL. In collaborazione con il nostro partner: Processi ITIL In collaborazione con il nostro partner: NetEye e OTRS: la piattaforma WÜRTHPHOENIX NetEye è un pacchetto di applicazioni Open Source volto al monitoraggio delle infrastrutture informatiche.

Dettagli

IT GOVERNANCE & MANAGEMENT

IT GOVERNANCE & MANAGEMENT IT GOVERNANCE & MANAGEMENT BOLOGNA BUSINESS school Dal 1088, studenti da tutto il mondo vengono a studiare a Bologna dove scienza, cultura e tecnologia si uniscono a valori, stile di vita, imprenditorialità.

Dettagli

GLI ASSI CULTURALI. Allegato 1 - Gli assi culturali. Nota. rimessa all autonomia didattica del docente e alla programmazione collegiale del

GLI ASSI CULTURALI. Allegato 1 - Gli assi culturali. Nota. rimessa all autonomia didattica del docente e alla programmazione collegiale del GLI ASSI CULTURALI Nota rimessa all autonomia didattica del docente e alla programmazione collegiale del La normativa italiana dal 2007 13 L Asse dei linguaggi un adeguato utilizzo delle tecnologie dell

Dettagli

progettiamo e realizziamo architetture informatiche Company Profile

progettiamo e realizziamo architetture informatiche Company Profile Company Profile Chi siamo Kammatech Consulting S.r.l. nasce nel 2000 con l'obiettivo di operare nel settore I.C.T., fornendo servizi di progettazione, realizzazione e manutenzione di reti aziendali. Nel

Dettagli

White Paper. Operational DashBoard. per una Business Intelligence. in real-time

White Paper. Operational DashBoard. per una Business Intelligence. in real-time White Paper Operational DashBoard per una Business Intelligence in real-time Settembre 2011 www.axiante.com A Paper Published by Axiante CAMBIARE LE TRADIZIONI C'è stato un tempo in cui la Business Intelligence

Dettagli

Text mining ed analisi di dati codificati in linguaggio naturale. Analisi esplorative di dati testualilezione

Text mining ed analisi di dati codificati in linguaggio naturale. Analisi esplorative di dati testualilezione Text mining ed analisi di dati codificati in linguaggio naturale Analisi esplorative di dati testualilezione 2 Le principali tecniche di analisi testuale Facendo riferimento alle tecniche di data mining,

Dettagli

DigitPA egovernment e Cloud computing

DigitPA egovernment e Cloud computing DigitPA egovernment e Cloud computing Esigenze ed esperienze dal punto di vista della domanda RELATORE: Francesco GERBINO 5 ottobre 2010 Agenda Presentazione della Società Le infrastrutture elaborative

Dettagli

Applicazione: DoQui/Index - Motore di gestione dei contenuti digitali

Applicazione: DoQui/Index - Motore di gestione dei contenuti digitali Riusabilità del software - Catalogo delle applicazioni: Applicativo verticale Applicazione: DoQui/Index - Motore di gestione dei contenuti digitali Amministrazione: Regione Piemonte - Direzione Innovazione,

Dettagli

SCHEDA DI PROGRAMMAZIONE DELLE ATTIVITA EDUCATIVE DIDATTICHE. Disciplina: Matematica Classe: 5A sia A.S. 2014/15 Docente: Rosito Franco

SCHEDA DI PROGRAMMAZIONE DELLE ATTIVITA EDUCATIVE DIDATTICHE. Disciplina: Matematica Classe: 5A sia A.S. 2014/15 Docente: Rosito Franco Disciplina: Matematica Classe: 5A sia A.S. 2014/15 Docente: Rosito Franco ANALISI DI SITUAZIONE - LIVELLO COGNITIVO La classe ha dimostrato fin dal primo momento grande attenzione e interesse verso gli

Dettagli

Panoramica su ITIL V3 ed esempio di implementazione del Service Design

Panoramica su ITIL V3 ed esempio di implementazione del Service Design Master Universitario di II livello in Interoperabilità Per la Pubblica Amministrazione e Le Imprese Panoramica su ITIL V3 ed esempio di implementazione del Service Design Lavoro pratico II Periodo didattico

Dettagli

MANAGEMENT NELLE ORGANIZZAZIONI SANITARIE

MANAGEMENT NELLE ORGANIZZAZIONI SANITARIE Master di I livello in MANAGEMENT NELLE ORGANIZZAZIONI SANITARIE In Sigla Master 74 Anno Accademico 2009/2010 (1500 ore 60 CFU) TITOLO Management nelle organizzazioni sanitarie FINALITÀ Con la locuzione

Dettagli

Corso di Amministrazione di Sistema Parte I ITIL 3

Corso di Amministrazione di Sistema Parte I ITIL 3 Corso di Amministrazione di Sistema Parte I ITIL 3 Francesco Clabot Responsabile erogazione servizi tecnici 1 francesco.clabot@netcom-srl.it Fondamenti di ITIL per la Gestione dei Servizi Informatici Il

Dettagli

capitolo 6 IL QUESTIONARIO PER LA VALUTV ALUTAZIONEAZIONE DEI CONTENUTI

capitolo 6 IL QUESTIONARIO PER LA VALUTV ALUTAZIONEAZIONE DEI CONTENUTI capitolo 6 IL QUESTIONARIO PER LA VALUTV ALUTAZIONEAZIONE DEI CONTENUTI 6.1 ISTRUZIONI PER IL VALUTATORE Il processo di valutazione si articola in quattro fasi. Il Valutatore deve: 1 leggere il questionario;

Dettagli

Energy risk management

Energy risk management Il sistema di supporto alle tue decisioni Energy risk management Un approccio orientato agli attori M.B.I. Srl, Via Francesco Squartini 7-56121 Pisa, Italia - tel. 050 3870888 - fax. 050 3870808 www.powerschedo.it

Dettagli

IBM Cognos 8 BI Midmarket Reporting Packages Per soddisfare tutte le vostre esigenze di reporting restando nel budget

IBM Cognos 8 BI Midmarket Reporting Packages Per soddisfare tutte le vostre esigenze di reporting restando nel budget Data Sheet IBM Cognos 8 BI Midmarket Reporting Packages Per soddisfare tutte le vostre esigenze di reporting restando nel budget Panoramica Le medie aziende devono migliorare nettamente le loro capacità

Dettagli

Il business risk reporting: lo. gestione continua dei rischi

Il business risk reporting: lo. gestione continua dei rischi 18 ottobre 2012 Il business risk reporting: lo strumento essenziale per la gestione continua dei rischi Stefano Oddone, EPM Sales Consulting Senior Manager di Oracle 1 AGENDA L importanza di misurare Business

Dettagli

Master Universitario Online in Management delle Cure primarie e Territoriali: il Professionista Specialista

Master Universitario Online in Management delle Cure primarie e Territoriali: il Professionista Specialista Master Universitario Online in Management delle Cure primarie e Territoriali: il Professionista Specialista Master Universitario Online di I Livello 60 Crediti Formativi (CFU) 1. Premesse Le ragioni della

Dettagli

ALLEGATO al verbale della riunione del 3 Settembre 2010, del Dipartimento di Elettrotecnica e Automazione.

ALLEGATO al verbale della riunione del 3 Settembre 2010, del Dipartimento di Elettrotecnica e Automazione. ALLEGATO al verbale della riunione del 3 Settembre 2010, del Dipartimento di Elettrotecnica e Automazione. COMPETENZE MINIME- INDIRIZZO : ELETTROTECNICA ED AUTOMAZIONE 1) CORSO ORDINARIO Disciplina: ELETTROTECNICA

Dettagli

più del mercato applicazioni dei processi modificato. Reply www.reply.eu

più del mercato applicazioni dei processi modificato. Reply www.reply.eu SOA IN AMBITO TELCO Al fine di ottimizzare i costi e di migliorare la gestione dell'it, le aziende guardano, sempre più con maggiore interesse, alle problematiche di gestionee ed ottimizzazione dei processi

Dettagli

Bando di concorso Master di II Livello A.A. 2015/2016

Bando di concorso Master di II Livello A.A. 2015/2016 Bando di concorso Master di II Livello A.A. 2015/2016 Art. 1 - Attivazione Master di II livello L Istituto di MANAGEMENT ha attivato presso la Scuola Superiore Sant Anna di Pisa, ai sensi dell art. 3 dello

Dettagli

Progettare, sviluppare e gestire seguendo la Think it easy philosophy

Progettare, sviluppare e gestire seguendo la Think it easy philosophy Progettare, sviluppare e gestire seguendo la Think it easy philosophy CST Consulting è una azienda di Consulenza IT, System Integration & Technology e Servizi alle Imprese di respiro internazionale. E

Dettagli

Indicizzazione terza parte e modello booleano

Indicizzazione terza parte e modello booleano Reperimento dell informazione (IR) - aa 2014-2015 Indicizzazione terza parte e modello booleano Gruppo di ricerca su Sistemi di Gestione delle Informazioni (IMS) Dipartimento di Ingegneria dell Informazione

Dettagli

DBMS (Data Base Management System)

DBMS (Data Base Management System) Cos'è un Database I database o banche dati o base dati sono collezioni di dati, tra loro correlati, utilizzati per rappresentare una porzione del mondo reale. Sono strutturati in modo tale da consentire

Dettagli

PROGETTO FORMATIVO ECM TEORICO-PRATICO in INFORMATICA MEDICA

PROGETTO FORMATIVO ECM TEORICO-PRATICO in INFORMATICA MEDICA PROGETTO FORMATIVO ECM TEORICO-PRATICO in INFORMATICA MEDICA SEDE: ORDINE DEI MEDICI E DEGLI ODONTOIATRI DELLA PROVINCIA DI LECCE Via Nazario Sauro, n. 31 LECCE Presentazione Progetto: Dal 9 Novembre 2013

Dettagli

Master Universitario di II livello in PROJECT MANAGEMENT: MANAGING COMPLEXITY a.a. 2014/2015 MANIFESTO DEGLI STUDI

Master Universitario di II livello in PROJECT MANAGEMENT: MANAGING COMPLEXITY a.a. 2014/2015 MANIFESTO DEGLI STUDI Master Universitario di II livello in PROJECT MANAGEMENT: MANAGING COMPLEXITY a.a. 201/2015 MANIFESTO DEGLI STUDI Art. 1 - Attivazione e scopo del Master 1 E' attivato per l'a.a. 201/2015 presso l'università

Dettagli

Il Progetto Orient@mente

Il Progetto Orient@mente Il Progetto Orient@mente Presentazione, 25 marzo 2015 Marina Marchisio Dipartimento di Matematica G. Peano Orient@mente Progetto di UNITO che ha come scopo la realizzazione di un orientamento in ingresso

Dettagli

IT FINANCIAL MANAGEMENT

IT FINANCIAL MANAGEMENT IT FINANCIAL MANAGEMENT L IT Financial Management è una disciplina per la pianificazione e il controllo economico-finanziario, di carattere sia strategico sia operativo, basata su un ampio insieme di metodologie

Dettagli

2 EDIZIONE Master in Export Management (MEM) AGRI FOOD BEVERAGE 9 MESI: 6 DI AULA E 3 DI STAGE. Main Supporter

2 EDIZIONE Master in Export Management (MEM) AGRI FOOD BEVERAGE 9 MESI: 6 DI AULA E 3 DI STAGE. Main Supporter 2 EDIZIONE Master in Export Management (MEM) AGRI FOOD BEVERAGE 9 MESI: 6 DI AULA E 3 DI STAGE Main Supporter MASTER IN EXPORT MANAGEMENT (MEM) AGRI FOOD BEVERAGE (II Edizione) 9 MESI: 6 DI AULA E 3 DI

Dettagli

MANAGEMENT DEI BENI E DELLE ATTIVITÀ CULTURALI LIVELLO II - EDIZIONE IX A.A. 2015-2016

MANAGEMENT DEI BENI E DELLE ATTIVITÀ CULTURALI LIVELLO II - EDIZIONE IX A.A. 2015-2016 MANAGEMENT DEI BENI E DELLE ATTIVITÀ CULTURALI LIVELLO II - EDIZIONE IX A.A. 2015-2016 Presentazione L'Università Ca' Foscari Venezia e l'escp Europe hanno ideato il Doppio Master universitario in Management

Dettagli

MARKETING INTELLIGENCE SUL WEB:

MARKETING INTELLIGENCE SUL WEB: Via Durini, 23-20122 Milano (MI) Tel.+39.02.77.88.931 Fax +39.02.76.31.33.84 Piazza Marconi,15-00144 Roma Tel.+39.06.32.80.37.33 Fax +39.06.32.80.36.00 www.valuelab.it valuelab@valuelab.it MARKETING INTELLIGENCE

Dettagli

Urban Farming: Second Use of Public Spaces. Sviluppare progetti per il recupero urbano Entrepreneurial thinking. Scheda progetto

Urban Farming: Second Use of Public Spaces. Sviluppare progetti per il recupero urbano Entrepreneurial thinking. Scheda progetto Urban Farming: Second Use of Public Spaces Sviluppare progetti per il recupero urbano Entrepreneurial thinking Scheda progetto CSAVRI - Centro Servizi di Ateneo per la Valorizzazione della Ricerca e Incubatore

Dettagli

Albero semantico. Albero che mette in corrispondenza ogni formula con tutte le sue possibili interpretazioni.

Albero semantico. Albero che mette in corrispondenza ogni formula con tutte le sue possibili interpretazioni. Albero semantico Albero che mette in corrispondenza ogni formula con tutte le sue possibili interpretazioni. A differenza dell albero sintattico (che analizza la formula da un punto di vista puramente

Dettagli

QUARTA E QUINTA ISTITUTO TECNICO INDUSTRIALE

QUARTA E QUINTA ISTITUTO TECNICO INDUSTRIALE QUARTA E QUINTA ISTITUTO TECNICO INDUSTRIALE - Matematica - Griglie di valutazione Materia: Matematica Obiettivi disciplinari Gli obiettivi indicati si riferiscono all intero percorso della classe quarta

Dettagli

MASTER TRIENNALE DI FORMAZIONE MANAGERIALE

MASTER TRIENNALE DI FORMAZIONE MANAGERIALE Management Risorse Umane MASTER TRIENNALE DI FORMAZIONE MANAGERIALE La formazione di eccellenza al servizio dei Manager PRESENTAZIONE Il Master Triennale di Formazione Manageriale è un percorso di sviluppo

Dettagli

Neomobile incentra l infrastruttura IT su Microsoft ALM, arrivando a 40 nuovi rilasci a settimana

Neomobile incentra l infrastruttura IT su Microsoft ALM, arrivando a 40 nuovi rilasci a settimana Storie di successo Microsoft per le Imprese Scenario: Software e Development Settore: Servizi In collaborazione con Neomobile incentra l infrastruttura IT su Microsoft ALM, arrivando a 40 nuovi rilasci

Dettagli

Informazioni generali: Ha conseguito il Diploma di maturità scientifica presso il Liceo Scientifico Statale "G.

Informazioni generali: Ha conseguito il Diploma di maturità scientifica presso il Liceo Scientifico Statale G. CURRICULUM VITAE ET STUDIORUM FRANCO FRATTOLILLO Informazioni generali: Ha conseguito il Diploma di maturità scientifica presso il Liceo Scientifico Statale "G. Rummo" di Benevento, con votazione 60/60.

Dettagli

Studio di retribuzione 2014

Studio di retribuzione 2014 Studio di retribuzione 2014 TECHNOLOGY Temporary & permanent recruitment www.pagepersonnel.it EDITORIALE Grazie ad una struttura costituita da 100 consulenti e 4 uffici in Italia, Page Personnel offre

Dettagli

END-TO-END SERVICE QUALITY. LA CULTURA DELLA QUALITÀ DAL CONTROLLO DELLE RISORSE ALLA SODDISFAZIONE DEL CLIENTE

END-TO-END SERVICE QUALITY. LA CULTURA DELLA QUALITÀ DAL CONTROLLO DELLE RISORSE ALLA SODDISFAZIONE DEL CLIENTE END-TO-END SERVICE QUALITY. LA CULTURA DELLA QUALITÀ DAL CONTROLLO DELLE RISORSE ALLA SODDISFAZIONE In un mercato delle Telecomunicazioni sempre più orientato alla riduzione delle tariffe e dei costi di

Dettagli

Ninja Master Online STRATEGIE DI MARKETING & E-COMMERCE GENNAIO-MARZO

Ninja Master Online STRATEGIE DI MARKETING & E-COMMERCE GENNAIO-MARZO Ninja Master Online STRATEGIE DI MARKETING & 2013 GENNAIO-MARZO 9 CORSI: MARKETING STRATEGY BRANDING & VIRAL-DNA CONTENT STRATEGY DESIGN & USABILITY WEB MARKETING CUSTOMER RELATIONSHIP MANAGEMENT SOCIAL

Dettagli

BPEL: Business Process Execution Language

BPEL: Business Process Execution Language Ingegneria dei processi aziendali BPEL: Business Process Execution Language Ghilardi Dario 753708 Manenti Andrea 755454 Docente: Prof. Ernesto Damiani BPEL - definizione Business Process Execution Language

Dettagli

I Professionisti della digitalizzazione documentale

I Professionisti della digitalizzazione documentale CON IL PATROCINIO DI PROGRAMMA MASTER COURSE ANORC MILANO, dal 3 al 26 NOVEMBRE 2015 Hotel degli Arcimboldi (Viale Sarca, n. 336) I Professionisti della digitalizzazione documentale Guida formativa per

Dettagli

IT Club FVG Ditedi CMDBuild: case study di un progetto open source www.cmdbuild.org Fabio Bottega f.bottega@tecnoteca.com

IT Club FVG Ditedi CMDBuild: case study di un progetto open source www.cmdbuild.org Fabio Bottega f.bottega@tecnoteca.com IT Club FVG Ditedi CMDBuild: case study di un progetto open source www.cmdbuild.org Fabio Bottega f.bottega@tecnoteca.com 2 Tecnoteca è nata nel 2000 con sede a Tavagnacco ha scelto da subito di lavorare

Dettagli

Iniziativa : "Sessione di Studio" a Vicenza. Vicenza, venerdì 24 novembre 2006, ore 9.00-13.30

Iniziativa : Sessione di Studio a Vicenza. Vicenza, venerdì 24 novembre 2006, ore 9.00-13.30 Iniziativa : "Sessione di Studio" a Vicenza Gentili Associati, Il Consiglio Direttivo è lieto di informarvi che, proseguendo nell attuazione delle iniziative promosse dall' volte al processo di miglioramento,

Dettagli