Relazione sull Attività scientifica e didattica del triennio per la conferma a ricercatore della Dott.ssa PATRIZIA SCANDURRA

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "Relazione sull Attività scientifica e didattica del triennio 30.12.2008-29.12.2011 per la conferma a ricercatore della Dott.ssa PATRIZIA SCANDURRA"

Transcript

1 Relazione sull Attività scientifica e didattica del triennio per la conferma a ricercatore della Dott.ssa PATRIZIA SCANDURRA PREMESSA ATTIVITÀ DIDATTICA SVOLTA NEL TRIENNIO... 2 Insegnamenti... 2 Insegnamenti esterni... 3 Tesi... 3 Attività istituzionali e organizzative ATTIVITÀ SCIENTIFICA SVOLTA NEL TRIENNIO... 4 Partecipazione a progetti di ricerca nazionali ed internazionali... 4 Collaborazioni scientifiche con enti di ricerca ed aziende... 4 Membro di comitati di programma di convegni e editorial board di riviste... 4 Attività di revisione articoli per convegni/riviste internazionali... 4 Descrizione dell attività di ricerca... 5 Pubblicazioni del triennio

2 PREMESSA La sottoscritta, Patrizia Scandurra, nata a Catania il 30 Gennaio 1976, è stata nominata ricercatore universitario per il settore scientifico disciplinare ING-INF/05 Sistemi di elaborazione delle informazioni con il decreto prot. n /V/002 con decorrenza Nel triennio di conferma ha svolto con continuità la propria attività didattica e scientifica presso il Dipartimento di Ingegneria dell'informazione e Metodi Matematici (DIIMM) della Facoltà di Ingegneria, Viale Marconi, Dalmine (BG). Ha quindi completato il triennio valido per la conferma in ruolo da ricercatore e presenta la seguente relazione al fine di ottenere la conferma di ruolo. 1. ATTIVITÀ DIDATTICA SVOLTA NEL TRIENNIO Insegnamenti Ha tenuto le seguenti docenze ed esercitazioni presso l Università degli Studi di Bergamo, laurea in Ingegneria Informatica: Anno accademico Corso di Sistemi Operativi (modulo di Informatica 2), docenza ed esercitazioni, 6 CFU: corso per tutti gli studenti di Ingegneria Informatica del primo anno e a scelta per gli studenti di Ingegneria Meccanica. Il corso è modulo del corso integrato di Informatica II, e analizza i principi, il funzionamento, la struttura, politiche di gestione alla base dei sistemi operativi orientati alle principali aree applicative (sistemi transazionali, interattivi, gestionali, multimediali, robotici, embedded, ecc..). - Corso di Progetto di Informatica 3, 5 CFU: corso di progetto per tutti gli studenti della Laurea Specialistica di Ingegneria Informatica del primo anno, complementare ad Informatica III e consiste nell'apprendimento di tecniche per la progettazione ed implementazione di applicativi software di media complessità seguendo un processo di sviluppo agile. Anno accademico Corso di Sistemi Operativi (modulo di Informatica 2), docenza ed esercitazioni, 6 CFU - Corso di Progetto di Informatica 3 5 CFU. Anno accademico Corso di Sistemi Operativi (modulo di Informatica 2), docenza ed esercitazioni, 6 CFU - Corso di Informatica III B - Progettazione e algoritmi docenza ed esercitazioni, 6 CFU: corso per tutti gli studenti della Laurea Specialistica di Ingegneria Informatica del primo anno, integrato ad Informatica III A. Esso consiste nell'apprendimento di algoritmi, strutture dati e tecniche per la progettazione in piccolo (a livello di algoritmi) ed in grande (a livello delle singole componenti software e lo scambio dati tra questi ultimi) ed implementazione di applicativi software di media complessità seguendo un processo di sviluppo agile. 2

3 - Corso Introduzione alla specifica formale di sistemi critici per il dottorato di ricerca MITIMM, 10 ore: L'obiettivo del corso è ampliare le conoscenze di ingegneria del software relative alle metodologie di modellazione/specifica e analisi formale di sistemi software critici con l'ausilio del metodo formale Asbstrat State Machines. In particolare, attraverso l'uso pratico del toolset ASMETA, vengono illustrati casi di studio di specifica e prime forme di analisi formale di sistemi discreti e ad eventi. Anno accademico Corso di Sistemi Operativi (modulo di Informatica 2), docenza ed esercitazioni, 6 CFU - Corso di Informatica III B - Progettazione e algoritmi, docenza ed esercitazioni, 6 CFU Insegnamenti esterni Ha tenuto attività di tutorato online nell ambito dell insegnamento di Linguaggi di programmazione per la sicurezza (a.a , ) e Linguaggi di Programmazione ad Oggetti (a.a ), presso l Università degli Studi di Milano, per il CdL SSRI online Sicurezza dei Sistemi e delle Reti Informatiche. Tesi Relatore di 5 tesi specialistiche; Controrelatore di 4 tesi specialistiche; Correlatore di 1 tesi specialistica. Valutatore del report dello studente di Dottorato Carlos Laorden Gómez in visiting (autunno 2011) presso il nostro dipartimento DIIMM (referente Prof. Giuseppe Psaila) per lo sviluppo finale della tesi di Dottorato Semantic-aware unsolicited filtering with reduction of labelling efforts. Attività istituzionali e organizzative Consiglio di Facoltà Consiglio di Dipartimento Presidente seggio ELEZIONI DELLE APPRESENTANZE STUDENTESCHE BIENNIO Ha partecipato alle giornate di orientamento dell Università degli Studi di Bergamo per gli studenti delle scuole superiori - Open Day della Facoltà di Ingegneria negli anni a.a e Membro commissione per le elezioni del coordinatore del collegio didattico in Informatica (Ottobre 2009) Membro commissione d aula per il Test di orientamento CISIA (Settembre 2009) Membro commissione Vigilanza esami di stato (Settembre 2009) Membro commissione Vigilanza esami di stato Ingegnere - 1ª sessione

