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

UniMI/UniBG. Angelo Gargantini, Patrizia Scandurra Dip. di Ing. dell Informazione e Metodi matematici Università di Bergamo

UniMI/UniBG. Angelo Gargantini, Patrizia Scandurra Dip. di Ing. dell Informazione e Metodi matematici Università di Bergamo UniMI/UniBG Elvinia Riccobene, Chiara Braghin, Paolo Arcaini Dipartimento di Tecnologie dell Informazione Università degli Studi di Milano Angelo Gargantini, Patrizia Scandurra Dip. di Ing. dell Informazione

Dettagli

Informazioni personali. Introduzione. Istruzione e formazione

Informazioni personali. Introduzione. Istruzione e formazione Informazioni personali Cognome/i nome/i Indirizzo/i Via delle Ubiere 9/a - 24046, Osio Sotto (BG) - Italia Telefono/i +39 035 881488 Mobile: +39 333 8396279 Email luca.gherardi@unibg.it, lucaghera8@gmail.com

Dettagli

Domenico Soldo Ingegnere

Domenico Soldo Ingegnere Curriculum VITÆ Novembre 2010 Domenico Soldo Dati personali Nome Cognome Data di nascita Indirizzo abitazione E-mail P. IVA Domenico Soldo 21/03/1983 Viale Liguria, 60, 74121, Taranto, Italy d.soldo@aeflab.net

Dettagli

Presentazione del Corso di Progettazione di Sistemi Embedded

Presentazione del Corso di Progettazione di Sistemi Embedded Presentazione del Corso di Progettazione di Sistemi Embedded Franco Fummi University of Verona Department of Computer Science Italy Laurea Magistrale in Ingegneria e Scienze Informatiche Embedded Systems

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

Paolo Perlasca. Istruzione e formazione. Esperienza professionale. Attività di ricerca. Attività didattica

Paolo Perlasca. Istruzione e formazione. Esperienza professionale. Attività di ricerca. Attività didattica Paolo Perlasca Dipartimento di Informatica, Indirizzo: via Comelico 39/41, 20135 Milano Telefono: 02-503-16322 Email: paolo.perlasca@unimi.it Paolo Perlasca è ricercatore universitario confermato presso

Dettagli

Punto della Situazione. Dipartimento di Informatica e Comunicazione Università degli Studi di Milano e-mail: cazzola@dico.unimi.it

Punto della Situazione. Dipartimento di Informatica e Comunicazione Università degli Studi di Milano e-mail: cazzola@dico.unimi.it Punto della Situazione Dipartimento di Informatica e Comunicazione Università degli Studi di e-mail: cazzola@dico.unimi.it Slide 1 of 8 EOS-DUE: Informazioni Generali. L (responsabile), Lorenzo Capra e

Dettagli

Metodologie di progetto hardware/software

Metodologie di progetto hardware/software Metodologie di progetto hardware/software Prof. Cristina SILVANO Politecnico di Milano Dipartimento di Elettronica e Informazione P.za L. Da Vinci 32, I-20133 Milano (Italy) Ph.: +39-02-2399-3692 e-mail:

Dettagli

Sistemi elettronici per la sicurezza dei veicoli: presente e futuro. Il ruolo della norma ISO 26262 per la Sicurezza Funzionale

Sistemi elettronici per la sicurezza dei veicoli: presente e futuro. Il ruolo della norma ISO 26262 per la Sicurezza Funzionale La Sicurezza Funzionale del Software Prof. Riccardo Sisto Ordinario di Sistemi di Elaborazione delle Informazioni Dipartimento di Automatica e Informatica Sicurezza Funzionale del Vari Aspetti Sicurezza

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 BARUZZO ANDREA Telefono +39 0432 558435 Cell. +3393955753 Fax +39 0432 558499 Homepage http://users.dimi.uniud.it/~andrea.baruzzo/

Dettagli

Analytical and simulation performance models for software system analysis and prediction

Analytical and simulation performance models for software system analysis and prediction Performance Evaluation of Complex Systems: Techniques, Methodologies and Tools Analytical and simulation performance models for software system analysis and prediction S. Balsamo, M. Marzolla, M. Simeoni

Dettagli

Curriculum Vitae di Andrea Ribichini

Curriculum Vitae di Andrea Ribichini Dati Anagrafici Nome: Andrea Cognome: Ribichini Data e luogo di nascita: 14/01/1973, Roma Cittadinanza: italiana Titoli di Studio Conseguiti 29/02/2008 Titolo di Dottore di Ricerca in Ingegneria Informatica

Dettagli

Ing. Emanuela Guerriero Curriculum didattico scientifico

Ing. Emanuela Guerriero Curriculum didattico scientifico Ing. Emanuela Guerriero Curriculum didattico scientifico Curriculum vitae et studiorum Nata a Lecce il 03/08/1972; 1999 Laurea in Ingegneria Informatica, conseguita il 19/07/1999, presso l Università degli

Dettagli

CURRICULUM VITAE INFORMAZIONI PERSONALI RITROVATO PIERLUIGI ESPERIENZA LAVORATIVA

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

Dettagli

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

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

Dettagli

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

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

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

Dettagli

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

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

Dettagli

INGEGNERIA DEL SOFTWARE. Prof. Paolo Salvaneschi

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

Dettagli

Semantica dei Giochi

Semantica dei Giochi Corso di Laurea Specialistica in Informatica Semantica dei Giochi A.A. 2005-2006 Docenti: Claudia Faggian e Pierre-Louis Curien (CNRS - Paris 7) SEMANTICA... Qual e' il senso [l'essenziale] di un programma?

Dettagli

Curriculum dell attività scientifica e professionale di Marina Popolizio

Curriculum dell attività scientifica e professionale di Marina Popolizio Curriculum dell attività scientifica e professionale di Marina Popolizio Titoli di Studio - Dottorato di Ricerca in Matematica conseguito presso l Università degli Studi di Bari in data 28-03-2008. Titolo

Dettagli

Metodologie di progettazione

Metodologie di progettazione Metodologie di progettazione 1 Metodologie di progettazione Una procedura per progettare un sistema Il flusso di progettazione può essere parzialmente o totalmente automatizzato. Un insieme di tool possono

Dettagli

Verifica del codice con Interpretazione Astratta

Verifica del codice con Interpretazione Astratta Verifica del codice con Interpretazione Astratta Daniele Grasso grasso@dsi.unifi.it grasso.dan@gmail.com Università di Firenze, D.S.I., Firenze, Italy December 15, 2009 D.Grasso (Università di Firenze)

Dettagli

CURRICULUM VITAE di GRANATA GIUSEPPE

CURRICULUM VITAE di GRANATA GIUSEPPE CURRICULUM VITAE di GRANATA GIUSEPPE Professore a contratto di Marketing Relazionale a.a. 2015-16 Dipartimento Lettere e Filosofia Uniclam TITOLI: - Dottore di ricerca in Economia indirizzo Direziona aziendale

Dettagli

Gli strumenti di simulazione per lo sviluppo di sistemi elettronici automotive

Gli strumenti di simulazione per lo sviluppo di sistemi elettronici automotive 18 aprile 2012 Gli strumenti di simulazione per lo sviluppo di sistemi elettronici automotive Andrea Delmastro R&D Manager La normativa ISO 26262 Road vehicles Functional Safety Soddisfare esigenze per

Dettagli

CURRICULUM'VITAE'ET'STUDIORUM''/'PROF.'ING.'VINCENZO'GALDI'

CURRICULUM'VITAE'ET'STUDIORUM''/'PROF.'ING.'VINCENZO'GALDI' CURRICULUM'VITAE'ET'STUDIORUM''/'PROF.'ING.'VINCENZO'GALDI' VincenzoGaldi,ènatoaSalerno,doverisiede,il03Marzo1967.ÈsposatoconMariaRosaria. Formazione' Nel 1994 ha conseguito con Lode la laurea in Ingegneria

Dettagli

Dati anagrafici. Formazione. Collaborazioni con enti pubblici. Luogo e data di nascita Lovere (BG), 03/03/1975 Via Nascimbene, 24-27100, Pavia

Dati anagrafici. Formazione. Collaborazioni con enti pubblici. Luogo e data di nascita Lovere (BG), 03/03/1975 Via Nascimbene, 24-27100, Pavia Dati anagrafici Nome e Cognome Tullio Facchinetti Luogo e data di nascita Lovere (BG), 03/03/1975 Residenza Via Nascimbene, 24-27100, Pavia Nazionalità Italiana Stato civile Coniugato Servizio di leva

Dettagli

Arch. Davide Borra Presidente MIMOS

Arch. Davide Borra Presidente MIMOS 3 3 3 Arch. Davide Borra Presidente MIMOS presentazione generale 2010 www.mimos.it - info@mimos.it breve storia 1 Incontro informale, 23 Febbraio 2000, Torino 2 Work-shop SIREN, 3 Maggio 2000 Savona 3

Dettagli

Curriculum Vitae Scientifico