4 2. ATTIVITÀ SCIENTIFICA SVOLTA NEL TRIENNIO Partecipazione a progetti di ricerca nazionali ed internazionali Progetto europeo BRICS "Best practice in RobotICS", FP7 ICT Responsabile scientifico dell unità UniBG: Prof. Davide Brugali. PRIN 2007 D-ASAP: Architetture Software Adattabili e Affidabili per Sistemi Pervasivi. Coordinatore scientifico Prof. Carlo Ghezzi del Politecnico di MILANO. Collaborazioni scientifiche con enti di ricerca ed aziende Ha collaborato con le seguenti università e enti di ricerca: Milano e PoliMI, Pisa, e Simula Research Laboratory in Oslo (Norway). Ha collaborato con le ditte: ST Microelectronics AST R&I lab. di Agrate Brianza (MI); Opera21 SPA di Milano, e Atego SPA di Milano. Membro di comitati di programma di convegni e editorial board di riviste ifm&abz 2012: The 9th International Conference on Integrated Formal Methods and 3rd International Conference of Alloy, ASM, B, VDM, and Z Users 18-22, June 2012, CNR Research Area of Pisa, Italy -- Joint conference in honour of Egon Borger s 65th birthday EUROMICRO SEAA 2012: The 38th EUROMICRO Conference on Software Engineering and Advanced Applications, September 5-8, 2012 Cesme, Izmir, Turkey ICSEA 2012: The Seventh International Conference on Software Engineering Advances, November 18-23, Lisbon, Portugal. ICSEA 2011: The Sixth International Conference on Software Engineering Advances, October 23-28, Barcelona, Spain Eclipse-IT 2011: The Sixth Workshop of the Italian Eclipse Community, September 22-23, 201, University of Milano Bicocca, Italy Milano Italy Eclipse-IT 2010: The fifth Workshop of the Italian Eclipse Community, September 30th and October 1st, in the Savona University Campus Italy Eclipse-IT 2009: The fourth Workshop of the Italian Eclipse Community, September 2009 Università di Bergamo Italy Member of the Editorial Board of the IARIA International Journal On Advances in Software (da Gennaio 2012) Attività di revisione articoli per convegni/riviste internazionali IEEE Int. Conference on Software Testing, Verification and Validation (ICST 2011) IEEE ETFA conference on emerging technologies and factory automation (ETFA 2011) Formal Aspects of Computing Science ABZ Conference (ABZ ) 4