Curriculum Vitae Scientifico Curriculum Vitae Scientifico Marco Berardi Nome: Marco; cognome: Berardi; data di nascita: 11 settembre 1980; cittadinanza: italiana; stato civile: coniugato; uff.: Ricerche. stanza 60a, I piano, Istituto

Dettagli

Fabio Raciti. Curriculum vitae et studiorum

Fabio Raciti. Curriculum vitae et studiorum Fabio Raciti. Curriculum vitae et studiorum Indice 1. Campi di ricerca 2 2. Titoli di studio, corsi di perfezionamento, borse di studio e posizione professionale 2 3. Attività didattica 3 4. Attività di

Dettagli

RELAZIONE ANNUALE CONSUNTIVA

RELAZIONE ANNUALE CONSUNTIVA RELAZIONE ANNUALE CONSUNTIVA PROGRAMMA DI RICERCA SETTORE Legge 449/97 SETTORE: Strumenti, Ambienti e Applicazioni per la Società dell Informazione PROGETTO: SP1 Reti Internet: efficienza, integrazione

Dettagli

The approach to the application security in the cloud space

The approach to the application security in the cloud space Service Line The approach to the application security in the cloud space Manuel Allara CISSP CSSLP Roma 28 Ottobre 2010 Copyright 2010 Accenture All Rights Reserved. Accenture, its logo, and High Performance

Dettagli

CURRICULUM SCIENTIFICO E DIDATTICO

CURRICULUM SCIENTIFICO E DIDATTICO CURRICULUM SCIENTIFICO E DIDATTICO INFORMAZIONI PERSONALI Cognome e Nome: MAZZU SEBASTIANO E-mail: s.mazzu@unict.it Nazionalità: ITALIANA Data e luogo di nascita: 27/11/1967 - BARCELLONA POZZO DI GOTTO

Dettagli

CURRICULUM VITAE ET STUDIORUM CIRIACO CIRO PASQUALE. Luglio 2009

CURRICULUM VITAE ET STUDIORUM CIRIACO CIRO PASQUALE. Luglio 2009 CURRICULUM VITAE ET STUDIORUM DI CIRIACO CIRO PASQUALE Luglio 2009 INDICE 1. DATI ANAGRAFICI, FORMAZIONE E STATO DI SERVIZIO 2. ATTIVITÀ DI RICERCA 3. ATTIVITÀ DIDATTICHE 4. PUBBLICAZIONI 5. ATTIVITÀ ORGANIZZATIVE

Dettagli

Corso di Applicazioni Telematiche

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

Dettagli

Introduzione al corso

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

Dettagli

Servizi Web in Registri Distribuiti Luciano Baresi 1, Debora Desideri 2, Matteo Melideo 2, Alberto Sillitti 3, Giancarlo Succi 3

Servizi Web in Registri Distribuiti Luciano Baresi 1, Debora Desideri 2, Matteo Melideo 2, Alberto Sillitti 3, Giancarlo Succi 3 Servizi Web in Registri Distribuiti Luciano Baresi 1, Debora Desideri 2, Matteo Melideo 2, Alberto Sillitti 3, Giancarlo Succi 3 1 Politecnico di Milano 2 Engineering Ingegneria Informatica 3 Libera Università

Dettagli

POLITECNICO DI TORINO. Un università internazionale per il territorio

POLITECNICO DI TORINO. Un università internazionale per il territorio POLITECNICO DI TORINO Un università internazionale per il territorio I valori Leader nella cultura politecnica Nazionale ed Internazionale Reputazione Eccellenza nell istruzione superiore e la formazione

Dettagli

Presentazione del programma, dei risultati conseguiti e delle proposte per il prossimo triennio Workshop ISW, FinMeccanica, Roma 7 maggio 2009

Presentazione del programma, dei risultati conseguiti e delle proposte per il prossimo triennio Workshop ISW, FinMeccanica, Roma 7 maggio 2009 Il Laboratorio DISI/ElsagDatamat Presentazione del programma, dei risultati conseguiti e delle proposte per il prossimo triennio Workshop ISW, FinMeccanica, Roma 7 maggio 2009 Obiettivi della ricerca Linee

Dettagli

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

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

Dettagli

Modellistica Medica. Maria Grazia Pia INFN Genova. Scuola di Specializzazione in Fisica Sanitaria Genova Anno Accademico 2002-2003

Modellistica Medica. Maria Grazia Pia INFN Genova. Scuola di Specializzazione in Fisica Sanitaria Genova Anno Accademico 2002-2003 Modellistica Medica Maria Grazia Pia INFN Genova Scuola di Specializzazione in Fisica Sanitaria Genova Anno Accademico 2002-2003 Lezione 1 Introduzione al corso Obiettivi Programma Esercitazioni Prerequisiti