5 TOOLS EUROPE International Conference on Objects, Models, Components, Patterns IEEE Third Symposium on Industrial Embedded Systems (SIES 2008) ACM Transactions on Design Automation of Electronic Systems IEEE Transactions on Industrial Informatics (TII) Journal of Innovations in Systems and Software Engineering (ISSE) Journal of Systems Architecture (JSA) Transactions on Design Automation of Electronic Systems (TODAES) Journal of Automated Software Engineering (AUSE) Journal of Software and System Modeling (SoSyM) Journal of Software Engineering for Robotics Journal of Universal Computer Science (JUCS) International Journal of Web Engineering and Technology (IJWET) Journal of Zhejiang University Science C (Computers & Electronics) Descrizione dell attività di ricerca L a vità di ricerca è stata svolta principalmente nell area dell Ingegneria del software e dei Metodi Formali, sui temi: Integrazione di metodi semi-formali, come lo Unified Modeling Language (UML), e metodi formali per il design e l analisi (validazione e verifica) dei sistemi hardware e software; il metodo formale Abstract State Machines, Model-driven Enginering (MDE); Service-oriented Computing e service modeling, Software Adaptation; meta-modellazione e semantica dei linguaggi di modellazione di sistemi software; model-driven design di Sistemi embedded e System-on-Chip. Lo studio ha riguardato aspetti metodologici sia dal punto di vista teorico, sia dal punto di vista della progettazione e dell implementazione di strumenti software a supporto di tali metodologie, e della loro applicazione. Nello specifico, sono state affrontate le seguenti problematiche: 1. L approccio MDE a supporto dei metodi formali I metodi formali e le relative tecniche di analisi formale di correttezza e affidabilità dei sistemi sono ormai in uso da anni e la maturità industriale di molti di loro, tra cui il metodo ASM, è stata ampliamente dimostrata (si consulti, ad es., il sito Il loro uso è necessario, e in taluni casi reso obbligatorio da norme di legge o da vincoli contrattuali, per lo sviluppo di software safety-critical, cioè dalla cui correttezza dipende l'incolumità di vite umane, o la sicurezza di grandi impianti, o il riparo da rischi di grande danno economico. Tuttavia, l uso dei metodi formali richiede competenze relativamente complesse che incontrano purtroppo le resistenze da parte dei software engineers; inoltre, è fortemente sentito il problema dell inter-operabilità dei tool di analisi, in genere lascamente accoppiati perché sviluppati da gruppi separati o da singoli individui, a supporto di tali metodi, e dell integrazione dei metodi formali stessi. L approccio MDE suggerisce di riapplicare la meta-modellazione nell ambito dei metodi formali come tecnica di definizione di sintassi astratte di linguaggi, ovvero di definire meta-modelli per i metodi formali in modo da elevare (a livelli sintattici ) i linguaggi formali allo stesso piano a cui operano i moderni linguaggi semi-formali con lo scopo di permettere una effettiva integrazione 5

6 basata sulla nozione di mappatura tra metamodelli e, quindi, di disporre di bridge di trasformazione di modelli (ad es. un modello grafico UML) verso spazi tecnici formali in grado di supportare l analisi matematica richiesta. Lo studio di questi argomenti ha condotto a definire una metodologia che integra i principi e le tecniche di meta-modellazione e di trasformazione dell approccio MDE per definire la sintassi astratta dei linguaggi (specie se visuali) con il metodo formale ASM. Tale studio ha avuto come finalità applicare le tecniche di meta-modellazione al metodo ASM per definire una sorta di sintassi astratta (o metamodello), chiamato AsmM (Abstract State Machine Metamodel), di un linguaggio per editare modelli ASM, e per sviluppare un insieme integrato di tool -- ASMETA toolset (http://asmeta.sourceforge.net/) -- per la modellazione e l analisi (simulazione, validazione e verifica) di modelli ASM di sistemi software. Parte dei risultati di questa attività sono stati pubblicati in [1,2,7,8,24,26]. 2. Semantic prototyping per linguaggi definiti tramite meta-modelli Gli attuali framework di metamodellazione non forniscono ancora alcun supporto built-in per definire in maniera rigorosa la semantica dinamica (possibilmente eseguibile) dei linguaggi, la quale nella maggioranza dei casi viene specificata nel linguaggio naturale generando ambiguità. L attività di ricerca in questo ambito ha portato allo studio e alla definizione di un framework semantico formale per la definizone della semantica dinamica (operazionale) dei linguaggi basati su metamodelli. Sfruttando i principi di meta-modellazione dell MDE, sono state proposte diverse tecniche, alcune di natura translazionale altre basate su un approccio detto di weaving, che illustrano come il metodo formale ASM - il metamodello AsmM ed il tool set ASMETA - viene integrato con gli attuali framework di meta-modellazione per dotare i metamodelli dei linguaggi di una semantica precisa ed eseguibile. Parte dei risultati di questa attività sono stati pubblicati in [2,11,20,21,26,27,30]. 3. MDE e i metodi formali per il design e l analisi di sistemi embedded Continuando sulle tematiche che sono state obiettivo principale di un passato progetto di ricerca ( Tecniche e metodologie di PROGETTO, DOCUMENTAZIONE, VERIFICA e VALIDAZIONE per i sistemi di IP in collaborazione con STMicroelectronics) che aveva come primo obiettivo la definizione di un flusso automatico di design per sistemi embedded su chip (System-on-Chip), è stato definito un nuovo processo di design per sistemi embedded, chiamato UPES (Unified Process for Embedded Systems), migliorando l attuale flusso convenzionale. Tale metodologia prevede l impiego sinergico di linguaggi di modellazione cosiddetti lightweight, definiti come estensioni e/o profili dello standard UML ed usati come linguaggi system-level ad alto livello di astrazione, e di linguaggi di codifica system-level a più basso livello di astrazione come SystemC. UPSoC (Unified Process for System on-chip) è un sottoprocesso di UPES per il raffinamento della piattaforma hardware e si avvale dell ambiente di simulazione e debugging di SystemC per l esecuzione dei modelli. Sono stati sviluppati casi di studio di interesse industriale. Ulteriori estensioni di tale metodologia di design prevedono anche un nuovo flusso di analisi trasparente, come complemento al flusso principale di design, per la validazione e la verifica di proprietà critiche dei sistemi tramite il metodo formale ASM e il toolset ASMETA di analisi (simulation, scenario-based validation, model checking, model-based testing, etc.). I risultati di tale attività sono presentati in [3,6,9,10,23]. 6

7 Nell ambito del progetto europeo BRICS, su tematiche simili ma relative a sistemi di controllo per robot si sono prodotti i risultati [5,16,19]. Service-oriented computing e Service Modeling Negli ultimi anni il successo crescente di alcuni domini applicativi legati al Web, quali e-commerce, e-learning, e-business, ha indirizzato il mondo dell Information Technology verso architetture orientate ai servizi (Service Oriented Architecture, SOA) ed il service-oriented computing. Tali architetture forniscono metodi e tecnologie per la progettazione e lo sviluppo di applicazioni distribuite su diverse infrastrutture di rete. Tali applicazioni sono costituite da componenti, dette, appunto, servizi, con compiti ben definiti, autonome, eterogenee nella loro realizzazione e funzionamento interno, ma capaci di interagire fra loro tramite interfacce e protocolli comuni. Come per tutti i sistemi software potenzialmente complessi e di grandi dimensioni, la progettazione di applicazioni orientate ai servizi richiede l uso di una metodologia di sviluppo rigorosa, che accompagni tutte le fasi, dalla progettazione al rilascio. L approccio preso in considerazione in questa tesi consiste nel descrivere i servizi mediante un linguaggio di modellazione ad alto livello e, successivamente, analizzare i modelli ottenuti mediante tecniche formali, per poi procedere verso l implementazione vera e propria. In linea a tale direzione di ricerca, è stato definito un nuovo modello a componenti chiamato SCA-ASM basato sull integrazione del framework Service Component Architecture, per la modellazione ed esecuzione di architetture di componenti orientate ai servizi ed eterogenee, con il framework formale ASM, per modellare formalmente aspetti comportamentali dei servizi come interazioni, workflow (o orchestazione), compensazione e exception handling. E stato sviluppato un ambiente di supporto basato sulla piattaforma Eclipse Modeling Framework e diversi casi di studio. I primi risultati di questa attività sono pubblicati in [15,16,18,19]. Adattamento di sistemi software orientati ai servizi sulla base di requisiti funzionali e nonfunzionali I sistemi self-adaptive sono sistemi in grado di modificare il loro comportamento a tempo di esecuzione per rispondere ai cambiamenti che avvengono: nell'ambiente in cui è in esecuzione il sistema; nei requisiti utente (es. nuove funzionalità introdotte); nel sistema stesso (es. fallimento di una componente interna). L attività di questa linea di ricerca è in parte iniziata nell ambito del progetto PRIN 2007 D-ASAP. Essa consiste nello studio e nell applicazione di tecniche di ottimizzazione e di architetture software per supportare l adattamento (inteso sia come evoluzione in fase di design che come self-adaptation a run-time) di un applicazione orientata ai servizi guidato dal trade-off tra le qualità (ad es., l affidabilità) richieste per il sistema risultante dopo la fase di adattamento, il costo di adattamento (ad es., il costo da affrontare per integrare un nuovo servizio) ed i requisiti funzionali. Il processo di adattamento è basato sull uso combinato di tecniche di ricerca meta euristiche (ad es., tabu search) e soluzioni di design ricorrenti come design pattern architetturali e tattiche. Tale argomento di ricerca ha prodotto i risultati [14,17,28,29]. Adattamento di sistemi software su piattaforme Cloud Le più recenti innovazioni introdotte nel cloud computing stanno rendendo le applicazioni aziendali sempre più mobili, adattabili, collaborative e simili ad applicazioni consumer di ampia diffusione quali Facebook e Twitter. Gli utenti di queste applicazioni si aspettano di ricevere le 7

8 informazioni importanti in tempo reale e anche le applicazioni aziendali in the cloud stanno iniziando a muoversi in questa direzione. Recentemente, si sta investigando anche sul problema dell adattamento di applicazioni software distribuite su piattaforme cloud. In particolare, è stato condotta un analisi sulla correlazione tra la l allocazione dinamica delle risorse e l adattamento di un applicazione cloud-based considerando una collaborazione tra i tre layer SaaS, PaaS e IaaS di un cloud. I primi risultati di questa attività sono pubblicati in [12,13]. Pubblicazioni del triennio Vengono sotto elencate le pubblicazioni in ordine cronologico inverso. Sono stati pubblicati un totale di 30 lavori, di cui 7 articoli su rivista, 3 capitoli di libri, 3 technical report, 17 articoli in atti di convegni a livello internazionale di cui uno premiato come BEST PAPER. Oltre quelli già pubblicati, 5 lavori sono in attesa del risultato dei revisori scientifici. Riviste Internazionali (con peer review) 1. P. Arcaini, A. Gargantini, E. Riccobene, P. Scandurra. (2011) A model-driven process for engineering a tool set for a formal method. Journal SOFTWARE-PRACTICE & EXPERIENCE, ISSN: , Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra (2010). Combining Formal Methods and MDE Techniques for Model-driven System Design and Analysis. INTERNATIONAL JOURNAL ON ADVANCES IN SOFTWARE, ISSN: , n. 1-2, vol. 3, IARIA, pag. 1-18, Bocchio S, Lavazza, L, Mantellini L, Riccobene E, Rosti, A, Scandurra P. (2009). SystemC/Cbased Model-driven Design for Embedded Systems. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS (TECS), vol. 8(4), ISSN: , A. Gargantini, E. Riccobene, P. Scandurra. (2009). A semantic framework for metamodel-based languages. AUTOMATED SOFTWARE ENGINEERING (ASE), vol. 16(3-4); p , ISSN: , Brugali D., Scandurra P. (2009). Component-based Robotic Engineering. Part I: Reusable building blocks. IEEE ROBOTICS AND AUTOMATION MAGAZINE, vol. VOLUME 16, ISSUE 4; p , ISSN: , Riccobene E, Scandurra P. (2009). Model Transformations In The Upes/Upsoc Development Process For Embedded Systems. Innovations In Systems And Software Engineering - A NASA Journal, ISSN: , Gargantini A, Riccobene E, Scandurra P. (2008). A Language and a Simulation Engine for Abstract State Machines based on Metamodelling. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, vol. VOL. 14 NO. 12; p , ISSN: X,

9 Capitoli in libri scientifici internazionali (con peer review) 8. GARGANTINI A, RICCOBENE E, SCANDURRA P. (2009). Ten Reasons To Metamodel ASMs. In: J. R. Abrial And U. Glaesser. Rigorous Methods For Software Construction and Analysis. vol. LNCS 5115, p , Springer, ISBN/ISSN: GARGANTINI A, RICCOBENE E, SCANDURRA P. (2009). Model-driven design and ASM-based analysis of embedded systems. In: L. GOMES AND J. M. FERNANDES. Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation. IGI Global, ISBN/ISSN: , doi: / GARGANTINI A, RICCOBENE E, SCANDURRA P. (2009). Model-driven system validation by scenarios. In: Radetzki, Martin. Languages For Embedded Systems and their applications. vol. LNEE Vol. 36, SPRINGER, ISBN/ISSN: Conferenze/Workshop internazionali (con peer review) Patrizia Scandurra, Tao Yue, Andrea Arnoldi, Marco Dolci. Functional Requirements Validation by transforming Use Case Models into Abstract State Machines. In Proc. of the 27th Symposium On Applied Computing (SAC 2012), Requirements Engineering Track (RE-Track'12), Riva del Garda (Trento), Italy, March 26-30, To appear. 12. R. Capilla, R. Mirandola, P. Potena, C. Raibulet and P. Scandurra. Adapting cloud-based applications through a Coordinated and optimized resource allocation approach. The 2nd International Conference on Cloud Computing and Services Science, CLOSER To appear. 13. R. Capilla, R. Mirandola, P. Potena, C. Raibulet and P. Scandurra. A layered coordination framework for optimizing resource allocation in adapting cloud-based applications, Proc. of the the 27th Symposium On Applied Computing (SAC 2012). To appear Raffaela Mirandola, Pasqualina Potena, Patrizia Scandurra. An Optimization Process for Adaptation Space Exploration of Service-oriented Applications. In Proc. of the 6th IEEE International Symposium on Service-Oriented System Engineering (SOSE 2011). December 12-14, 2011, Irvine, CA, USA. 15. F. Albani, E. Riccobene, P. Scandurra. A modeling and executable language for designing and prototyping service-oriented applications. In Proc. of the 37th EUROMICRO Conference on 9

10 Software Engineering and Advanced Applications (SEAA 2011), 2011, Oulu, Finland, August 30- September 02, IEEE, ISBN: D. Brugali, L. Gherardi, E. Riccobene, P. Scandurra. A formal framework for coordinated simulation of heterogeneous service-oriented applications. In Proc. of the 8th International Symposium on Formal Aspects of Component Software (FACS 2011), Oslo, Norway, September 14-16, 2011, ISBN: Raffaela Mirandola, Pasqualina Potena, Elvinia Riccobene, Patrizia Scandurra. A framework for adapting service-oriented applications based on functional/extra-functional requirements tradeoffs. In Proc. of the 6th International Conference on Software Engineering Advances (ICSEA 2011), October 23-28, Barcelona, Spain, IARIA, ISBN: Fabio Albani, Elvinia Riccobene, Patrizia Scandurra. An Eclipse-based SCA design framework to support coordinated execution of services. In Proc. of the 6th Workshop of the Italian Eclipse Community (Eclipse-IT'2011), September 22-23, 201, University of Milano Bicocca, Italy Milano Italy, ISBN: D. Brugali, L. Gherardi and P. Scandurra. A Robotics Coordination Case Study. In SDIR VI - Whorkshop on Software Development and Integration in Robotics, IEEE/RAS International Conference on Robotics and Automation (ICRA 2011) - May 9, Shanghai, China RICCOBENE E, SCANDURRA P. (2010). An Executable Semantics of the SystemC UML Profile. In: Abstract State Machines, Alloy, B and Z (ABZ 2010). Orford, Québec, Canada, February 22-25, 2010, vol. LNCS 5977, p , ISBN/ISSN: , doi: / _7 21. RICCOBENE E, SCANDURRA P. (2010). Specifying formal executable behavioral models for structural models of service-oriented components. In: Proc. of the 4th International Workshop on Architectures, Concepts and Technologies for Service Oriented Computing - ACT4SOC 2010, in conjunction with ICSOFT 2010, Athens, Greece, July SciTePress 2010, ISBN Athens, Greece, 23 July, A. Gargantini, G. Salvaneschi, P. Scandurra On the downscaling of the Jazz platform: Experimenting the Jazz RTC platform in a teaching course. Eclipse-IT 2010, Proc. of the V Workshop of the Eclipse Italian Community. ISBN: M. Bombino, M. Hause, P. Scandurra. Heterogeneous systems co-simulation: a model-driven approach based on SysML State Machines and Simulink. First Workshop on Hands-on Platforms and tools for model-based engineering of Embedded Systems, HOPES 2010, Paris, France, June 15, 2010, in conjunction with ECMFA ARCAINI P, CARIONI A, GARGANTINI A, RICCOBENE E, SCANDURRA P. (2010). A model-driven process for engineering a tool set for a formal method. In: Workshop on Tool Building in Formal 10

11 Methods (WSTBFM 2010) -- at the 2nd International ABZ Conference. Orford, Quebec, Canada, 22 February RICCOBENE E, SCANDURRA P. (2010). An ASM-based executable formal model of service-oriented component interactions and orchestration. In: Workshop on Behavioural Modelling Foundations and Application (BM-FA 2010). Paris, France, June 2010, ACM DL, ISBN/ISSN: ANGELO GARGANTINI, ELVINIA RICCOBENE, SCANDURRA P. (2009). Integrating Formal Methods with Model-Driven Engineering. In: Fourth International Conference on Software Engineering Advances (ICSEA'09) Proc., September 20-25, 2009, PORTO: IEEE computer society, p , ISBN/ISSN: Best Paper Award 27. ELVINIA RICCOBENE, SCANDURRA P. (2009). Weaving executability into UML class models at PIM level. In: Proc. of First European Workshop on Behaviour Modelling in Model Driven Architecture (BMMDA'09). Enschede, June 23, 2009, ENSCHEDE: ACM, p , ISBN/ISSN: Technical report 28. Raffaela Mirandola, Pasqualina Potena, Patrizia Scandurra. An Optimization Process for Adaptation Space Exploration of Service-oriented Applications: the Stock Trading System case study. Department of Information Technology and Mathematical Methods, Working Paper Series Information Technology n. 3/IT Raffaela Mirandola, Pasqualina Potena, Patrizia Scandurra, Elvinia Riccobene. A framework for adapting service-oriented applications based on functional/extra-functional requirements tradeoffs: the Stock Trading System case study. Department of Information Technology and Mathematical Methods, Working Paper Series Information Technology n. 2/IT A. Gargantini, E. Riccobene, and P. Scandurra. Lemp: a language engineering model-driven process. Technical Report n.124, DTI Dept., University of Milan,2009. Lavori sottomessi In conferenze: Andrea Luzzana, Mattia Rossetti, Paolo Righettini and Patrizia Scandurra Modeling synchronization/communication patterns in Vision-Based Robot Control applications using ASMs. Raffaela Mirandola, Pasqualina Potena and Patrizia Scandurra. A reliability prediction method for Abstract State Machines. 11

12 In riviste: Massimo Bombino and Patrizia Scandurra. A model-driven co-simulation environment for heterogeneous systems. Elvinia Riccobene and Patrizia Scandurra. Design Automation for Embedded Systems Integrating the SysML and the SystemC-UML profiles in a model-driven embedded system design flow. Capitolo di libro: Arcaini P, Gargantini A, Riccobene E, Scandurra P Formal Semantics for Metamodel-Based Domain Specific Languages. 03/02/2012 (Firma) 12

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

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

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

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

Romina Eramo Phd. ...nothing is lost, nothing is created, everything is transformed. Antoine-Laurent de Lavoisier

Romina Eramo Phd. ...nothing is lost, nothing is created, everything is transformed. Antoine-Laurent de Lavoisier Romina Eramo Phd Dip. di Informatica, Università degli Studi dell Aquila via Vetoio, loc. Coppito, L Aquila (Italy) T +39 0862 433172 u +39 0862 433172 B romina.eramo@univaq.it r.eramo@gmail.com...nothing

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

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

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

La Visione Artificiale: Controllo di Qualità, Fotogrammetria e Realtà Virtuale

La Visione Artificiale: Controllo di Qualità, Fotogrammetria e Realtà Virtuale La Visione Artificiale: Controllo di Qualità, Fotogrammetria e Realtà Virtuale D. Prattichizzo G.L. Mariottini F. Moneti M. Orlandesi M. Fei M. de Pascale A. Formaglio F. Morbidi S. Mulatto SIRSLab Laboratorio

Dettagli

Trasport@ndo: l Osservatorio TPL on line.

Trasport@ndo: l Osservatorio TPL on line. Provincia di Cosenza Dipartimento di Economia e Statistica Università della Calabria Trasport@ndo: l Osservatorio TPL on line. Il trasporto pubblico locale della Provincia di Cosenza in rete - 1 - Premessa

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

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

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

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

CURRICULUM VITAE ET STUDIORUM. Cavarretta Giuseppe Alfredo Via R. Sanzio 48/A 0984 33768

CURRICULUM VITAE ET STUDIORUM. Cavarretta Giuseppe Alfredo Via R. Sanzio 48/A 0984 33768 CURRICULUM VITAE ET STUDIORUM Cavarretta Giuseppe Alfredo Via R. Sanzio 48/A 0984 33768 DATI ANAGRAFICI Cavarretta Giuseppe Alfredo Nato a CROTONE (KR) il 16/02/1954 Residente a 87036 RENDE (CS) Via R.

Dettagli

PRISMA PIATTAFORME CLOUD INTEROPERABILI PER SMART-GOVERNMENT. Progetto PRISMA

PRISMA PIATTAFORME CLOUD INTEROPERABILI PER SMART-GOVERNMENT. Progetto PRISMA PIATTAFORME CLOUD INTEROPERABILI PER SMART-GOVERNMENT PRISMA Progetto PRISMA SMART CITIES AND COMMUNITIES AND SOCIAL INNOVATION Cloud Computing per smart technologies PIATTAFORME CLOUD INTEROPERABILI PER

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

Scheda descrittiva del programma. Open-DAI. ceduto in riuso. CSI-Piemonte in rappresentanza del Consorzio di progetto

Scheda descrittiva del programma. Open-DAI. ceduto in riuso. CSI-Piemonte in rappresentanza del Consorzio di progetto Scheda descrittiva del programma Open-DAI ceduto in riuso CSI-Piemonte in rappresentanza del Consorzio di progetto Agenzia per l Italia Digitale - Via Liszt 21-00144 Roma Pagina 1 di 19 1 SEZIONE 1 CONTESTO

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

email: vito.introna@uniroma2.it telefono: +39.0672597179 luogo: Dip. di Ing. Mecc., st. 2102/13 Sito internet personale: non disponibile

email: vito.introna@uniroma2.it telefono: +39.0672597179 luogo: Dip. di Ing. Mecc., st. 2102/13 Sito internet personale: non disponibile email: vito.introna@uniroma2.it telefono: +39.0672597179 luogo: Dip. di Ing. Mecc., st. 2102/13 Sito internet personale: non disponibile Orario di ricevimento studenti: su appuntamento via mail * foto

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

Executive Master in. Governance dei Progetti e dei Servizi IT GPSIT

Executive Master in. Governance dei Progetti e dei Servizi IT GPSIT Executive Master in Governance dei Progetti e dei Servizi IT GPSIT OBIETTIVI Il Master ha l obiettivo di formare executive e professional nella governance dei progetti e dei servizi IT, integrando quelle

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

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

Tecnologia personale per l autonomia di persone con disabilità nel calcolo del resto

Tecnologia personale per l autonomia di persone con disabilità nel calcolo del resto Tecnologia personale per l autonomia di persone con disabilità nel calcolo del resto Giovanni Dimauro 1, Marzia Marzo 2 1 Dipartimento di Informatica, Università degli Studi di Bari, dimauro@di.uniba.it

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

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

Università di Bergamo Facoltà di Ingegneria INGEGNERIA DEL SOFTWARE. Paolo Salvaneschi A2_3 V2.0. Processi. Scelta dei processi adeguati

Università di Bergamo Facoltà di Ingegneria INGEGNERIA DEL SOFTWARE. Paolo Salvaneschi A2_3 V2.0. Processi. Scelta dei processi adeguati Università di Bergamo Facoltà di Ingegneria INGEGNERIA DEL SOFTWARE Paolo Salvaneschi A2_3 V2.0 Processi Scelta dei processi adeguati Il contenuto del documento è liberamente utilizzabile dagli studenti,

Dettagli

UN AMBIENTE OPEN SOURCE PER LA GESTIONE DEL PODCASTING E UNA SUA APPLICAZIONE ALLA DIDATTICA

UN AMBIENTE OPEN SOURCE PER LA GESTIONE DEL PODCASTING E UNA SUA APPLICAZIONE ALLA DIDATTICA Alberto Betella, Marco Lazzari, "Un ambiente open source per la gestione del podcasting e una sua applicazione alla didattica", Didamatica 2007, Cesena, 10-12/5/2007 Abstract UN AMBIENTE OPEN SOURCE PER

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

Managed Services e Unified Communication & Collaboration: verso il paradigma del Cloud Computing

Managed Services e Unified Communication & Collaboration: verso il paradigma del Cloud Computing Managed Services e Unified Communication & Collaboration: verso il paradigma del Cloud Computing Claudio Chiarenza (General Manager and Chief Strategy Officer) Italtel, Italtel logo and imss (Italtel Multi-Service

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

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

RETI DI CALCOLATORI E APPLICAZIONI TELEMATICHE

RETI DI CALCOLATORI E APPLICAZIONI TELEMATICHE RETI DI CALCOLATORI E APPLICAZIONI TELEMATICHE Prof. PIER LUCA MONTESSORO Facoltà di Ingegneria Università degli Studi di Udine 1999 Pier Luca Montessoro (si veda la nota a pagina 2) 1 Nota di Copyright

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

B.P.S. Business Process Server ALLEGATO C10

B.P.S. Business Process Server ALLEGATO C10 B.P.S. Business Process Server ALLEGATO C10 REGIONE BASILICATA DIPARTIMENTO PRESIDENZA DELLA GIUNTA REGIONALE UFFICIO SISTEMA INFORMATIVO REGIONALE E STATISTICA Via V. Verrastro, n. 4 85100 Potenza tel

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

LA TECHNOLOGY TRANSFER PRESENTA SUZANNE ROBERTSON MASTERING THE REQUIREMENTS PROCESS COME COSTRUIRE IL SISTEMA CHE IL VOSTRO UTENTE DESIDERA

LA TECHNOLOGY TRANSFER PRESENTA SUZANNE ROBERTSON MASTERING THE REQUIREMENTS PROCESS COME COSTRUIRE IL SISTEMA CHE IL VOSTRO UTENTE DESIDERA LA TECHNOLOGY TRANSFER PRESENTA SUZANNE ROBERTSON MASTERING THE REQUIREMENTS PROCESS COME COSTRUIRE IL SISTEMA CHE IL VOSTRO UTENTE DESIDERA ROMA 20-22 OTTOBRE 2014 RESIDENZA DI RIPETTA - VIA DI RIPETTA,

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

nel mondo delle professioni e della salute

nel mondo delle professioni e della salute Una Aggiornamento storia che e si formazione rinnova nel mondo delle professioni e della salute una rete di professionisti, la forza dell esperienza, l impegno nell educazione, tecnologie che comunicano.

Dettagli

COME FRODE. la possibilità propri dati. brevissimo. Reply www.reply.eu

COME FRODE. la possibilità propri dati. brevissimo. Reply www.reply.eu FRAUD MANAGEMENT. COME IDENTIFICARE E COMB BATTERE FRODI PRIMA CHE ACCADANO LE Con una visione sia sui processi di business, sia sui sistemi, Reply è pronta ad offrire soluzioni innovative di Fraud Management,

Dettagli

UNO SGUARDO DA QUALE MENTE? LA PROSPETTIVA NEUROETICA Incontri su Neuroscienze e Società, VI Edizione

UNO SGUARDO DA QUALE MENTE? LA PROSPETTIVA NEUROETICA Incontri su Neuroscienze e Società, VI Edizione Convegno Scientifico Internazionale di Neuroetica e I Congresso della Società Italiana di Neuroetica - SINe UNO SGUARDO DA QUALE MENTE? LA PROSPETTIVA NEUROETICA Incontri su Neuroscienze e Società, VI

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

THUN con ARIS: dall'ottimizzazione dei processi verso l enterprise SOA

THUN con ARIS: dall'ottimizzazione dei processi verso l enterprise SOA SAP World Tour 2007 - Milano 11-12 Luglio 2007 THUN con ARIS: dall'ottimizzazione dei processi verso l enterprise SOA Agenda Presentazione Derga Consulting Enterprise SOA Allineamento Processi & IT Il

Dettagli

Business Process Modeling and Notation e WebML

Business Process Modeling and Notation e WebML Business Process Modeling and Notation e WebML 24 Introduzione I Web Service e BPMN sono standard de facto per l interoperabilità in rete a servizio delle imprese moderne I Web Service sono utilizzati

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

IT Service Management

IT Service Management IT Service Management L'importanza dell'analisi dei processi nelle grandi e medie realtà italiane Evento Business Strategy 2.0 Firenze 25 settembre 2012 Giovanni Sadun Agenda ITSM: Contesto di riferimento

Dettagli

STS. Profilo della società

STS. Profilo della società STS Profilo della società STS, Your ICT Partner Con un solido background accademico, regolari confronti con il mondo della ricerca ed esperienza sia nel settore pubblico che privato, STS è da oltre 20

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

Webinar. Il Cloud computing tra diritto e tecnologia

Webinar. Il Cloud computing tra diritto e tecnologia DATA: 14 giugno ore 15 16 LOCATION: Internet (online) Organizzazione: Centro Europeo per la Privacy - EPCE Webinar Il Cloud computing tra diritto e tecnologia Abstract Il ciclo di due web conference sul

Dettagli

MS OFFICE COMMUNICATIONS SERVER 2007 IMPLEMENTING AND MAINTAINING AUDIO/VISUAL CONFERENCING AND WEB CONFERENCING

MS OFFICE COMMUNICATIONS SERVER 2007 IMPLEMENTING AND MAINTAINING AUDIO/VISUAL CONFERENCING AND WEB CONFERENCING MS OFFICE COMMUNICATIONS SERVER 2007 IMPLEMENTING AND MAINTAINING AUDIO/VISUAL CONFERENCING AND WEB CONFERENCING UN BUON MOTIVO PER [cod. E603] L obiettivo del corso è fornire le competenze e conoscenze

Dettagli

IT Service Management, le best practice per la gestione dei servizi

IT Service Management, le best practice per la gestione dei servizi Il Framework ITIL e gli Standard di PMI : : possibili sinergie Milano, Venerdì, 11 Luglio 2008 IT Service Management, le best practice per la gestione dei servizi Maxime Sottini Slide 1 Agenda Introduzione

Dettagli

di4g: Uno strumento di clustering per l analisi integrata di dati geologici

di4g: Uno strumento di clustering per l analisi integrata di dati geologici di4g: Uno strumento di clustering per l analisi integrata di dati geologici Alice Piva 1, Giacomo Gamberoni 1, Denis Ferraretti 1, Evelina Lamma 2 1 intelliware snc, via J.F.Kennedy 15, 44122 Ferrara,

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

Ricognizione di alcune Best Practice

Ricognizione di alcune Best Practice Linee guida sulla qualità dei beni e dei servizi ICT per la definizione ed il governo dei contratti della Pubblica Amministrazione Manuale di riferimento Ricognizione di alcune Best Practice applicabili

Dettagli

IBM UrbanCode Deploy Live Demo

IBM UrbanCode Deploy Live Demo Dal 1986, ogni giorno qualcosa di nuovo Marco Casu IBM UrbanCode Deploy Live Demo La soluzione IBM Rational per il Deployment Automatizzato del software 2014 www.gruppoconsoft.com Azienda Nata a Torino

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

Corso di Specializzazione IT SERVICE MANAGEMENT

Corso di Specializzazione IT SERVICE MANAGEMENT Corso di Specializzazione IT SERVICE MANAGEMENT Con esame ufficiale di certificazione ITIL V3 Foundation INTRODUZIONE Un numero crescente di organizzazioni appartenenti ai più diversi settori produttivi

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

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

PASSIONE PER L IT PROLAN. network solutions

PASSIONE PER L IT PROLAN. network solutions PASSIONE PER L IT PROLAN network solutions CHI SIAMO Aree di intervento PROFILO AZIENDALE Prolan Network Solutions nasce a Roma nel 2004 dall incontro di professionisti uniti da un valore comune: la passione

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

REAL WORLD AND VIRTUAL WORLD ARCHITECTURE FOR INTERCONN INTERCONNECTING FIRST AND SECOND LIFE

REAL WORLD AND VIRTUAL WORLD ARCHITECTURE FOR INTERCONN INTERCONNECTING FIRST AND SECOND LIFE REAL WORLD AND VIRTUAL WORLD ARCHITECTURE FOR INTERCONNECTING FIRST AND SECOND LIFE Università degli studi di Catania Facoltà di Ingegneria 26 Gennaio 2009 Sommario 1 Introduzione 2 Middleware Middleware:

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

LINEE GUIDA per la compilazione della Scheda Unica Annuale della Ricerca Dipartimentale (SUA-RD)

LINEE GUIDA per la compilazione della Scheda Unica Annuale della Ricerca Dipartimentale (SUA-RD) LINEE GUIDA per la compilazione della Scheda Unica Annuale della Ricerca Dipartimentale (SUA-RD) Indice 1. Le basi normative e aspetti generali 2. Parte I: obiettivi, risorse e gestione del Dipartimento

Dettagli

Industria 2015 Bando Mobilità Sostenibile Progetto MS01-00027 SIFEG - Sistema Integrato trasporto merci FErro-Gomma

Industria 2015 Bando Mobilità Sostenibile Progetto MS01-00027 SIFEG - Sistema Integrato trasporto merci FErro-Gomma Industria 2015 Bando Mobilità Sostenibile Progetto MS01-00027 SIFEG - Sistema Integrato trasporto merci FErro-Gomma Ing. Gaetano Trotta Responsabile Unico di Progetto Nata nel 1978, è una Società di Ingegneria

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

Corso Base ITIL V3 2008

Corso Base ITIL V3 2008 Corso Base ITIL V3 2008 PROXYMA Contrà San Silvestro, 14 36100 Vicenza Tel. 0444 544522 Fax 0444 234400 Email: proxyma@proxyma.it L informazione come risorsa strategica Nelle aziende moderne l informazione

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

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

Parere in ordine all attivazione per l a.a. 2010/2011 dei corsi di studio istituiti ex DM 270/2004

Parere in ordine all attivazione per l a.a. 2010/2011 dei corsi di studio istituiti ex DM 270/2004 Parere in ordine all attivazione per l a.a. 2010/2011 dei corsi di studio istituiti ex DM 270/2004 - MAGGIO 2010 - DOC 05/10 Il NdV ha esaminato le caratteristiche dei corsi di studio istituiti sulla base

Dettagli

MASTER UNIVERSITARIO IN MANAGEMENT DELLE ISTITUZIONI SCOLASTICHE E FORMATIVE

MASTER UNIVERSITARIO IN MANAGEMENT DELLE ISTITUZIONI SCOLASTICHE E FORMATIVE MASTER UNIVERSITARIO IN MANAGEMENT DELLE ISTITUZIONI SCOLASTICHE E FORMATIVE Master MES - Management of Education and School 4 a EDIZIONE APRILE 2015 - NOVEMBRE 2016 partner MASTER UNIVERSITARIO IN MANAGEMENT

Dettagli

Computer Mediated Communication (CMC) e Second Life

Computer Mediated Communication (CMC) e Second Life Form@re, ISSN 1825-7321 Edizioni Erickson, www.erickson.it Questo articolo è ripubblicato per gentile concessione della casa editrice Edizioni Erickson. Computer Mediated Communication (CMC) e Second Life

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

Informatica Applicata

Informatica Applicata Ing. Irina Trubitsyna Concetti Introduttivi Programma del corso Obiettivi: Il corso di illustra i principi fondamentali della programmazione con riferimento al linguaggio C. In particolare privilegia gli

Dettagli

LE NOVITÀ DELL EDIZIONE 2011 DELLO STANDARD ISO/IEC 20000-1 E LE CORRELAZIONI CON IL FRAMEWORK ITIL

LE NOVITÀ DELL EDIZIONE 2011 DELLO STANDARD ISO/IEC 20000-1 E LE CORRELAZIONI CON IL FRAMEWORK ITIL Care Colleghe, Cari Colleghi, prosegue la nuova serie di Newsletter legata agli Schemi di Certificazione di AICQ SICEV. Questa volta la pillola formativa si riferisce alle novità dell edizione 2011 dello

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

per le valutazioni pre-attivazione dei Corsi di Studio in modalità telematica da parte delle Commissione di Esperti della Valutazione Linee Guida

per le valutazioni pre-attivazione dei Corsi di Studio in modalità telematica da parte delle Commissione di Esperti della Valutazione Linee Guida LINEE GUIDA per le valutazioni pre-attivazione dei Corsi di Studio in modalità telematica da parte delle Commissione di Esperti della Valutazione (CEV) ai sensi dell art. 4, comma 4 del Decreto Ministeriale

Dettagli

rischi del cloud computing

rischi del cloud computing rischi del cloud computing maurizio pizzonia dipartimento di informatica e automazione università degli studi roma tre 1 due tipologie di rischi rischi legati alla sicurezza informatica vulnerabilità affidabilità

Dettagli

CMMI-Dev V1.3. Capability Maturity Model Integration for Software Development, Version 1.3. Roma, 2012 Ercole Colonese

CMMI-Dev V1.3. Capability Maturity Model Integration for Software Development, Version 1.3. Roma, 2012 Ercole Colonese CMMI-Dev V1.3 Capability Maturity Model Integration for Software Development, Version 1.3 Roma, 2012 Agenda Che cos è il CMMI Costellazione di modelli Approccio staged e continuous Aree di processo Goals

Dettagli

CORPORATE OVERVIEW. www.akhela.com

CORPORATE OVERVIEW. www.akhela.com CORPORATE OVERVIEW www.akhela.com BRIDGE THE GAP CORPORATE OVERVIEW Bridge the gap Akhela è un azienda IT innovativa che offre al mercato servizi e soluzioni Cloud Based che aiutano le aziende a colmare

Dettagli

IL RUOLO E LE COMPETENZE DEL SERVICE MANAGER

IL RUOLO E LE COMPETENZE DEL SERVICE MANAGER IL RUOLO E LE COMPETENZE DEL SERVICE MANAGER Alessio Cuppari Presidente itsmf Italia itsmf International 6000 Aziende - 40000 Individui itsmf Italia Comunità di Soci Base di conoscenze e di risorse Forum

Dettagli

Pronti per la Voluntary Disclosure?

Pronti per la Voluntary Disclosure? Best Vision GROUP The Swiss hub in the financial business network Pronti per la Voluntary Disclosure? Hotel de la Paix, 21 aprile 2015, ore 18:00 Hotel Lugano Dante, 22 aprile 2015, ore 17:00 Best Vision

Dettagli

IT Service Management

IT Service Management IT Service Management ITIL: I concetti chiave ed il livello di adozione nelle aziende italiane Matteo De Angelis, itsmf Italia (I) 1 Chi è itsmf italia 12 th May 2011 - Bolzano itsmf (IT Service Management

Dettagli

Master Universitario di I livello

Master Universitario di I livello Master Universitario di I livello In Obiettivi e sbocchi professionali: Il nostro obiettivo è quello di fornire ai partecipanti, gli strumenti adatti per gestire con efficacia progetti nel settore delle

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

Piazza delle Imprese alimentari. Viale delle Manifatture. Via della Produzione

Piazza delle Imprese alimentari. Viale delle Manifatture. Via della Produzione Piazza delle Imprese alimentari Viale delle Manifatture Via della Produzione PASSEPARTOUT MEXAL è una soluzione gestionale potente e completa per le imprese che necessitano di un prodotto estremamente

Dettagli

Villa Favorita via Zuccarini 15 60131 Ancona tel. 071 2137011 fax 071 2901017 fax 071 2900953 informa@istao.it www.istao.it

Villa Favorita via Zuccarini 15 60131 Ancona tel. 071 2137011 fax 071 2901017 fax 071 2900953 informa@istao.it www.istao.it Master in 2013 10a edizione 18 febbraio 2013 MANAGEMENT internazionale Villa Favorita via Zuccarini 15 60131 Ancona tel. 071 2137011 fax 071 2901017 fax 071 2900953 informa@istao.it www.istao.it Durata

Dettagli

PMI. Management Maturity Model, OPM3 Second Edition 2008

PMI. Management Maturity Model, OPM3 Second Edition 2008 Nuovi standard PMI, certificazioni professionali e non solo Milano, 20 marzo 2009 PMI Organizational Project Management Maturity Model, OPM3 Second Edition 2008 Andrea Caccamese, PMP Prince2 Practitioner

Dettagli

SOA GOVERNANCE: WHAT DOES IT MEAN? Giorgio Marras

SOA GOVERNANCE: WHAT DOES IT MEAN? Giorgio Marras SOA GOVERNANCE: WHAT DOES IT MEAN? Giorgio Marras 2 Introduzione Le architetture basate sui servizi (SOA) stanno rapidamente diventando lo standard de facto per lo sviluppo delle applicazioni aziendali.

Dettagli

Completezza funzionale KEY FACTORS Qualità del dato Semplicità d'uso e controllo Tecnologie all avanguardia e stabilità Integrabilità

Completezza funzionale KEY FACTORS Qualità del dato Semplicità d'uso e controllo Tecnologie all avanguardia e stabilità Integrabilità Armundia Group è un azienda specializzata nella progettazione e fornitura di soluzioni software e consulenza specialistica per i settori dell ICT bancario, finanziario ed assicurativo. Presente in Italia

Dettagli

DIRETTORE UOC SIA (Sistema Informativo Aziendale) Numero telefonico dell ufficio 07346252922 Fax dell Ufficio 07346252811 E-mail istituzionale

DIRETTORE UOC SIA (Sistema Informativo Aziendale) Numero telefonico dell ufficio 07346252922 Fax dell Ufficio 07346252811 E-mail istituzionale INFORMAZIONI PERSONALI Cognome Nome INTORBIDA STEFANO Data di Nascita 15/01/1962 Qualifica Dirigente Ingegnere Amministrazione ASUR - AREA VASTA N. 4 Incarico attuale DIRETTORE UOC SIA (Sistema Informativo

Dettagli

La rilevazione del radon e del toron con strumenti attivi ad elevata risoluzione

La rilevazione del radon e del toron con strumenti attivi ad elevata risoluzione La rilevazione del radon e del toron con strumenti attivi ad elevata risoluzione 1 Carlo Sabbarese Gruppo di ricerca: R. Buompane, F. De Cicco, V. Mastrominico, A. D Onofrio 1 L attività di ricerca è svolta

Dettagli

IL PROGETTO MINDSH@RE

IL PROGETTO MINDSH@RE IL PROGETTO MINDSH@RE Gruppo Finmeccanica Attilio Di Giovanni V.P.Technology Innovation & IP Mngt L'innovazione e la Ricerca sono due dei punti di eccellenza di Finmeccanica. Lo scorso anno il Gruppo ha

Dettagli

Knowlab Un Sistema Computerizzato per la Valutazione Adattiva della Conoscenza e dell'apprendimento

Knowlab Un Sistema Computerizzato per la Valutazione Adattiva della Conoscenza e dell'apprendimento Knowlab Un Sistema Computerizzato per la Valutazione Adattiva della Conoscenza e dell'apprendimento Debora de Chiusole PhD Candidate deboratn@libero.it Università degli Studi di Padova Dipartimento FISPPA

Dettagli

Watt e Voltampere: facciamo chiarezza

Watt e Voltampere: facciamo chiarezza Watt e Voltampere: facciamo chiarezza White Paper n. 15 Revisione 1 di Neil Rasmussen > Sintesi Questa nota spiega le differenze tra Watt e VA e illustra l uso corretto e non dei termini utilizzati per

Dettagli

DECRETA. ART. 1 Caratteristiche del Master

DECRETA. ART. 1 Caratteristiche del Master Il Rettore Decreto Rep. n 1115 Prot. n 8165 Data 23.04.2009 Titolo III Classe V UOR Post Laurea - Master VISTO lo Statuto del Politecnico di Milano; VISTO il D.M. 3.11.1999, n.509; VISTO Il D.M. 22.10.2004,

Dettagli

SUA-RD. Presidio Qualità Ateneo Università di Ferrara. 8 Gennaio 2015 Presidio Qualità Ateneo 1

SUA-RD. Presidio Qualità Ateneo Università di Ferrara. 8 Gennaio 2015 Presidio Qualità Ateneo 1 SUA-RD Presidio Qualità Ateneo Università di Ferrara 8 Gennaio 2015 Presidio Qualità Ateneo 1 Finalità della presentazione Questa presentazione ha lo scopo di esaminare le modalità di compilazione della

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