Dettagli

ROBERTA LARASPATA. Phone: +39 0805963312 E-mail: roberta.laraspata@gmail.com

ROBERTA LARASPATA. Phone: +39 0805963312 E-mail: roberta.laraspata@gmail.com ROBERTA LARASPATA Phone: +39 0805963312 E-mail: roberta.laraspata@gmail.com FORMAZIONE Febbraio 2011 Ottobre 2007 Maggio 2007 Dottorato di Ricerca in Ingegneria dell Informazione Titolo della Tesi di Dottorato:

Dettagli

ROTUNNO GIULIANA giuliana.rotunno@poliba.it

ROTUNNO GIULIANA giuliana.rotunno@poliba.it C URRICULUM VITAE INFORMAZIONI PERSONALI Nome E-mail ROTUNNO GIULIANA giuliana.rotunno@poliba.it ESPERIENZE LAVORATIVE Data 21 Febbraio 2014 21 Febbraio 2015 Nome del datore di lavoro Politecnico di Bari

Dettagli

Valentina Poggioni Curriculum Vitae

Valentina Poggioni Curriculum Vitae Valentina Poggioni Curriculum Vitae Dati Anagrafici Nome e Cognome: Valentina Poggioni Luogo e Data di Nascita: Umbertide (PG), 12/07/1976 Residenza: Umbertide (PG), Via Kennedy 7, Cap.06019 Codice Fiscale:

Dettagli

Curriculum Vitae Europass

Curriculum Vitae Europass Curriculum Vitae Europass Informazioni personali Cognome/i nome/i Indirizzo/i Gallo Francesco DISIM - Dipartimento di Ingegneria e Scienze dell Informazione e Matematica, Università dell Aquila, Via Vetoio

Dettagli

AVV. MATTEO GIACOMO JORI

AVV. MATTEO GIACOMO JORI CURRICULUM VITAE 1. Dati anagrafici e informazioni personali Matteo Giacomo Jori, nato a Milano il 1 giugno 1976 e ivi residente tel. 02.55011592 fax 02.5513884 - email: matteo.jori@unimi.it - mg.jori@jori.org

Dettagli

48 Laurea magistrale in Comunicazione multimediale Scienze

48 Laurea magistrale in Comunicazione multimediale Scienze 48 Laurea magistrale in Comunicazione multimediale Scienze C U R R I C O L A All interno del corso di laurea magistrale gli insegnamenti e le attività formative sono organizzate in modo da offrire percorsi

Dettagli

CURRICULUM VITAE ET STUDIORUM. Giulia Bruno

CURRICULUM VITAE ET STUDIORUM. Giulia Bruno CURRICULUM VITAE ET STUDIORUM di Giulia Bruno Via Tofane 44 10141 Torino, Italia Telefono: +39 3483646696 E-mail: giulia.bruno@polito.it Dati personali Nata a Torino il 17 Febbraio 1982 Cittadina italiana.

Dettagli

AVV. MATTEO GIACOMO JORI

AVV. MATTEO GIACOMO JORI CURRICULUM VITAE 1. Dati anagrafici e informazioni personali Matteo Giacomo Jori, nato a Milano il 1 giugno 1976 e ivi residente tel. 02.55011592 fax 02.5513884 email: matteo.jori@unimi.it - mg.jori@jori.org

Dettagli

CURRICULUM VITAE. Laurea in ingegneria civile (Università di Roma La Sapienza)

CURRICULUM VITAE. Laurea in ingegneria civile (Università di Roma La Sapienza) Nome: Cognome: Titoli accademici: Guido Bonin CURRICULUM VITAE Laurea in ingegneria civile (Università di Roma La Sapienza) Dottorato di ricerca in infrastrutture di viabilità e trasporto (Università di

Dettagli

AZIENDA SANITARIA PROVINCIALE DI ENNA

AZIENDA SANITARIA PROVINCIALE DI ENNA CURRICULUM VITAE INFORMAZIONI PERSONALI No me Bisignano Mario Data di nascita 05/06/1974 Qualifica DIRIGENTE INGEGNERE Amministrazione AZIENDA SANITARIA PROVINCIALE DI ENNA Incarico attuale e servizio

Dettagli

Curriculum Valerio Lacagnina Dati personali Data di nascita: 05 maggio 1966 Luogo di nascita: Palermo Titoli di studio (1998) Dottore di Ricerca in "Scienze Finanziarie per l'impresa", sede amministrativa

Dettagli

RELAZIONE DI LETIZIA LEONARDI RELATIVA AL TRIENNIO 1995-1998 PER LA PROMOZIONE E VERIFICA DELLA PRODUZIONE SCIENTIFICA DI PROFESSORE ASSOCIATO

RELAZIONE DI LETIZIA LEONARDI RELATIVA AL TRIENNIO 1995-1998 PER LA PROMOZIONE E VERIFICA DELLA PRODUZIONE SCIENTIFICA DI PROFESSORE ASSOCIATO RELAZIONE DI LETIZIA LEONARDI RELATIVA AL TRIENNIO 1995-1998 PER LA PROMOZIONE E VERIFICA DELLA PRODUZIONE SCIENTIFICA DI PROFESSORE ASSOCIATO STRUTTURA DELLA RELAZIONE: 1 INFORMAZIONI GENERALI...1 2 ATTIVITÀ

Dettagli

Sistemi di biblioteche digitali per la ricerca e la didattica: l esperienza del CNR-ISTI

Sistemi di biblioteche digitali per la ricerca e la didattica: l esperienza del CNR-ISTI Sistemi di biblioteche digitali per la ricerca e la didattica: l esperienza del CNR-ISTI Stefania Biagioni e Donatella Castelli Istituto di Scienza e Tecnologie dell Informazione A Faedo CNR stefania.biagioni@isti.cnr.it

Dettagli

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

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

Dettagli

nelle aziende (XX ciclo) Università degli Studi di Parma POSIZIONE ACCADEMICA ATTUALE POSIZIONE UNIVERSITARIA

nelle aziende (XX ciclo) Università degli Studi di Parma POSIZIONE ACCADEMICA ATTUALE POSIZIONE UNIVERSITARIA (Aggiornato a MARZO 2013) NOME E COGNOME E-MAIL Paola Ramassa ramassa@economia.unige.it CURRICULUM STUDI LAUREA Laurea in Economia e Commercio (indirizzo aziendale) Università degli Studi di Genova DOTTORATO

Dettagli

Partecipazione ai progetti di ricerca annuali finanziati con Fondi di Ricerca di Ateneo, responsabile scientifico Prof. Riccardo Resciniti

Partecipazione ai progetti di ricerca annuali finanziati con Fondi di Ricerca di Ateneo, responsabile scientifico Prof. Riccardo Resciniti CURRICULUM VITAE INFORMAZIONI PERSONALI Nome: DONATELLA FORTUNA Indirizzo: via Avellino n. 18, 82100, Benevento Telefono: 3491450428 Email: donatella.fortuna@unisannio.it Data di nascita: 29/07/1976 Luogo

Dettagli

PoliTong Sino-Italian

PoliTong Sino-Italian PoliTong Sino-Italian Campus BSc Courses in Information Technology Engineering (ITE) Mechanical and Production Engineering (MPE) Tongji University Shanghai Politecnico di Milano Politecnico di Torino Politecnico

Dettagli

Ciclo di Vita Evolutivo

Ciclo di Vita Evolutivo Ciclo di Vita Evolutivo Prof.ssa Enrica Gentile a.a. 2011-2012 Modello del ciclo di vita Stabiliti gli obiettivi ed i requisiti Si procede: All analisi del sistema nella sua interezza Alla progettazione

Dettagli

Candidato Domenico Cotroneo

Candidato Domenico Cotroneo VALUTAZIONE COMPARATIVA PER LA COPERTURA DI N.1 POSTO DI PROFESSORE UNIVERSITARIO DI RUOLO DI SECONDA FASCIA PER IL SETTORE SCIENTIFICO-DISCIPLINARE ING-INF/05 DELLA FACOLTA' DI INGEGNERIA DELL'UNIVERSITA'

Dettagli

Facoltà di Scienze e Tecnologie Informatiche

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

Dettagli

Introduzione ai Web Services Alberto Polzonetti

Introduzione ai Web Services Alberto Polzonetti PROGRAMMAZIONE di RETE A.A. 2003-2004 Corso di laurea in INFORMATICA Introduzione ai Web Services alberto.polzonetti@unicam.it Introduzione al problema della comunicazione fra applicazioni 2 1 Il Problema

Dettagli

GRIN - Associazione Italiana dei Docenti Universitari di Informatica

GRIN - Associazione Italiana dei Docenti Universitari di Informatica Certificazione bollino GRIN per i corsi di Laurea in Informatica versione beta 2016 N.B.: Sono in evidenza le variazioni rispetto alla versione standard 2015. 1. Requisiti per la certificazione bollino

Dettagli

Una Architettura Open Service per la Gestione del Rischio Ambientale: il progetto ORCHESTRA

Una Architettura Open Service per la Gestione del Rischio Ambientale: il progetto ORCHESTRA Una Architettura Open Service per la Gestione del Rischio Ambientale: il progetto ORCHESTRA Olga RENDA (*), John FAVARO (**), Thomas USLÄNDER (***), Ralf DENZER (****) (*) Intecs S.p.A., Pisa, Italy, Tel.

Dettagli

La Laurea Magistrale in Informatica 2014-15

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

Dettagli

CURRICULUM VITAE ET STUDIORUM FABIO SCOTTI

CURRICULUM VITAE ET STUDIORUM FABIO SCOTTI CURRICULUM VITAE ET STUDIORUM DI FABIO SCOTTI 30 Ottobre 2003 Indice Dati anagrafici e stato di servizio 1 Attività di ricerca 2 Attività didattiche 3 Pubblicazioni 4 1. DATI ANAGRAFICI E STATO DI SERVIZIO

Dettagli

Tolio Tullio Antonio Maria

Tolio Tullio Antonio Maria Curriculum Vitae Informazioni personali Cognome Nome Cittadinanza Tolio Tullio Antonio Maria Italiana Data di nascita 30/05/1964 Luogo di nascita Codice fiscale Partita IVA Residenza Milano (MI) TLOTLN64E30F205X

Dettagli

Ing. Marco Milani, PhD

Ing. Marco Milani, PhD INFORMAZIONI PERSONALI Ing. Marco Milani, PhD Nome Indirizzo E-mail Web MARCO MILANI 23900 LECCO (LC) - ITALIA mail@marcomilani.it www.marcomilani.it Codice fiscale MLNMRC75H21E507Q Partita IVA 02594450137

Dettagli

Controllo di sistemi manifatturieri riconfigurabili

Controllo di sistemi manifatturieri riconfigurabili Controllo di sistemi manifatturieri riconfigurabili Davide Bossi, Emanuele Carpanzano, Vincenzo Cattaneo Della Volta, Dawn Tilbury Si illustra una metodologia di progettazione modulare del controllo logico

Dettagli

ATTIVITÀ SCIENTIFICA Prof. ing. Leonarda CARNIMEO

ATTIVITÀ SCIENTIFICA Prof. ing. Leonarda CARNIMEO ATTIVITÀ SCIENTIFICA Prof. ing. Leonarda CARNIMEO Nella propria attività di ricerca la prof. Leonarda Carnimeo collabora con Docenti e Ricercatori appartenenti ad altre sedi universitarie in vari Programmi

Dettagli

Massimo Matthias Professore a contratto - Università degli Studi di Siena Consulente Aziendale

Massimo Matthias Professore a contratto - Università degli Studi di Siena Consulente Aziendale Massimo Matthias Professore a contratto - Università degli Studi di Siena Consulente Aziendale CURRICULUM VITAE FORMAZIONE Laurea in Economia e Commercio conseguita presso l Università degli Studi La Sapienza

Dettagli

FACOLTA DI ECONOMIA. CORSO DI LAUREA TRIENNALE IN ECONOMIA AZIENDALE E MANAGEMENT Classe L/18 Insegnamento di Economia e Gestione delle Imprese

FACOLTA DI ECONOMIA. CORSO DI LAUREA TRIENNALE IN ECONOMIA AZIENDALE E MANAGEMENT Classe L/18 Insegnamento di Economia e Gestione delle Imprese FACOLTA DI ECONOMIA CORSO DI LAUREA TRIENNALE IN ECONOMIA AZIENDALE E MANAGEMENT Classe L/18 Insegnamento di Economia e Gestione delle Imprese SSD SECS-P/08 9 CFU A.A. 2014-2015 Docente: Prof. Mario Risso

Dettagli

Università degli studi dell Aquila. Sistemi informativi aziendali

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

Dettagli

Curriculum Vitae Europass

Curriculum Vitae Europass Curriculum Vitae Europass Informazioni personali Nome(i) / Cognome(i) Indirizzo(i) Via Michele Morelli, 21 I-88100 Catanzaro (Italia) Telefono(i) 0961795515 Cellulare 3204934375 3204405419 E-mail cruglianovincenzo@yahoo.it

Dettagli

SCHEDA PROGRAMMA INSEGNAMENTI A.A. 2012/2013

SCHEDA PROGRAMMA INSEGNAMENTI A.A. 2012/2013 SCHEDA PROGRAMMA INSEGNAMENTI A.A. 2012/2013 CORSO DI LAUREA IN Scienze della Formazione e dell educazione Insegnamento: Laboratorio di informatica applicata alla didattica Docente Prof. Limone Pierpaolo

Dettagli

Curriculum Vitae et Studiorum

Curriculum Vitae et Studiorum Curriculum Vitae et Studiorum Claudio Guidi Dati Personali Nome e Cognome Claudio Guidi Luogo e Data di Nascita Cesena, 18 agosto 1974 Residenza Via Parataglio 2201, 47023 Cesena Tel. 392 1933049 Email

Dettagli

CURRICULUM VITAE ET STUDIORUM

CURRICULUM VITAE ET STUDIORUM CURRICULUM VITAE ET STUDIORUM INFORMAZIONI Cognome e nome MONNI FRANCESCO Indirizzo di residenza VIA BAROCCO, 5 60010 OSTRA VETERE (AN) Telefono 3396088721 E-mail monni.f@gmail.com Nazionalità ITALIANA

Dettagli

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

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

Dettagli

Energy in Buildings and Communities

Energy in Buildings and Communities IEA Implementing Agreement Energy in Buildings and Communities Michele Zinzi, ENEA Giornata Nazionale IEA IA Ricerca Energetica e Innovazione in Edilizia ENEA, Roma, 27 febbraio 2015 Aspetti generali Fondato

Dettagli

CURRICULUM VITAE EUROPEO

CURRICULUM VITAE EUROPEO CURRICULUM VITAE EUROPEO INFORMAZIONI PERSONALI Nome e Cognome Simone Surcis Indirizzo Telefono Cellulare E-mail Nazionalità Italiana Data di Nascita 7 Ottobre 1984 ESPERIENZA LAVORATIVA Da A.A. 2009/10

Dettagli

WorkFlow Management Systems

WorkFlow Management Systems WorkFlow Management Systems Cosa è un? Automazione di un processo aziendale (business process) con: documenti, informazioni e compiti partecipanti insieme predefinito di regole obiettivo comune 2 Esempi

Dettagli

2. Ciclo di Vita e Processi di Sviluppo

2. Ciclo di Vita e Processi di Sviluppo 2. Ciclo di Vita e Processi di Sviluppo come posso procedere nello sviluppo? Andrea Polini Ingegneria del Software Corso di Laurea in Informatica (Ingegneria del Software) 2. Ciclo di Vita e Processi di

Dettagli

metodologie «agili» Platform as a Service (PaaS) in ambienti hybrid cloud 1

metodologie «agili» Platform as a Service (PaaS) in ambienti hybrid cloud 1 hybrid metodologie «agili» Platform as a Service (PaaS) in ambienti hybrid cloud metodologie «agili» Platform as a Service (PaaS) in ambienti hybrid cloud 1 metodologie «agili» Platform as a Service (PaaS)

Dettagli

Curriculum Vitae Europass

Curriculum Vitae Europass Curriculum Vitae Europass Informazioni personali Cognome/i nome/i Colombo, Pietro Indirizzo/i Via Trieste 18, 21040, Venegono Inferiore (VA) Telefono/i (+39) 0331 865838 - Cell. (+39) 340 4114766 Email

Dettagli

Software Embedded Integration Testing. Ing. Matteo Maglio Milano, 17 Febbraio 2011

Software Embedded Integration Testing. Ing. Matteo Maglio Milano, 17 Febbraio 2011 Software Embedded Integration Testing Ing. Matteo Maglio Milano, 17 Febbraio 2011 Chi siamo Skytechnology è una società di ingegneria che opera nell area dei sistemi embedded aiutando i propri Clienti

Dettagli

LA TECHNOLOGY TRANSFER PRESENTA MAX DOLGICER IL NUOVO MANIFESTO DELL INTEGRAZIONE APPLICAZIONI, DATI, CLOUD, MOBILE E INTERNET OF THINGS

LA TECHNOLOGY TRANSFER PRESENTA MAX DOLGICER IL NUOVO MANIFESTO DELL INTEGRAZIONE APPLICAZIONI, DATI, CLOUD, MOBILE E INTERNET OF THINGS LA TECHNOLOGY TRANSFER PRESENTA MAX DOLGICER IL NUOVO MANIFESTO DELL INTEGRAZIONE APPLICAZIONI, DATI, CLOUD, MOBILE E INTERNET OF THINGS ROMA 10-11 DICEMBRE 2015 RESIDENZA DI RIPETTA - VIA DI RIPETTA,

Dettagli

Facoltà di Scienze e Tecnologie Informatiche

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

Dettagli

Cloud Computing: alcuni punti fermi per non smarrirsi fra le nuvole

Cloud Computing: alcuni punti fermi per non smarrirsi fra le nuvole Cloud Computing: alcuni punti fermi per non smarrirsi fra le nuvole Stefano Mainetti stefano.mainetti@polimi.it L ICT come Commodity L emergere del Cloud Computing e i nuovi modelli di delivery Trend n.

Dettagli

UNIVERSITÀ DEGLI STUDI DI MILANO-BICOCCA CORSO EROGATO IN MODALITÀ BLENDED-LEARNING SYLLABUS

UNIVERSITÀ DEGLI STUDI DI MILANO-BICOCCA CORSO EROGATO IN MODALITÀ BLENDED-LEARNING SYLLABUS UNIVERSITÀ DEGLI STUDI DI MILANO-BICOCCA CORSO EROGATO IN MODALITÀ BLENDED-LEARNING SYLLABUS INFORMAZIONI DEL CORSO INFORMAZIONI DI BASE Nome Architettura del software Codice Esse3 F1801Q130M Corso di

Dettagli

CURRICULUM VITAE di PAOLA RUBBIONI

CURRICULUM VITAE di PAOLA RUBBIONI CURRICULUM VITAE di PAOLA RUBBIONI DATI ANAGRAFICI Nome: PAOLA RUBBIONI Luogo e data di nascita: Perugia, 16.09.1968 Nazionalità: italiana Stato civile: coniugata CURRICULUM STUDIORUM ed ITER LAVORATIVO

Dettagli

CARRIERA ACCADEMICA ATTIVITÀ DIDATTICA

CARRIERA ACCADEMICA ATTIVITÀ DIDATTICA Maurizio Sasso è nato a Napoli nel 1960. Si è laureato con lode in Ingegneria Meccanica all'università degli Studi di Napoli "Federico II" nel 1986. È abilitato alla professione di ingegnere dal 1986.

Dettagli

4th International Conference in Software Engineering for Defence Applications SEDA 2015

4th International Conference in Software Engineering for Defence Applications SEDA 2015 me Ho CALL FOR PAPERS: 4th International Conference in Software Engineering for Defence Applications SEDA 2015 Software Engineering aims at modeling, managing and implementing software development products

Dettagli

Cereia Marco Curriculum Vitae

Cereia Marco Curriculum Vitae Cereia Marco Curriculum Vitae Informazioni personali Cognome / Nome Cereia Marco Residenza Gattinara (VC) Domicilio Genova e-mail cereia[at]gmail.com Cittadinanza Italiana Luogo e data di nascita Gattinara

Dettagli

simplesoad SOA/BPO ARCHITECT

simplesoad SOA/BPO ARCHITECT SIMPLE ENGINEERING simplesoad SOA/BPO ARCHITECT TRAINING CYCLE SHEET SIMPLESOAD_SA_COURSE_SHEET_IT_2007032701 SIMPLE ENGINEERING 2007 - ALL RIGHTS RESERVED. SIMPLE ENGINEERING IS AN INDEPENDENT EUROPEAN

Dettagli

Giovanni Belluzzo. Riepilogo. Esperienza. Head of Project & Portfolio Management Office giovanni.belluzzo@infocert.it

Giovanni Belluzzo. Riepilogo. Esperienza. Head of Project & Portfolio Management Office giovanni.belluzzo@infocert.it Giovanni Belluzzo Head of Project & Portfolio Management Office giovanni.belluzzo@infocert.it Riepilogo Ingegnere Elettronico, da circa 25 anni opero nel mondo ICT. Nel corso della mia carriera ho condotto

Dettagli

SC D2 Information Technology and Telecommunication. General session e SC meeting 2012

SC D2 Information Technology and Telecommunication. General session e SC meeting 2012 Information Technology and CIGRE Comitato Nazionale Italiano Riunione del 29 Ottobre 2012 General session e SC meeting 2012 Chairman Carlos Samitier(ES) Segretario Maurizio Monti(FR) Membership 24 membri

Dettagli

RELAZIONE ANNUALE CONSUNTIVA

RELAZIONE ANNUALE CONSUNTIVA 1 RELAZIONE ANNUALE CONSUNTIVA PROGRAMMA DI RICERCA SETTORE Legge 449/97 SETTORE: Strumenti, Ambienti e Applicazioni per la Società dell Informazione PROGETTO: P1 Reti Internet: efficienza, integrazione

Dettagli