Curriculum Vitae Graziano Pravadelli

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "Curriculum Vitae Graziano Pravadelli"

Transcript

1 Curriculum Vitae Grazian Pravadelli 1. Intrduzine 3 2. Dati persnali 3 3. Educazine 4 4. Ricnscimenti 4 5. Attività didattica Relatre di tesi di laurea Relatre di tesi di laurea magistrale Incarichi didattici Libri per la didattica Attività scientifica e di crdinament della ricerca Tecniche di mdellazine e simulazine di sistemi embedded Metdi semifrmali per la verifica di sistemi embedded Generazine autmatica di sequenze di test e mdellazine di guast Attività rganizzativa Prgetti eurpei ammessi a finanziament sulla base di bandi cmpetitivi cn revisine tra pari Prgetti nazinali ammessi a finanziament sulla base di bandi cmpetitivi cn revisine tra pari Prgetti industriali Prgetti di ricerca valutati psitivamente ma nn ammessi a finanziament _ Cmitati di prgramma, attività di revisine e di rganizzazine Attività istituzinale Risultati ttenuti nel trasferiment tecnlgic Cllabrazini Nazinali e Internazinali Elenc delle pubblicazini Lavri pubblicati su riviste internazinali cn cmitat di revisine Lavri pubblicati su atti di cngressi internazinali cn cmitat di revisine Lavri accettati per la pubblicazine su atti di cngressi internazinali cn cmitat di revisine 35

2 10.4 Capitli di libr su invit 35 2

3 1. Intrduzine Quest dcument riassume l attività scientifica, didattica e rganizzativa svlta da Grazian Pravadelli fin a Febbrai Dati persnali Grazian Pravadelli: nat a Legnag (VR) il 04 Lugli 1974 cniugat, 2 figli. Cntatti: Psizine attuale: Dipartiment di Infrmatica, Università di Verna, Strada le Grazie 15, I Verna. Tel Fax Web page: Dal 01/01/2014 Prfessre assciat cnfermat press il Dipartiment di Infrmatica dell Università di Verna. Dal 16/07/2007 sci fndatre e direttre del persnale di EDALab s.r.l., spin-ff dell Università di Verna la cui missine cnsiste nel frnire supprt per l'innvazine tecnlgica nel camp dei sistemi embedded di rete. Psizini precedenti: Dal 01/01/2011 al 31/12/2013 Prfessre assciat nn cnfermat press il Dipartiment di Infrmatica dell Università di Verna. Dal 01/01/2008 al 31/12/2010 Ricercatre cnfermat press il Dipartiment di Infrmatica dell Università di Verna. Dal 01/01/2005 al 31/12/2007 Ricercatre nn cnfermat press il Dipartiment di Infrmatica dell Università di Verna. Dal 01/01/2004 al 31/12/2004 Assegnista di ricerca press il Dipartiment di Infrmatica dell Università di Verna. 3

4 3. Educazine Dttrat: Laurea: in infrmatica, cnseguit il 18 Marz 2004 press l Università di Verna cn discussine di una tesi dal titl Using functinal verificatin t evaluate the accuracy f mdel checking applied t embedded systems: thery and applicatin (relatre Prf. Franc Fummi). in infrmatica, cnseguita il 10 Aprile 2001 press l Università di Verna. Vt di laurea 110/110 e lde, cn discussine di una tesi dal titl Simulazine di errre per descrizini VHDL e SystemC per il test funzinale (relatre Prf. Franc Fummi). 4. Ricnscimenti Best paper candidate: F. Cucchett, A. Lnardi, G. Pravadelli A cmmn architecture fr c-simulatin f SystemC mdels in QEMU and OVP virtual platfrms, In: FIP/IEEE Internatinal Cnference n Very Large Scale Integratin (VLSI-SOC). Playa del Carmen, Messic, 6-8 Ottbre M. Bnat, G. Di Guglielm, M. Fujita, F. Fummi, G. Pravadelli, Dynamic prperty mining fr embedded sftware. In: ACM/IEEE Internatinal Cnference n Hardware/Sftware Cdesign and System Synthesis (CODES+ISSS). Tampere, Finland, 7-12 Ottbre 2012, p , ISBN: N. Bmbieri, F. Fummi, G. Pravadelli. A Mutatin Mdel fr the SystemC TLM 2.0 Cmmunicatin Interfaces. In: ACM/IEEE Design, Autmatin and Test in Eurpe (DATE). Munich, Germany, Marz 2008, p , ISBN: Selected best paper: G. Di Guglielm, F. Fummi, C. Marcncini, G. Pravadelli. FATE: a Functinal ATPG t Traverse unstabilized EFSMs. In: IEEE Eurpean Test Sympsium (ETS). Suthamptn, UK, Maggi p , ISBN: Attività didattica L'attività didattica svlta finra da Grazian Pravadelli si è articlata sui seguenti punti: Ha seguit, in qualità di relatre, 56 tesi di laurea e 16 tesi di laurea magistrale. E tutr di due studenti di dttrat (Tara Ghasempuri e Alessandr Danese). 4

5 Ha svlt e svlge tuttra attività di insegnament press l Università di Verna, il Plitecnic di Milan e l Università di Trent. Ha partecipat alla stesura, alla revisine e alla traduzine di alcuni libri per la didattica. 5.1 Relatre di tesi di laurea Grazian Pravadelli è stat relatre della tesi di laurea dei seguenti studenti press l Università di Verna. 1. Crin Andrea: Scheduling di macchine a stati finiti estese per la generazine del test. 2. Filippini Davide: Mdellazine grafica di EFSM per la verifica di sistemi embedded. 3. Sancassani Albert: Ridefinizine dei cstrutti SystemC per la generazine di sftware embedded. 4. Bussinell Silvia: analisi dell utilizz dei dischi RAID in ambiente Linux. 5. Facchetti Mattia: definizine e implementazine di un algritm per la rappresentazine grafica di HLDD. 6. Carazzl Marc: Parsing di cdice Verilg per la generazine autmatica di descrizini in frmat HIF. 7. Guarnieri Valeri: Autmatic cde generatin fr CLP in Eclipse. 8. Pasini Tmmas: Definizine e implementazine di un algritm per la rappresentazine grafica di EFSM. 9. Zampini Marc: Traduzine autmatica di cdice HIF in Verilg. 10. Zantedeschi Nicla: Estensine di HIFSuite per la generazine autmatica di cdice Verilg. 11. Alban Francesc: Sistemi perativi e virus: stat dell arte e analisi critica. 12. Avesani Federica: Simulatre di algritmi per la prevenzine e rilevazine di deadlck tra prcessi cncrrenti. 13. Baicc Nicla: Traduzine autmatica di cdice Verilg in frmat HIF. 14. Venturelli Alessandr: generazine autmatica di descrizini HIF a partire da cdice VHDL. 15. Agstini Andrea: maniplazine di cdice HIF per la maniplazine di descrizini Verilg in SystemC. 16. Rizzell Claudia: Algritmi per la sstituzine delle pagine della memria virtuale. 17. Crghi Omar: Maniplazine di cdice HIF per la cnversine vers il frmat nusmv. 18. Lanza Giacm: Analisi e cmparazine di file system: ext3 e NTFS. 19. Dimni Iris: Studi di un ambiente per un prfiling di applicazini applicate alla verifica di sistemi embedded. 20. Ferrett Alessandr: svilupp di una metdlgia per l appiattiment di rappresentazini gerarchiche di mdelli HW. 21. Mndc Iacb Claudiu: svilupp di una distribuzine Linux Open Embedded per applicazini VOIP. 22. Mletta Stefan: Implementazine di un sistema di strage virtualizzat. 5

6 23. Zampedri Filipp: analisi dell architettura della cnsle Nintend Wii. 24. Peretti Lrenz: Algritmi di scheduling per sistemi real time. 25. Cucchett Filipp: Generazine autmatica di high level decisin diagrams. 26. Lra Michele: prfiling and simulatin-based insertin and ptimizatin f fault-tlerance assertins in embedded time-cnstrained systems. 27. Bertasi Michele: Generazine autmatica di macchine a stati finiti estese. 28. Maraia Oscar: prting del sistema perativ GNU/Linux e svilupp di device drivers per Nintend Wii. 29. Maffiletti Fabi: Valutazine di un framewrk PHP per applicazini web Fracass Carl: Valutazine di librerie grafiche per l svilupp di sftware embedded. 31. Reffat Riccard: Persnalizzazine di un framewrk PHP per applicazini web Perdmini Michael: Prting e svilupp di applicazini in ambiente Andrid per piattafrma Gumstix. 33. Martinelli Francesc: Implementazine di una piattafrma per l interperabilità di dispsitivi nell ambit hme autmatin. 34. Trentin Patrick: Isafephne: applicazine di dmtica per iphne. 35. Angeleri Stefan: Creating an pen clud cmputing-based file strage service. 36. Sartrelli Luca: Analisi del framewrk QT. 37. Ferrarett Davide: Tecniche di iniezine di guast per simulatri di prcessre. 38. Picclbni Luca: Generazine autmatica di sequenze di test per SW embedded. 39. Cstanzi Davide: generazine autmatica di mdelli IP-XACT. 40. Dalla riva Niclò: Implementazine di una metdlgia di regressin suite per VHDL2HIF. 41. Maschi Katia: Implementazine di una metdlgia di regressin suite per Verilg2HIF. 42. Andrea Falc: Svilupp di device driver ecs per piattafrme ATMEL 43. Angeleri Stefan: Creating an pen clud cmputing-based file strage service 44. Valzelli Mattia: Cpy On Write Filesystem cme strumenti di backup incrementale 45. Martinelli Marc: Prgettazine di un architettura embedded per applicazini specifiche 46. Battisti Thmas: Svilupp di un mdul AMG per integrazine cn BOXIO 47. Santr Givanni: Integrazine tra Tizen e radgui 48. Mntanari Andrea: Svilupp e testing di widget per il framewrk AMG 49. Demrzi Flrenc: GUI per Generatri TSL 50. Danzi Niclò: Prting C del framewrk AMG 51. Antlini Luca: Svilupp di un applicazine Andrid per la gestine dei rapprtini di Help Desk 52. Pali Mattia: Prgettazine e implementazine di un sistema dmtic a bass cst 53. Castellani Nicla: Prgettazine di applicazini embedded per mbed LPC Negri Andrea: Il sistema di supervisine dell ente fiera di verna 55. Lrenz Nier: Svilupp di un applicazine andrid per librett digitale dell pera lirica 6

7 56. Girdan Enric: Un sistema dmtic a bass cst piltat cn prtcll Mdbus 5.2 Relatre di tesi di laurea magistrale Grazian Pravadelli è stat relatre della tesi di laurea magistrale dei seguenti studenti press l Università di Verna. 1. Macchiella Albert: Astrazine di IP-cre da livell RT al livell transazinale. 2. Perni Nicla: Middleware per la gestine di chischi digitali multi-funzine. 3. Destr Pal: Generazine autmatica di sftware embedded a partire da cdice SystemC. 4. Massignani Mirk: Apprcci pseud-deterministic per la generazine del test funzinale basat su risluzine di vincli e backjumping per macchine a stati finiti estese. 5. Di Guglielm Luigi: Metdlgie per analizzare la vacuità di un insieme di prprietà tramite simulazine di guast. 6. Ferrari Michele: Verifica semifrmale dispsitivi basata sulla struttura del device driver. 7. Rdegher Marika: mdellazine di sftware embedded in ambietne HIFSuite. 8. Righetti Albert: Metdlgia per la traduzine autmatica di mdelli di sistemi embedded in linguaggi NuSMV. 9. Sffia Stefan: Generazine autmatica di sequenze di test per il sftware embedded. 10. Bnat Marc: Dynamic prperty mining fr embedded sftware validatin. 11. Ts David: Tautlgical vacuity thrugh Büchi autmata. 12. Brnuzzi Simne: Prfiling f racles fr tuning self-checking embedded sftware deplyment. 13. Bertasi Michele: Dynamic prperty mining fr ESL descriptins. 14. Cucchett Filipp: A cmmn apprach fr virtual prttyping f embedded systems wrking n bth QEMU and OVP. 15. Alessandr Danese: Dynamic specificatin mining with prperty qualificatin 16. Riccard Filippzzi: Autmatic prperties abstractin prcedure thrugh the RTL t TLM verificatin flw 5.3 Incarichi didattici Grazian Pravadelli ha ricevut i seguenti incarichi didattici cme dcente dell Università di Verna. Ann Accademic Università Crsi di Studi Insegnament Ore 2004/2005 Università di Verna Laurea in Infrmatica/ Infrmatica Multimediale 2004/2005 Università di Verna Laurea Specialistica in Infrmatica Sistemi Operativi 48 Sistemi Operativi Avanzati 44 7

8 Ann Accademic Università Crsi di Studi Insegnament Ore 2005/2006 Università di Verna Laurea in Infrmatica/ Infrmatica Multimediale 2005/2006 Università di Verna Laurea in Infrmatica Multimediale 2005/2006 Università di Verna Laurea Specialistica in Infrmatica 2006/2007 Università di Verna Laurea in Infrmatica/ Infrmatica Multimediale Sistemi Operativi 48 Labratri di Sistemi Operativi 48 Sistemi Operativi Avanzati 44 Sistemi Operativi /2007 Università di Verna Laurea in Infrmatica Labratri di Sistemi Operativi 2006/2007 Università di Verna Laurea Specialistica in Infrmatica 2006/2007 Università di Verna Master Universitari in Prgettazine e Gestine dei Sistemi di Rete 2007/2008 Università di Verna Laurea in Infrmatica/ Infrmatica Multimediale 48 Sistemi Operativi Avanzati 44 Sistemi per l Elabrazine delle Infrmazini di Rete 12 Sistemi Operativi /2008 Università di Verna Laurea in Infrmatica Labratri di Sistemi Operativi 2007/2008 Università di Verna Laurea Specialistica in Infrmatica 2008/2009 Università di Verna Laurea in Infrmatica/ Infrmatica Multimediale 48 Sistemi Operativi Avanzati 44 Sistemi Operativi /2009 Università di Verna Laurea in Infrmatica Labratri di Sistemi Operativi 2008/2009 Università di Verna Laurea Specialistica in Infrmatica 2008/2009 Università di Verna Laurea in Lingue e Letterature Straniere 48 Sistemi Operativi Avanzati 44 Infrmatica /2010 Università di Verna Laurea in Infrmatica Sistemi Operativi /2010 Università di Verna Laurea Magistrale in Ingegneria e Scienze Infrmatiche 2009/2010 Università di Verna Laurea Magistrale in Ingegneria e Scienze Infrmatiche 2009/2010 Università di Verna Laurea in Lingue e Letterature Straniere Sftware per sistemi embedded 24 Sistemi Operativi Avanzati 56 Infrmatica /2011 Università di Verna Laurea in infrmatica Sistemi perativi 80 8

9 Ann Accademic Università Crsi di Studi Insegnament Ore 2010/2011 Università di Verna Laurea in ingegneria e scienze infrmatiche 2010/2011 Università di Verna Laurea in ingegneria e scienze infrmatiche 2010/2011 Università di Verna Laurea in lingue e e culture per il turism e il cmmerci internazinale 2010/2011 Università di Verna Laurea in scienze delle attività mtrie e sprtive Sistemi perativi avanzati 56 Sftware per sistemi embedded 21 Infrmatica 32 Abilità infrmatiche /2012 Università di Verna Laurea in infrmatica Sistemi perativi /2012 Università di Verna Laurea in ingegneria e scienze infrmatiche 2011/2012 Università di Verna Laurea in ingegneria e scienze infrmatiche 2011/2012 Università di Verna Laurea in lingue e e culture per il turism e il cmmerci internazinale 2011/2012 Università di Verna Laurea in scienze delle attività mtrie e sprtive Sistemi perativi avanzati 56 Sftware per sistemi embedded 21 Infrmatica 32 Abilità infrmatiche /2013 Università di Verna Laurea in infrmatica Sistemi perativi /2013 Università di Verna Laurea in ingegneria e scienze infrmatiche 2012/2013 Università di Verna Laurea in ingegneria e scienze infrmatiche 2012/2013 Università di Verna Laurea in lingue e e culture per il turism e il cmmerci internazinale 2012/2013 Università di Verna Laurea in scienze delle attività mtrie e sprtive Sistemi perativi avanzati 56 Sftware per sistemi embedded 21 Infrmatica 32 Abilità infrmatiche /2014 Università di Verna Laurea in infrmatica Sistemi perativi /2014 Università di Verna Laurea in ingegneria e scienze infrmatiche 2013/2014 Università di Verna Laurea in ingegneria e scienze infrmatiche Sistemi perativi avanzati 56 Sftware per sistemi embedded 2014/2015 Università di Verna Laurea in infrmatica Sistemi perativi

10 Ann Accademic Università Crsi di Studi Insegnament Ore 2014/2015 Università di Verna Laurea in ingegneria e scienze infrmatiche 2014/2015 Università di Verna Laurea in ingegneria e scienze infrmatiche Sistemi perativi avanzati 56 Sftware per sistemi embedded Grazian Pravadelli ha ricevut i seguenti incarichi didattici cme dcente a cntratt. Ann Università Crs di Studi Insegnament Ore 2002/2003 Plitecnic di Milan 2003/2004 Università di Verna 2003/2004 Plitecnic di Milan 2003/2004 Plitecnic di Milan 2004/2005 Plitecnic di Milan 2004/2005 Plitecnic di Milan 2005/2006 Plitecnic di Milan 2005/2006 Plitecnic di Milan 2006/2007 Plitecnic di Milan 2006/2007 Plitecnic di Milan 2007/2008 Plitecnic di Milan 2007/2008 Plitecnic di Milan 2008/2009 Plitecnic di Milan Laurea in Ingegneria Meccanica/ Ingegneria dei Trasprti Laurea in Infrmatica/Tecnlgie dell Infrmazine Laurea in Ingegneria Meccanica/ Ingegneria dei Trasprti Laurea in Ingegneria Meccanica/ Ingegneria dei Trasprti Laurea in Ingegneria Meccanica/ Ingegneria dei Trasprti Laurea in Ingegneria Meccanica/ Ingegneria dei Trasprti Laurea in Ingegneria Meccanica/ Ingegneria dei Trasprti Laurea in Ingegneria Meccanica/ Ingegneria dei Trasprti Laurea in Ingegneria Meccanica/ Ingegneria dei Trasprti Laurea in Ingegneria Meccanica/ Ingegneria dei Trasprti Laurea in Ingegneria Meccanica/ Ingegneria dei Trasprti e Lgistica Laurea in Ingegneria Meccanica/ Ingegneria dei Trasprti e Lgistica Laurea in Ingegneria Meccanica/ Ingegneria dei Trasprti e Lgistica Labratri di Infrmatica B/C Labratri di Architettura degli Elabratri Labratri di Infrmatica B/C Seminari di Infrmatica B/C Labratri di Infrmatica B/C Seminari di Infrmatica B/C Labratri di Infrmatica B/C Seminari di Infrmatica B/C Labratri di Infrmatica B/C Seminari di Infrmatica B/C Labratri di Infrmatica B/C Seminari di Infrmatica B/C Labratri di Infrmatica B/C

11 Ann Università Crs di Studi Insegnament Ore 2008/2009 Plitecnic di Milan 2009/2010 Plitecnic di Milan 2009/2010 Plitecnic di Milan 2010/2011 Plitecnic di Milan 2010/2011 Plitecnic di Milan 2011/2012 Plitecnic di Milan 2011/2012 Plitecnic di Milan 2012/2013 Plitecnic di Milan 2012/2013 Plitecnic di Milan 2013/2014 Plitecnic di Milan 2013/2014 Plitecnic di Milan 2014/2015 Plitecnic di Milan 2014/2015 Plitecnic di Milan 2014/2015 Università di Trent Laurea in Ingegneria Meccanica/ Ingegneria dei Trasprti e Lgistica Laurea in Ingegneria Meccanica Laurea in Ingegneria Meccanica Laurea in Ingegneria Meccanica Laurea in Ingegneria Meccanica Seminari di Infrmatica B/C Labratri di Infrmatica B Seminari di Infrmatica B Labratri di Infrmatica B Seminari di Infrmatica B Laurea in ingegneria meccanica Infrmatica B (seminari) 28 Laurea in ingegneria meccanica Infrmatica B (labratri) Laurea in ingegneria meccanica Infrmatica B (seminari) 30 Laurea in ingegneria meccanica Infrmatica B (labratri) Laurea in ingegneria meccanica Infrmatica B (seminari) 28 Laurea in ingegneria meccanica Infrmatica B (labratri) Laurea in ingegneria meccanica Infrmatica B (seminari) 28 Laurea in ingegneria meccanica Infrmatica B (labratri) Laurea in infrmatica Sistemi perativi Grazian Pravadelli ha inltre ricevut l incaric per i seguenti insegnamenti nell ambit del prgett TANDEM. Ann Accademic Università Insegnament Ore 2011/2012 Università di Verna Infrmatica di base /2012 Università di Verna Infrmatica di base /2014 Università di Verna Infrmatica di base /2015 Università di Verna Infrmatica di base /2015 Università di Verna Sistemi embedded 20 Infine, Grazian Pravadelli ha ricevut l incaric per i seguenti insegnamenti nell ambit del Percrsi Abilitanti Speciali (PAS). Ann Accademic Università Insegnament Ore 2013/2014 Università di Verna Didattica e Labratri (mdul di sistemi perativi) 9 11

12 Ann Accademic Università Insegnament Ore 2014/2015 Università di Verna Didattica e Labratri (mdul di sistemi perativi) 2014/2015 Università di Verna Sistemi perativi e reti (mdul di sistemi perativi) 5.4 Libri per la didattica Grazian Pravadelli è c-autre del seguente capitl di libr: D. Btturi, F. Fntana, G. Pravadelli, "Appendice A: Labratri di Linux", in V. Manca "Metdi Infrmazinali", Bllati Bringhieri 2003, pp Grazian Pravadelli ha curat la traduzine dall inglese all italian dei seguenti libri: D.M. Dhamdhere, Operating systems. A cncept based apprach, McGraw-Hill, D.M. Dhamdhere, A Slutins Manual fr Operating systems. A cncept based apprach, McGraw-Hill, Istruzini Macchina IA-32, in C. Hamacher, Z. Vranesic, S. Zacky Intrduzine all architettura dei calclatri, McGraw-Hill 2007, pp Elenc delle Istruzini Macchina IA-32, in C. Hamacher, Z. Vranesic, S. Zacky Intrduzine all architettura dei calclatri, McGraw-Hill 2007, pp Grazian Pravadelli ha svlt attività di revisine per il seguenti libri: D.M. Dhamdhere, Operating systems. A cncept based apprach, McGraw-Hill Intenatinal Editin A. Bellini, A. Guidi, Linguaggi C - Guida alla prgrammazine, McGraw-Hill Attività scientifica e di crdinament della ricerca L'attività di ricerca cndtta da Grazian Pravadelli si articla nelle seguenti tre tematiche, parzialmente svlte all intern dei prgetti di ricerca citati nella Sezine Tecniche di mdellazine e simulazine di sistemi embedded. 2. Metdi semifrmali per la verifica di sistemi embedded. 3. Generazine autmatica di sequenze di test e mdellazine di guast. Pertant, l attività di ricerca di Grazian Pravadelli ha tccat gli aspetti principali del fluss di prgettazine di sistemi embedded, partend dalla fase di mdellazine e simulazine per terminare cn la fase di verifica e test. Una breve descrizine delle attività più recenti cndtte da Grazian Pravadelli su questi argmenti è riprtata nelle Sezini 6.1, 6.2 e 6.3. In questi ambiti, Grazian Pravadelli è stat: Respnsabile scientific di 14 assegni di ricerca press l Università di Verna: 12

13 1. Autmatic generatin f tempral prperties (Giugn 2013 Maggi 2015) 2. Analisi di crrettezza dei sistemi di cmunicazine in ambit ferrviari (Marz 2014 Marz 2015) 3. Definizine di una piattafrma verificabile per il risparmi energetic in ambit data center (Marz 2014 Dicembre 2015) 4. Estrazine dinamica di prprietà per la verifica di SW embedded (Giugn 2012-Marz 2014) 5. Definitin f a virtual prttyping methdlgy based n Open Virtual Platfrms (Maggi 2013-Marz 2014) 6. Definitin f a framewrk fr the implementatin f remte cntrl interfaces fr embedded systems (Aprile 2013-Marz 2014) 7. Verifica di sftware embedded (Lugli 2012-Gennai 2013) 8. Verifica dinamica basata su asserzini per SW embedded (Dicembre 2011-Lugli 2012) 9. Generazine del test per SW embedded guidata da vincli di inizializzazine (Maggi 2011-Marz 2012) 10. Verifica di SW embedded basata su simulazine di checker (Maggi Maggi 2012) 11. Verifica di SW embedded basata su generazine di sequenze di test (Aprile Aprile 2012) 12. Generazine del test deterministica basata su attraversament di macchine a stati finiti estese (Aprile-Nvembre 2011) 13. Cnversine autmatica di descrizini HDL in frmat HIF (Gennai 2009-Marz 2011) 14. Studi e realizzazine di strumenti per l svilupp di applicazini basate su reti di sensri (Gennai-Dicembre 2010) Oppnent durante la difesa della seguente tesi di dttrat: 1. Uljana Reinsalu. Fault Simulatin and Cde Cverage Analysis f RTL Designs Using High-Level Decisin Diagrams. Advisrs: Prf. Jaan Raik, Prf. Peeter Ellerve and Dr. Aleksander Sudnitsõn. Tallinn, Estnia, 12 Giugn Tecniche di mdellazine e simulazine di sistemi embedded La sempre crescente cmplessità dei mderni sistemi embedded richiede che i prgettisti cnsiderin aspetti etergenei e spess tra lr cnflittuali, cme, per esempi, l adzine di differenti livelli di astrazine, l integrazine di cmpnenti digitali e analgiche, l impieg di HW-dependent sftware, la cnsapevlezza della presenza di un ambiente fisic in cui il sistema è inserit, ecc.. Tale etergeneità è stata affrntata per mezz di vari apprcci di mdellazine e simulazine, seguend metdlgie sia tpdwn che bttm-up, integrand tecniche di mdel-based design, cmpnent-based design e csimulazine. In tale cntest, appare evidente però la mancanza di un mdell cmputazinale 13

14 ampiamente accettat che permetta di integrare cmpnenti etergenee in una descrizine mgenea facilmente maniplabile e simulabile durante le varie fasi del fluss di prgettazine. In quest ambit, Grazian Pravadelli ha crdinat la definizine e l implementazine di un ambiente di mdellazine per sistemi embedded (HIFSuite) basat sul frmat di interscambi HIF (Hetergeneus Intermediate Frmat), e la definizine di un mdell cmputazinale UNIVERcm (Universal Versatile Cmputatinal Mdel) che permette di frmalizzare la semantica di descrizini HIF [3, 26]. Sulla base di HIFSuite, Grazian Pravadelli ha quindi definit varie tecniche e metdlgie per la mdellazine, l integrazine, la simulazine e la verifica (Sezine 6.2) di sistemi embedded [6, 22, 31, 33, 34, 42]. Di particlare interesse risulta essere la definizine di una tecnica autmatica per l astrazine di mdelli RTL (Register Transfer Level) in mdelli TLM (Transactin Level Mdel) [6] che permette di evitare la c-simulazine di descrizini miste RTL-TLM, il cui svantaggi principale cnsiste nel rallentament della simulazine a livell delle cmpnenti più lente (vver quelle RTL), per beneficiare appien della maggir velcità dei mdelli TLM. La maggir parte delle attività legate a HIFSuite e UNIVERcm sn state realizzate nell ambit dei prgetti Eurpei SYMBAD, VERTIGO, CONTREX, COMPLEX, SMAC e TOUCHMORE (Sezine 7.1) per i quali HIFSuite è divenut l strument principale per la realizzazine di piattafrme virtuali per la simulazine e la verifica di sistemi cmplessi. HIFSuite è attualmente un prdtt cmmerciale di EDALab. 6.2 Metdi semifrmali per la verifica di sistemi embedded Nell ambit della verifica di sistemi embedded, l attività di ricerca di Grazian Pravadelli si è fcalizzata sulla definizine di tecniche semi-frmali e in particlare sull studi di prcessi di autmatizzazine e ttimizzazine di metdlgie di verifica basate su asserzini temprali. In tale cntest, i principali filni di ricerca affrntati sn: Verifica basata su asserzini per sftware embedded [1, 5, 25, 30, 32, 36, 38, 40]. Il cntribut principale di Grazian Pravadelli è rappresentat dall aver definit una metdlgia e un strument autmatizzat (radcheck) per pter applicare assertin-based verificatin (ABV) al mnd del SW embedded. Le tecniche di ABV sn prevalentemente adttate per verificare descrizini basate su sistemi di transizine (e.g., macchine a stati finiti estese) tipici del livell di astrazine RTL, dve il riferiment temprale per la sincrnizzazine dei mdelli e dei checker (cmpnenti simulabili crrispndenti alle asserzini desiderate), è strettamente legat al cncett di cicl di clck. Nell ambit del sftware embedded, l assenza di un csì precis riferiment temprale rende mlt più difficile l applicazine di tecniche di ABV. Tale limitazine è stata superata in [1, 30] sfruttand i principi della mdellazine mdel-based. L attività di ricerca ha guidat l implementazine di radcheck, strument autmatic per la verifica basata su asserzini di sftware embedded realizzat nell ambit del prgett VAFER finanziat dalla regine Venet. radcheck è attualmente cmmercializzat da STMPrducts e 14

15 sviluppat in cllabrazine cn EDALab cn la supervisine scientifica di Grazian Pravadelli. Altri rilevanti cntributi sn stati prdtti nell ambit dell ttimizzazine delle asserzini in sistemi real-time, per evitare che i vincli temprali impsti da tali sistemi fsser sfrati a causa del temp richiest per la verifica delle asserzini in un cntest di self-checking [5, 25, 40]. Generazine autmatica di asserzini [18, 29, 97]. In questi lavri, il tradizinale fluss che prevede prima la definizine di asserzini crrispndenti alle specifiche e pi la lr verifica rispett all implementazine viene capvlt. In [8, 16, 97] sn presentate alcune metdlgie, per l estrazine autmatica di asserzini a partire dalle tracce di simulazine di una descrizine HW/SW. Le asserzini estratte pssn quindi essere cnfrntate cn le specifiche iniziali per analizzare eventuali discrepanze, sintm di una nn crretta implementazine. Rispett alle tecniche già esistenti in letteratura che si limitan ad estrarre prprietà Bleane, i lavri di Grazian Pravadelli si distingun per la capacità di generare asserzini che predican sia sul dmini Blean che su quell nn Blean estraend relazini aritmetic-lgiche tra tipi di dati interi. Riutilizz e astrazine autmatica di asserzini [37, 41, 19, 98]. Le prblematiche legate all integrazine e simulazine di descrizini rappresentate a differenti livelli di astrazine (e.g., RLT e TLM) e su dmini diversi (e.g., analgic, digitale) si rispecchian in md ancr più marcat nel cntest della lr verifica. Un asserzine inizialmente scritta per un mdell analgic nn può essere riutilizzata per verificare il crrispndente mdell digitale dp la sua discretizzazine. Analgamente, una asserzine definita a livell RTL necessità di essere riscritta quand ci si spsta vers il livell TLM. In quest ambit, l attività di Grazian Pravadelli si è cncentrata nella definizine di metdlgie autmatiche per il rius e l astrazine di asserzini su dmini e livelli diversi al fine di evitarne dispendise (in termini di temp) e rischise (in termini di errri che pssn essere intrdtti) riscritture manuali. In particlare, mentre esistn vari lavri che prpngn apprcci per il riutilizz di asserzini da TLM a RTL, l astrazine di asserzini da RTL a TLM è stata affrntata per la prima vlta in [19, 98]. La maggir parte delle attività legate alla verifica-semifrmale di sistemi embedded sn state realizzate nell ambit dei prgetti EFFORT, VAFER, OPTIMUM e SMAC e da cllabrazini tra EDALab e l Università di Verna. 6.3 Generazine autmatica di sequenze di test e mdellazine di guast La generazine autmatica di sequenze di test è alla base di tutte le tecniche di verifica e test che si basan su simulazine. Mlt spess tale generazine è guidata da metriche che richiedn l applicazine di mdelli di guast per simulare la presenza di errri (di prgettazine) di difetti (fisici) all intern del mdell e/ della sua implementazine. Tali metriche misuran la qualità delle sequenze generate in base alla lr capacità di trvare i guasti iniettati cmparand i risultati di mdell/implementazine priva di 15

16 guasti cn quelli dei mdelli/implementazini perturbati dai guasti. In quest ambit, Grazian Pravadelli ha prpst numerse tecniche per la generazine di sequenze di test integrand apprcci simblici, cnclici e cncreti [7, 35]. Inltre, Grazian Pravadelli ha definit un linguaggi per la specifica di sequenze di test (Testbench Specificatin Language) [27, 18] particlarmente adatt per rappresentare cn pche e semplici direttive i vincli che devn essere sddisfatti per attivare (e quindi verificare) particlari cndizini che nn sarebber analizzabili usand i più tradizinali apprcci prbabilistici e che richiederebber risrse spazi-temprali trpp nerse adttand tecniche esaustive. L attività di ricerca di Grazian Pravadelli è stata cndtta anche nell ambit della mdellazine di guast [4, 1, 23, 28, 39, 99], sia per descrizini hardware che per sftware embedded. In particlare, appare rilevante il lavr pubblicat in [7] dve per la prima vlta viene definit un mdell di guast per descrizini TLM. La maggir parte delle attività legate alla verifica-semifrmale di sistemi embedded sn state realizzate nell ambit dei prgetti VAFER e OPTIMUM e da cllabrazini tra EDALab e l Università di Verna. 7. Attività rganizzativa Grazian Pravadelli ha partecipat ad attività rganizzative nell ambit di: prgetti nazinali e internazinali; cmitati di prgramma, attività di revisine e rganizzazine; attività istituzinali. 7.1 Prgetti eurpei ammessi a finanziament sulla base di bandi cmpetitivi cn revisine tra pari Grazian Pravadelli ha partecipat all attività di ricerca scientifica per i seguenti prgetti. 1. Titl: Design f embedded mixed-criticality cntrl systems under cnsideratin f extrafunctinal prperties (CONTREX FP7-ICT ) Sggett finanziatre: Cmunità Eurpea Durata: Ottbre 2013-Settembre 2016 Numer di partner: 15 Finanziament ttenut: 241, Rul nel prgett: Respnsabile scientific delle attività di system analysis, validatin and explratin per l unità lcale e dell ambiente HIFSuite (www.hifuite.cm) Ente cinvlt: EDALab s.r.l. 2. Titl: Smart system c-design (SMAC FP7-ICT ) Sggett finanziatre: Cmunità Eurpea Durata: Ottbre 2011-Marz 2015 Numer di partner: 17 Finanziament ttenut: 473, Rul nel prgett: Respnsabile scientific del WP2 per l unità lcale e dell ambiente HIFSuite 16

17 (www.hifuite.cm) Ente cinvlt: EDALab s.r.l. 3. Titl: Autmatic Custmizable Tl-chain fr Hetergeneus Multicre Platfrm Sftware Develpment (TOUCHMORE FP7-ICT ) Sggett finanziatre: Cmunità Eurpea Durata: Settembre 2011-Settembre 2014 Numer di partner: 8 Finanziament ttenut: 300, Rul nel prgett: Respnsabile scientific dell ambiente HIFSuite (www.hifsuite.cm) Ente cinvlt: Università di Verna 4. Titl: Cdesign and pwer management in platfrm-based design space explratin (COMPLEX FP7-ICT ) Sggett finanziatre: Cmunità Eurpea Durata: Decembre 2009-Marz 2013 Numer di partner: 8 Finanziament ttenut: 258, Rul nel prgett: Respnsabile scientific dell ambiente HIFSuite (www.hifsuite.cm) Ente cinvlt: EDALab s.r.l. 5. Titl: A crrect-by Cnstructin Wrkbench fr Design and Verificatin f Embedded Systems (COCONUT FP IST ) Sggett finanziatre: Cmunità Eurpea Durata: Gennai 2008-Giugn 2010 Numer di partner: 11 Finanziament ttenut: Rul nel prgett: Direttre tecnic del prgett per gli aspetti legati alla verifica delle cmpnenti digitali Ente cinvlt: Università di Verna. 6. Titl: Verificatin and Validatin f Embedded Systems Design Wrkbench (VERTIGO IST ) Sggett finanziatre: Cmunità Eurpea Durata: Giugn 2006 Nvembre 2008 Numer di partner: 7 Finanziament ttenut: Rul nel prgett: Respnsabile tecnic dell unità lcale Ente cinvlt: Università di Verna. 7. Titl: Frmal verificatin in system level based design (SYMBAD IST ) Sggett finanziatre: Cmunità Eurpea Durata: Marz 2002 Ottbre 2004 Numer di partner: 4 17

18 Finanziament ttenut: Rul nel prgett: Crdinatre dell svilupp delle applicazini dell unità lcale Ente cinvlt: Università di Verna. 7.2 Prgetti nazinali ammessi a finanziament sulla base di bandi cmpetitivi cn revisine tra pari Prgetti nazinali ammessi a finanziament sulla base di bandi cmpetitivi cn revisine tra pari: 1. Titl: Smart ple WSN netwrk (SPAWNE) Sggett finanziatre: Università di Verna, Telefin (Jint prject) Durata: Gennai 2015-Dicembre 2015 Numer di partner: 2 Finanziament ttenut: 31, Rul nel prgett: Respnsabile scientific del prgett Ente cinvlt: Università di Verna 2. Titl: Verifica frmale di sftware mdellat e generat autmaticamente (VAFER) Sggett finanziatre: Regine Venet / Assciazine Tempranea di Imprese denmianata Verilab Durata: Ottbre 2010 Settembre 2012 Numer di partner: 4 Finanziament ttenut: 221, Rul nel prgett: Respnsabile scientific del prgett Ente cinvlt: Università di Verna 3. Titl: Optimizing dependability via mutatin analysis fr micrelectrnics (OPTIMUM) Sggett finanziatre: Università di Verna, STMPrducts (Jint prject) Durata: Gennai 2011-Dicembre 2012 Numer di partner: 2 Finanziament ttenut: 85, Rul nel prgett: C-respnsabile scientific del prgett Ente cinvlt: Università di Verna 4. Titl: An EFSM-based Framewrk fr Designing and Verifying Embedded Sftware (EFFORT) Sggett finanziatre: Università di Verna, STMPrducts (Jint prject) Durata: Gennai 2008-Dicembre 2009 Numer di partner: 2 Finanziament ttenut: Rul nel prgett: Direttre tecnic del prgett Ente cinvlt: Università di Verna 5. Titl: Yield Imprvement in Nantechnlgy Prductin Prcess f Standard Cells Based Integrated Circuits (ImpNanIC) Sggett finanziatre: Università di Verna, PDF Slutins (Jint prject) 18

19 Durata: Gennai 2007-Dicembre 2007 Numer di partner: 2 Finanziament ttenut: Rul nel prgett: Direttre tecnic del prgett Ente cinvlt: Università di Verna 6. Titl: A smth refinement flw fr c-designing f hardware/sftware threads (SOFT) Sggett finanziatre: Università di Verna (Givani ricercatri 2006) Durata: Gennai 2007-Dicembre 2007 Numer di partner: 1 Finanziament ttenut: 2500 Rul nel prgett: Respnsabile scientific Ente cinvlt: Università di Verna 7. Titl: Mdeling, simulatin and verificatin f MPSC platfrms Sggett finanziatre: MIUR (PRIN 2005) Durata: Gennai 2006-Dicembre 2008 Numer di partner: 5 Finanziament ttenut: Rul nel prgett: Direttre tecnic dell unità lcale Ente cinvlt: Università di Verna 8. Titl: Mdeling, simulatin and validatin f system n chip Sggett finanziatre: MIUR (PRIN 2002) Durata: Maggi Aprile 2004 Numer di partner: 6 Finanziament ttenut: Rul nel prgett: Crdinatre dell svilupp delle applicazini dell unità lcale Ente cinvlt: Università di Verna 9. Titl: Reuse f IP-cre in distributed embedded systems (RISE) Sggett finanziatre: Università di Verna (Givani ricercatri 2001) Durata: Gennai Dicembre 2002 Numer di partner: 1 Finanziament ttenut: 5900 Rul nel prgett: Respnsabile scientific Ente cinvlt: Università di Verna 10. Titl: Mdeling and simulatin f cmplex integrated systems fr multimedia applicatins Sggett finanziatre: CNR Durata: Ottbre Settembre 2002 Numer di partner: 4 Finanziament ttenut: Rul nel prgett: Crdinatre dell svilupp delle applicazini dell unità lcale Ente cinvlt: Università di Verna 19

20 7.3 Prgetti industriali Grazian Pravadelli ha partecipat all attività di ricerca scientifica per i seguenti prgetti industriali. 1. Titl: Prgettazine e implementazine di una piattafrma di teleassistenza mbile audi e vide basat sulla Realtà Aumentata e Reti di Sensri Wearable Sggett finanziatre: EDALab, s.r.l. Durata: Gennai 2015 Dicembre 2015 Numer di partner: 2 Finanziament ttenut: Rul nel prgett: Respnsabile scientific del prgett Ente cinvlt: Università di Verna 2. Titl: Smart green data center Sggett finanziatre: EDALab, s.r.l. Durata: Gennai 2014 Dicembre 2014 Numer di partner: 2 Finanziament ttenut: Rul nel prgett: Respnsabile scientific del prgett Ente cinvlt: Università di Verna 3. Titl: Lcalizzazine della MSDN Library di Visual Studi 2012 Sggett finanziatre: Micrsft Crp. Redmnd USA Durata: Ottbre 2013 Aprile 2014 Numer di partner: 2 Finanziament ttenut: Rul nel prgett: Respnsabile scientific del prgett Ente cinvlt: Università di Verna 4. Titl: TSL-guided testbench generatin and RTL-t-TLM hierarchical abstractin. Sggett finanziatre: EDALab s.r.l., Verna Durata: Gennai 2013 Dicembre 2013 Numer di partner: 2 Finanziament ttenut: Rul nel prgett: Respnsabile scientific del prgett Ente cinvlt: Università di Verna 5. Titl: Svilupp di un middleware per cmunicazini cn dispsitivi ZigBee/Encean. Sggett finanziatre: EDALab s.r.l., Verna Durata: Gennai 2013 Dicembre 2013 Numer di partner: 2 Finanziament ttenut: Rul nel prgett: Respnsabile scientific del prgett Ente cinvlt: Università di Verna 6. Titl: Lcalizzazine della MSDN Library di Visual Studi 2011 Sggett finanziatre: Micrsft Crp. Redmnd USA 20

ISTITUTO TECNICO COMMERCIALE STATALE ABBA - BALLINI

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

Dettagli

Soluzioni di supporto alla gestione e sviluppo di prodotto in ambito NPD e PLM

Soluzioni di supporto alla gestione e sviluppo di prodotto in ambito NPD e PLM Master in Alt Apprendistat Sluzini di supprt alla gestine e svilupp di prdtt in ambit NPD e Figura prfessinale e biettiv Gli apprendisti destinatari del prgett frmativ sn: laureati, di prim e secnd livell,

Dettagli

Curriculum Vitae Europass

Curriculum Vitae Europass Curriculum Vitae Eurpass Infrmazini persnali Cgnme(i/)/Nme(i) Indirizz(i) Telefn(i) E-mail Cittadinanza Dattil Brun Italiana Data di nascita Occupazine desiderata/settre prfessinale Dcente Espert di Infrmatica

Dettagli

LA FILIERA ICT DEL DISTRETTO HIGH TECH le Aziende presentano i loro progetti. 14-23 maggio 2012 APA Confartigianato - Monza.

LA FILIERA ICT DEL DISTRETTO HIGH TECH le Aziende presentano i loro progetti. 14-23 maggio 2012 APA Confartigianato - Monza. LA FILIERA ICT DEL DISTRETTO HIGH TECH le Aziende presentan i lr prgetti 14-23 maggi 2012 APA Cnfartigianat - Mnza Azcm Technlgy Relatri: D. Barra, C. Cansi Fndazine Distrett Green & High Tech Mnza Brianza

Dettagli

Classificazioni dei linguaggi di programmazione

Classificazioni dei linguaggi di programmazione Il Sftware (prgrammi) può essere classificat cme: di sistema di base (Sistema Operativ, cmpilatri,, interpreti 1 ) prgrammi applicativi (editr di test, fgli elettrnici, data base.) linguaggi di prgrammazine

Dettagli

Introduzioneairisultatiprincipalidopo ilprimo anno

Introduzioneairisultatiprincipalidopo ilprimo anno Università degli Studi dell Aquila 1 Intrduzineairisultatiprincipalidp ilprim ann University f L Aquila Cmputer Science Department L Aquila (Italy) Risultati principali di UniAQ dp il prim ann (1/2) 2

Dettagli

PROTOCOLLO DI INTESA. tra. Il Collegio Geometri e Geometri Laureati di Monza e Brianza, nella

PROTOCOLLO DI INTESA. tra. Il Collegio Geometri e Geometri Laureati di Monza e Brianza, nella PROTOCOLLO DI INTESA tra Il Cllegi Gemetri e Gemetri Laureati di Mnza e Brianza, nella persna di Cesare Galbiati, in qualità di Presidente del Cllegi e L Istitut di Istruzine Superire Ezi Vanni di Vimercate,

Dettagli

Corso di Project Management

Corso di Project Management Crs di Prject Management I edizine L prpne un percrs frmativ sul prject management. La cmplessità rmai raggiunta dai vari prgrammi di ricerca e di cperazine internazinale e l estrema cmpetitività in ambit

Dettagli

Museo & Web. Kit di progettazione di un sito di qualità. per un museo medio-piccolo

Museo & Web. Kit di progettazione di un sito di qualità. per un museo medio-piccolo Dipartiment per la ricerca, l innvazine e l rganizzazine Direzine generale per l innvazine tecnlgica e la prmzine Via del Cllegi Rman, 27 00186 Rma Minister per i beni e le attività culturali Muse & Web

Dettagli

Studiare Informatica in Bicocca 2013-14

Studiare Informatica in Bicocca 2013-14 Studiare Infrmatica in Biccca 2013-14 Dalla Pirelli all'università degli Studi di Milan-Biccca Perché studiare in Biccca! Cntest di Campus Universitari multi-culturale! facili scambi e incntri cn studenti

Dettagli

CURRICULUM VITAE Domenico Pio Novelli

CURRICULUM VITAE Domenico Pio Novelli CURRICULUM VITAE Dmenic Pi Nvelli Infrmazini Persnali Nme e Cgnme: Dmenic Pi Nvelli Data di Nascita: 16 Giugn 1984 Città di Origine: Cerignla (FG) Città attuale: Madrid (TN) Natinalità: Italiana Genere:

Dettagli

SCHEDA DI SINTESI ATTIVITA

SCHEDA DI SINTESI ATTIVITA BENEFICIARI SCADENZA RISORSE FINANZIARIE DISPONIBILI BANDO SCHEDA SINTESI BANDO MIUR PER CLUSTER CENTRO NORD 2012 AVVISO PER LO SVILUPPO E POTENZIAMENTO DI CLUSTER TECNOLOGICI NAZIONALI Fndi FAR cmplessivi

Dettagli

OUTSOURCING LOGISTICO E GESTIONE DEL CAMBIAMENTO

OUTSOURCING LOGISTICO E GESTIONE DEL CAMBIAMENTO OUTSOURCING LOGISTICO E GESTIONE DEL CAMBIAMENTO OUTSOURCING LOGISTICO E GESTIONE DEL CAMBIAMENTO La scelta strategica di un azienda di gestire cn una prpria rganizzazine la Supply Chain di affidarla,

Dettagli

MS VISUAL STUDIO 2008 - EFFECTIVE TEAM DEVELOPMENT USING MICROSOFT VISUAL STUDIO TEAM SYSTEM

MS VISUAL STUDIO 2008 - EFFECTIVE TEAM DEVELOPMENT USING MICROSOFT VISUAL STUDIO TEAM SYSTEM MS VISUAL STUDIO - EFFECTIVE TEAM DEVELOPMENT USING MICROSOFT VISUAL STUDIO TEAM SYSTEM UN BUON MOTIVO PER [cd. S185] L biettiv del Crs è frnire ai partecipanti la preparazine e le cmpetenze necessarie

Dettagli

Corso Base per ricercatori dedicati della Rete Alta Tecnologia

Corso Base per ricercatori dedicati della Rete Alta Tecnologia Crs Base per ricercatri dedicati della Tecnlgia - Apertura del percrs frmativ 9,30 Salut di apertura e presentazine delle iniziative per l svilupp del capitale uman realizzate da Marina Silverii, Respnsabile

Dettagli

PIANO DI LAVORO ANNUALE DELLA DISCIPLINA TECNOLOGIA E TECNICHE DI RAPPRESENTAZIONE GRAFICA Classi 2 ITI A.S. 2014-15

PIANO DI LAVORO ANNUALE DELLA DISCIPLINA TECNOLOGIA E TECNICHE DI RAPPRESENTAZIONE GRAFICA Classi 2 ITI A.S. 2014-15 Impssibile visualizzare l'immagine. La memria del cmputer ptrebbe essere insufficiente per aprire l'immagine ppure l'immagine ptrebbe essere danneggiata. Riavviare il cmputer e aprire di nuv il file. Se

Dettagli

INGEGNERE ELETTRONICO ESPERTO IN SICUREZZA TECNOLOGICA

INGEGNERE ELETTRONICO ESPERTO IN SICUREZZA TECNOLOGICA 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 Nme e Cgnme Indirizz BENIAMINO AZZARA Telefn 096554318 Cellulare 3383249795 E-mail VIALE PIO XI DIRAMAZIONE GULLÌ

Dettagli

Curriculum vitae et studiorum di

Curriculum vitae et studiorum di Curriculum vitae et studirum di Maurizi Martelli DIBRIS - Dipartiment di Infrmatica, Biingegneria, Rbtica e Ingegneria dei Sistemi Università degli Studi di Genva Via Ddecanes, 35, 16146 - Genva, Italia

Dettagli

COMUNICARE CORSO DI COMUNICAZIONE.

COMUNICARE CORSO DI COMUNICAZIONE. GIOVANI SOCI DELLA CASSA RURALE DI TRENTO PRESENTANO: COMUNICARE CORSO DI COMUNICAZIONE. Cme previst dall statut e cme sempre è stat nell intent del direttiv dell assciazine, i Givani Sci della Cassa Rurale

Dettagli

LA FACOLTÀ DI GIURISPRUDENZA

LA FACOLTÀ DI GIURISPRUDENZA LA FACOLTÀ DI GIURISPRUDENZA STRUTTURA GENERALE DEI CORSI DI LAUREA E SISTEMA DEI "CREDITI" In base alla rifrma universitaria (D.M. 3.11.99 n. 509) l impegn dell studente (frequenza dei crsi e studi individuale)

Dettagli

Allegato al cv di Gianmarco Falzi

Allegato al cv di Gianmarco Falzi 10 gennai 2010 Vi aiutiam ad ttenere il massim dai vstri cllabratri Allegat al cv di Gianmarc Falzi Gianmarc Falzi PERSONE E ORGANIZZAZIONI s.a.s. Via F.lli Cairli 55/1 41125 Mdena c.f. p.i. 02878490362

Dettagli

+44 20 3529 8528. it.linkedin.com/pub/luciano-quartarone/69/817/1b3/

+44 20 3529 8528. it.linkedin.com/pub/luciano-quartarone/69/817/1b3/ CURRICULUM VITAE INFORMAZIONI PERSONALI Nme QUARTARONE, LUCIANO Indirizz VIA SAN BARTOLOMEO, 8 20861, BRUGHERIO (MB), ITALIA Telefn +39 392 5127104 +44 20 3529 8528 e-mail sit web l.quartarne@iclud.cm

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 C U R R I C U L U M V I T A E INFORMAZIONI PERSONALI Nme Indirizz Marcell CIACCIO 93, via F. Laurana, 90143, Palerm, ITALIA Telefn 091 345940 0916553296 Fax 0916553275 E-mail

Dettagli

Laurea triennale in: Ingegneria Gestionale Ingegneria Informatica e dell'informazione. Vademecum per

Laurea triennale in: Ingegneria Gestionale Ingegneria Informatica e dell'informazione. Vademecum per Laurea triennale in: Ingegneria Gestinale Ingegneria Infrmatica e dell'infrmazine Vademecum per Tircini Prva Finale Piani di studi e crediti Erasmus Trasferimenti Tircini Quand. E' cnsigliabile che la

Dettagli

Università degli Studi di Messina Anno Accademico 2014/2015. Dipartimento di Scienze Economiche, Aziendali, Ambientali e Metodologie Quantitative

Università degli Studi di Messina Anno Accademico 2014/2015. Dipartimento di Scienze Economiche, Aziendali, Ambientali e Metodologie Quantitative Università degli Studi di Messina Ann Accademic 2014/2015 Dipartiment di Scienze Ecnmiche, Aziendali, Ambientali e Metdlgie Quantitative I MASTER UNIVERSITARIO DI PRIMO LIVELLO IN ECONOMIA BANCARIA E FINANZIARIA

Dettagli

PL 125 Valorizzazione del know-how

PL 125 Valorizzazione del know-how PL 125 Valrizzazine del knw-hw 1. Scheda per tutti i partner Nme cmplet, lg e link al sit web ufficiale dell azienda/ente di ricerca Centr Ricerche Plast-Optica S.p.A. www.crp.it Breve descrizine dell

Dettagli

Curriculum Vitae Europass

Curriculum Vitae Europass Curriculum Vitae Eurpass Infrmazini persnali Nme(i) / Cgnme(i) Indirizz(i) Telefn(i) Fax E-mail Cittadinanza Dieg MAGRO italiana Cellulare Data di nascita 20 settembre 1969 Sess Maschile Esperienza prfessinale

Dettagli

ALOT - Agenzia della Lombardia Orientale per i Trasporti e la Logistica Società Consortile a Responsabilità Limitata AVVISO PUBBLICO

ALOT - Agenzia della Lombardia Orientale per i Trasporti e la Logistica Società Consortile a Responsabilità Limitata AVVISO PUBBLICO ALOT - Agenzia della Lmbardia Orientale per i Trasprti e la Lgistica Scietà Cnsrtile a Respnsabilità Limitata AVVISO PUBBLICO ALOT - Agenzia della Lmbardia Orientale per i Trasprti e la Lgistica è una

Dettagli

Curriculum Vitae TITOLI DI STUDIO E PROFESSIONALI ED ESPERIENZE LAVORATIVE

Curriculum Vitae TITOLI DI STUDIO E PROFESSIONALI ED ESPERIENZE LAVORATIVE Curriculum Vitae INFORMAZIONI PERSONALI Alessi Lutazi TITOLI DI STUDIO E PROFESSIONALI ED ESPERIENZE LAVORATIVE Titli di Studi: Laurea Magistrale in Ingegneria Meccanica, indirizz Energia cnseguita press

Dettagli

Convegno organizzato dall Associazione ICT Dott.com. Business Intelligence L utilità per le imprese. Prof. Elena Baralis. Politecnico di Torino

Convegno organizzato dall Associazione ICT Dott.com. Business Intelligence L utilità per le imprese. Prof. Elena Baralis. Politecnico di Torino Cnvegn rganizzat dall Assciazine ICT Dtt.cm Business Intelligence L utilità per le imprese Prf. Plitecnic di Trin D B M G Data Base and Data Mining Grup f Plitecnic di Trin Supprt alle decisini aziendali

Dettagli

FORMAZIONE IN HOUSE : Acquisti, Logistica, Trasporti, Commercio Internazionale

FORMAZIONE IN HOUSE : Acquisti, Logistica, Trasporti, Commercio Internazionale FORMAZIONE IN HOUSE : Acquisti, Lgistica, Trasprti, Cmmerci Internazinale La frmazine rganizzata dal nstr netwrk mira a sddisfare la necessità d apprfndiment dei temi relativi ai temi di Acquisti,Lgistica

Dettagli

Formstat Flight. Caratteristiche di Formstat Flight

Formstat Flight. Caratteristiche di Formstat Flight Frmstat Flight Frmstat Flight è una suite di prgrammi prgettati cn l bbiettiv di ttimizzare il prcess frmativ e sfruttare al megli l interattività e la multimedialità fferte dai nuvi strumenti messi a

Dettagli

Dipartimento di Medicina Veterinaria. in collaborazione con. Corso di Project Management

Dipartimento di Medicina Veterinaria. in collaborazione con. Corso di Project Management Dipartiment di Medicina Veterinaria in cllabrazine cn Crs di Prject Management Premesse Il crs nasce a seguit dell esperienza vissuta da un un grupp di dcenti e ricercatri del Dipartiment di Medicina Veterinaria

Dettagli

PROGETTO: ADEGUAMENTO SITO INTERNET COMUNALE ALLE NORME W3C IN TEMA DI ACCESSIBILITA' ED USABILITA'

PROGETTO: ADEGUAMENTO SITO INTERNET COMUNALE ALLE NORME W3C IN TEMA DI ACCESSIBILITA' ED USABILITA' PROGETTO: ADEGUAMENTO SITO INTERNET COMUNALE ALLE NORME W3C IN TEMA DI ACCESSIBILITA' ED USABILITA' 1. Finalità Le ragini del prgett: Il sit internet del Cmune è stat realizzat nel 2002 nella sua attuale

Dettagli

MARTINA ZIPOLI. Curriculum Vitae Martina Zipoli INFORMAZIONI PERSONALI. Sesso Femmina Data di nascita 14/12/1986 Nazionalità Italiana

MARTINA ZIPOLI. Curriculum Vitae Martina Zipoli INFORMAZIONI PERSONALI. Sesso Femmina Data di nascita 14/12/1986 Nazionalità Italiana INFORMAZIONI PERSONALI MARTINA ZIPOLI Sess Femmina Data di nascita 14/12/1986 Nazinalità Italiana ESPERIENZA PROFESSIONALE Archelga press cantieri di scav prgrammat ed emergenza, cn ruli di respnsabile

Dettagli

IL BUSINESS CONTINUITY PLAN DEI SISTEMI INFORMATIVI E DISASTER RECOVERY

IL BUSINESS CONTINUITY PLAN DEI SISTEMI INFORMATIVI E DISASTER RECOVERY IL BUSINESS CONTINUITY PLAN DEI SISTEMI INFORMATIVI E DISASTER RECOVERY UN BUON MOTIVO PER [cd. E453] Il Crs ha cme biettiv di frnire gli strumenti e le metdlgie per prevenire e gestire efficacemente le

Dettagli

Annual General Meeting AGM 3-6 Aprile 2014

Annual General Meeting AGM 3-6 Aprile 2014 Annual General Meeting AGM 36 Aprile 2014 Erasmus Student Netwrk Annual General Meeting 2014 Milan Italia COS'E' ESN? Erasmus Student Netwrk (ESN) è una delle più grandi assciazini studentesche in Eurpa.

Dettagli

Sede legale: Dipartimento di Economia Università degli Studi di Parma- Via J.F. Kennedy 6 43125 Parma C.F. 93053280504 - P.I.

Sede legale: Dipartimento di Economia Università degli Studi di Parma- Via J.F. Kennedy 6 43125 Parma C.F. 93053280504 - P.I. SCUOLA SIM COME SI SCRIVE UNA MONOGRAFIA NETWORK ANALYSIS Università degli Studi di Napli Federic II, Dipartiment di Ecnmia, Management, Istituzini. Aula ex Presidenza, Centri Cmuni - Campus Universitari

Dettagli

TLC. Advisory Tax Legal & Financial services

TLC. Advisory Tax Legal & Financial services Presentazine 2011 TLC Advisry Tax Legal & Financial services Stria L Studi nasce nel 2011 dalle esperienze cngiunte dell Studi assciat Rucc e del dtt. Antni Rull. L Studi assciat Rucc vanta una trentennale

Dettagli

Istruzione e formazione all imprenditorialità

Istruzione e formazione all imprenditorialità Istruzine e frmazine all imprenditrialità L istruzine e la frmazine all imprenditrialità è il punt di partenza per sviluppare ed espandere l attività dei prfessinisti, miglirand la lr cnscenza e le lr

Dettagli

ANNA SIMONETTO CURRICULUM VITAE ET STUDIORUM. Brescia, 1 aprile 2015

ANNA SIMONETTO CURRICULUM VITAE ET STUDIORUM. Brescia, 1 aprile 2015 ANNA SIMONETTO CURRICULUM VITAE ET STUDIORUM Brescia, 1 aprile 2015 DR. ANNA SIMONETTO UNIVERSITÀ DEGLI STUDI DI BRESCIA CONTRADA S. CHIARA, 50 25122 BRESCIA ANNA SIMONETTO Curriculum Vitae et Studirum

Dettagli

Marisa Fabietti. Curriculum Vitae Marisa Fabietti INFORMAZIONI PERSONALI. +390718063808 marisa.fabietti@regione.marche.it

Marisa Fabietti. Curriculum Vitae Marisa Fabietti INFORMAZIONI PERSONALI. +390718063808 marisa.fabietti@regione.marche.it INFORMAZIONI PERSONALI Marisa Fabietti +390718063808 marisa.fabietti@regine.marche.it Nata a Jesi (An) il 12/10/1964 POSIZIONE PER LA QUALE SI CONCORRE POSIZIONE RICOPERTA Servizi Attività prduttive, lavr,

Dettagli

InfoCenter Product a PLM Product

InfoCenter Product a PLM Product InfCenter Prduct a PLM Prduct Inf Center Prduct Cmpnenti di Inf Center Prduct La gestine dcumenti Definizine e ggett Acquisizine di un ggett Funzini sugli ggetti L integrazine prgettazine e gestinali Le

Dettagli

Otello Marchesini. otello.marchesini@emmagency.it

Otello Marchesini. otello.marchesini@emmagency.it C U R R I C U L U M V I T A E INFORMAZIONI PERSONALI (si autrizza il trattament dei dati ai sensi della Legge n. 675/96) Nme Indirizz 10A, Via Castelli Bella Guardia, 36075, Mntecchi Maggire (Vicenza),

Dettagli

Sviluppo di applicazioni con XML e Web Services

Sviluppo di applicazioni con XML e Web Services Svilupp di applicazini cn XML e Web Services di Gabriele Pellegrinetti Tecnet Dati s.r.l. Crs Svizzera 185 10149 Trin Tel. 011-7718090 http://www.tecnetdati.cm mail: inf@tecnetdati.it Tecnet Dati s.r.l.

Dettagli

ALESSANDRA ALESSANDRI

ALESSANDRA ALESSANDRI ALESSANDRA ALESSANDRI Frmazine 1991, Milan Master in Marketing e Cmunicazine Publitalia, 3 edizine Diplma cn merit. Brsa di studi Publitalia Stage press la direzine di Canale 5. 1990, Milan Laurea in Lettere

Dettagli

A.s. 2012-2013 Programma di Informatica

A.s. 2012-2013 Programma di Informatica Via Tscana, 10 Parma tel. 0521266511 fax 0521266550 A.s. 2012-2013 Prgramma di Infrmatica Gli aspetti terici della disciplina sn suddivisi in 5 mduli: A. Prgett di sistemi infrmativi B. Basi di dati C.

Dettagli

Scuola secondaria di 1 grado F. Malaguti Valsamoggia Anno scolastico 2014/2015 Programmazione per competenze Curricolo classi prime -tecnologia

Scuola secondaria di 1 grado F. Malaguti Valsamoggia Anno scolastico 2014/2015 Programmazione per competenze Curricolo classi prime -tecnologia Scula secndaria di 1 grad F. Malaguti Valsamggia Ann sclastic 2014/2015 Prgrammazine per cmpetenze Curricl classi prime -tecnlgia Traguardi per l svilupp delle cmpetenze al termine della scula secndaria

Dettagli

Amministrazione e Bilancio Docente di riferimento: Patrizia Tettamanzi

Amministrazione e Bilancio Docente di riferimento: Patrizia Tettamanzi Amministrazine e Bilanci Dcente di riferiment: Patrizia Tettamanzi Il prim macr-mdul ha l biettiv di permettere ai partecipanti di apprfndire la cnscenza degli strumenti fndamentali per una crretta applicazine

Dettagli

PROGRAMMA. Progettazione del Sistema. Elementi di Meccanica, Elettronica, Elettrotecnica e norme UNI e CEI di supporto alla Progettazione

PROGRAMMA. Progettazione del Sistema. Elementi di Meccanica, Elettronica, Elettrotecnica e norme UNI e CEI di supporto alla Progettazione PROGRAMMA Prgettazine del Sistema. 1. Architettura e caratteristiche dei: PLC (Prgrammable Lgic Cntrller, Cntrllri a lgica prgrammabile), Cmputer industriali specializzati nella gestine dei prcessi prduttivi,

Dettagli

ASL SALERNO VIA NIZZA 146 - SALERNO Curriculum Formativo e Professionale di: Lucchetti Antonio (aggiornato al 10/10/2014)

ASL SALERNO VIA NIZZA 146 - SALERNO Curriculum Formativo e Professionale di: Lucchetti Antonio (aggiornato al 10/10/2014) ASL SALERNO VIA NIZZA 146 - SALERNO Curriculum Frmativ e Prfessinale di: Lucchetti Antni (aggirnat al 10/10/2014) INFORMAZIONI PERSONALI Nme Telefn Fax e-mail Nazinalità Data di nascita Lucchetti Antni

Dettagli

CURRICULUM VITAE CORSI MICHELA INFORMAZIONI PERSONALI. Nome. Data di nascita 05/01/1967 RICERCA. Incarichi attuali

CURRICULUM VITAE CORSI MICHELA INFORMAZIONI PERSONALI. Nome. Data di nascita 05/01/1967 RICERCA. Incarichi attuali CURRICULUM VITAE INFORMAZIONI PERSONALI Nme CORSI MICHELA Data di nascita 05/01/1967 Qualifica attuale DIRIGENTE PUBBLICO Amministrazine MINISTERO DELL'ISTRUZIONE, DELL UNIVERSITA' E DELLA RICERCA Incarichi

Dettagli

CASSETTA DEGLI ATTREZZI STANDARD. Tipo Ente: Trasversale. Servizio: Valutazione Sito internet

CASSETTA DEGLI ATTREZZI STANDARD. Tipo Ente: Trasversale. Servizio: Valutazione Sito internet CASSETTA DEGLI ATTREZZI STANDARD Tip Ente: Trasversale Servizi: Valutazine Sit internet INDICE Smmari 1 OGGETTO E CONTENUTI... 3 1.1 DESCRIZIONE DEL SERVIZIO OGGETTO DI CUSTOMER SATISFACTION... 4 1.2 DESCRIZIONE

Dettagli

Metodi. Strumenti. Risorse. www.imparadigitale.it

Metodi. Strumenti. Risorse. www.imparadigitale.it Metdi. Strumenti. Risrse www.imparadigitale.it I NOSTRI OBIETTIVI Mdellizzare la didattica per cmpetenze nelle tecnlgie Sperimentare metdi didattici innvativi Cndividere esperienze Fare ricerca e frmazine

Dettagli

Tommaso Pucci CURRICULUM VITAE. Siena, 25 novembre 2014

Tommaso Pucci CURRICULUM VITAE. Siena, 25 novembre 2014 Tmmas Pucci Siena, 25 nvembre 2014 CURRICULUM VITAE Istruzine e Titli 11.01.2013 Ph.D. in Ecnmia e Gestine delle Imprese e Sistemi Lcali XXV cicl (Università di Firenze). Tesi di Dttrat: Capacità interne,

Dettagli

Dati del Legale rappresentante. Dati dell ente/associazione beneficiario/a del contributo. Rendicontazione contributo ricevuto per:

Dati del Legale rappresentante. Dati dell ente/associazione beneficiario/a del contributo. Rendicontazione contributo ricevuto per: spazi riservat al prtcll Classifica titlari: 5SP 12 data di arriv Rendicntazine cntribut ricevut per: interventi di sstegn alle manifestazini sprtive in favre di persne cn disabilità Al Servizi attività

Dettagli

Banche e Assicurazioni Laboratory

Banche e Assicurazioni Laboratory Centr Sperimentale di Svilupp delle Cmpetenze per il settre finanziari e assicurativ Banche e Assicurazini Labratry Bzza Pian Operativ Nvembre 2012 A us intern del partenariat INDICE 1. Premessa... 3 2.

Dettagli

SenTaClAus Sentiment Tagging & Clustering Analysis on web & social contents

SenTaClAus Sentiment Tagging & Clustering Analysis on web & social contents Via Marche 10 56123 Pisa Phne +39.050.552574 Fax +39.1782239361 inf@netseven.it - www.netseven.it P.IVA 01577590506 REGIONE TOSCANA POR CReO FESR 2007 2013 LINEA D INTERVENTO 1.5.a - 1.6 BANDO UNICO R&S

Dettagli

Master universitari di I livello Master universitari di II livello Corsi universitari di Perfezionamento

Master universitari di I livello Master universitari di II livello Corsi universitari di Perfezionamento Master universitari di I livell Master universitari di II livell Crsi universitari di Perfezinament ALL. 1 Spett.le INPS Direzine Centrale Credit e Welfare (sl per iniziative prpste da Atenei stranieri)

Dettagli

DEVELOPING JAVASERVER FACES WEB APPLICATIONS WITH AJAX USING SUN JAVA STUDIO CREATOR

DEVELOPING JAVASERVER FACES WEB APPLICATIONS WITH AJAX USING SUN JAVA STUDIO CREATOR DEVELOPING JAVASERVER FACES WEB APPLICATIONS WITH AJAX USING SUN JAVA STUDIO CREATOR UN BUON MOTIVO PER [cd. S307] Il crs Develping Web Applicatins With AJAX Using Sun Java Studi Creatr descrive i principi

Dettagli

* Laurea in Architettura conseguita presso l Istituto Universitario di Architettura di Venezia nel 1989

* Laurea in Architettura conseguita presso l Istituto Universitario di Architettura di Venezia nel 1989 Nme e Cgnme: Lides Canaia Data di nascita: 5 Marz 1961 Funzine attuale: Direttre Area Gestinale Istruzine: * Laurea in Architettura cnseguita press l Istitut Universitari di Architettura di Venezia nel

Dettagli

Servizi in Cloud per la sicurezza e l automazione

Servizi in Cloud per la sicurezza e l automazione Time4Mind: la rispsta clud di Intesi Grup Servizi in Clud per la sicurezza e l autmazine Pwered by Intesi Grup SpA 2012 Pwered by Intesi Grup SpA Milan, 9 aprile 2013 Slide N. 1 Marz 2013 Time4Mind in

Dettagli

Istituto Tecnico Statale G. P. Chironi via Toscana n 29, 08100 Nuoro (NU) - 0784 30067

Istituto Tecnico Statale G. P. Chironi via Toscana n 29, 08100 Nuoro (NU) - 0784 30067 Istitut Tecnic Statale G. P. Chirni via Tscana n 29, 08100 Nur (NU) - 0784 30067 Lgistica e Trasprti Aernautici Amministrazine Finanza e Marketing Sistemi Infrmativi Aziendali L Istitut è accreditat da

Dettagli

DATI PERSONALI FORMAZIONE POST DIPLOMA/LAUREA

DATI PERSONALI FORMAZIONE POST DIPLOMA/LAUREA CURRICULUM VITAE DATI PERSONALI Nme e Cgnme Stefan LAURENTI Data di nascita 3, Marz, 1955 Diplma Superire - vt Istitut Tecnic Industriale (Energia Nucleare), vt 60/60 Diplma di Laurea - vt Frmazine fac.

Dettagli

INFORMAZIONI PERSONALI

INFORMAZIONI PERSONALI C U R R I C U L U M V I T A E INFORMAZIONI PERSONALI Nme Marc GARGIULO Data di nascita 20 ttbre 1962 Qualifica Categria D Amministrazine Giunta Reginale della Campania - AGC Turism e Beni Culturali Settre

Dettagli

Regione Calabria Dipartimento n.9 Lavori Pubblici ed Infrastrutture

Regione Calabria Dipartimento n.9 Lavori Pubblici ed Infrastrutture UNIONE EUROPEA REPUBBLICA ITALIANA REGIONE CALABRIA Regine Calabria Dipartiment n.9 Lavri Pubblici ed Infrastrutture Via Crispi 33-88100 CATANZARO SPECIFICHE SIERC: INTEGRAZIONE PROTOCOLLO SIAR POR Calabria

Dettagli

Nuove Tecnologie per il Made in Italy nel settore dei servizi alle imprese. Tecnico superiore per il marketing, l internazionalizzazione delle imprese

Nuove Tecnologie per il Made in Italy nel settore dei servizi alle imprese. Tecnico superiore per il marketing, l internazionalizzazione delle imprese Allegat A Tecnic superire per il marketing, l internazinalizzazine delle imprese 2011 Prgett didattic frmativ Nuve Tecnlgie per il Made in Italy nel settre dei servizi alle imprese ITS SERVIZI ALLE IMPRESE

Dettagli

TECNICO SUPERIORE PER LO SVILUPPO SOFTWARE. Spec. in Tecnico per lo sviluppo di soluzioni web-based su reti fisse e mobili.

TECNICO SUPERIORE PER LO SVILUPPO SOFTWARE. Spec. in Tecnico per lo sviluppo di soluzioni web-based su reti fisse e mobili. TECNICO SUPERIORE PER LO SVILUPPO SOFTWARE Spec. in Tecnic per l svilupp di sluzini web-based su reti fisse e mbili. Il Tecnic Superi per l Svilupp del Sftware pera e cllabra nelle attività di analisi

Dettagli

TECNICO SISTEMISTA HARDWARE E SOFTWARE CERTIFICATO EUCIP IT ADMINISTRATOR INFORMAZIONI GENERALI ATTESTATO CHE IL CORSO RILASCIA

TECNICO SISTEMISTA HARDWARE E SOFTWARE CERTIFICATO EUCIP IT ADMINISTRATOR INFORMAZIONI GENERALI ATTESTATO CHE IL CORSO RILASCIA BANDO-SCHEDA INFORMATIVA DEL CORSO: TECNICO SISTEMISTA HARDWARE E SOFTWARE CERTIFICATO EUCIP IT ADMINISTRATOR INFORMAZIONI GENERALI ATTESTATO CHE IL CORSO RILASCIA Attestat di TECNICO SISTEMISTA HARDWARE

Dettagli

Il metodo Zugeer Sabrina Tonielli Zugeer 05/01/2011

Il metodo Zugeer Sabrina Tonielli Zugeer 05/01/2011 Il metd Zugeer Sabrina Tnielli Zugeer 05/01/2011 IL METODO ZUGEER Il metd Zugeer Pag. 2 INDICE 1. COME E NATA L IDEA... 4 2. IL METODO... 4 3. PERCHE ZUGEER... 4 4. IN COSA CONSISTE... 5 5. LE REGOLE...

Dettagli

Schedulazione ed ottimizzazione delle risorse produttive. Le problematiche. Le funzioni. carico o combinazioni di questi. di

Schedulazione ed ottimizzazione delle risorse produttive. Le problematiche. Le funzioni. carico o combinazioni di questi. di Schedulazine ed ttimizzazine delle risrse prduttive. Obiettiv: Pyramide prduttive ed è sulla gestine un ptente base del dei mtre caric materiali di lavr schedulazine impiegati richiest e a capacità delle

Dettagli

DB2 System and Application Tuning Consulting. Una soluzione per gestire le performance del vostro ambiente DB2

DB2 System and Application Tuning Consulting. Una soluzione per gestire le performance del vostro ambiente DB2 DB2 System and Applicatin Tuning Cnsulting per Una sluzine per gestire le perfrmance del vstr ambiente DB2 DB2 System and Applicatin Management Cnsulting Versine 1.0 del 24 Gennai 2008 Indice 1 DESCRIZIONE

Dettagli

CURRICULUM PERSONALE

CURRICULUM PERSONALE CURRICULUM PERSONALE GERMANO FRANCESCHIN Nat a Camplng Maggire (VE) il 20 nvembre 1963 Residente a Camplng Maggire (VE) 30010 via De Gasperi n 19 Sede Uffici Padva 35100 Via Tmmase n 24, Tel. Fax 049 8364364,

Dettagli

PIANO DIDATTICO PERSONALIZZATO SCUOLA SECONDARIA DI 1 GRADO G. MORANDI

PIANO DIDATTICO PERSONALIZZATO SCUOLA SECONDARIA DI 1 GRADO G. MORANDI Minister dell Istruzine, dell Università e della Ricerca ISTITUTO COMPRENSIVO PIAZZA COSTA Piazza Andrea Csta 23-20092 Cinisell Balsam (MI) MIIC8AP009 C.F. 85007630156 e-mail: miic8ap009@istruzine.it PEC:

Dettagli

Formazione degli Operatori dei Centri pubblici di accesso per la realizzazione dell e-inclusion. Catalogo corsi

Formazione degli Operatori dei Centri pubblici di accesso per la realizzazione dell e-inclusion. Catalogo corsi Frmazine degli Operatri dei Centri pubblici di access per la realizzazine dell e-inclusin Catalg crsi I PERCORSI FORMATIVI DEL PROGETTO Il Pian di frmazine previst nell ambit del Prgett @ll-in si pne cme

Dettagli

PROJECT RISK MANAGEMENT EXECUTIVE

PROJECT RISK MANAGEMENT EXECUTIVE -------------------------------------------------------------------------------- PROJECT RISK MANAGEMENT EXECUTIVE -------------------------------------------------------------------------------- Percrs

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 cmpilazine della Scheda Unica Annuale della Ricerca Dipartimentale (SUA-RD) Indice 1. Le basi nrmative ed aspetti generali 2. Parte I: biettivi, gestine e gestine del Dipartiment 2.1.

Dettagli

Consorzio Quinn Referenze

Consorzio Quinn Referenze Cnsrzi Quinn Referenze 2 Smmari Attività recenti del Cnsrzi 3 Prdtti e servizi per ambiti di intervent Supprt all implementazine di sistemi di gestine certificabili Metdi e indicatri per valutare le perfrmance

Dettagli

e/fiscali - Rel. 04.01.01

e/fiscali - Rel. 04.01.01 e/fiscali - Rel. 04.01.01 Mntebelluna, 17 ttbre 2013 e/fiscali - Fix 04.01.01 Dcumentazine di rilasci 24 ORE Sftware S.p.A. 14/10/2013 Pag. 1 di 14 INDICE 1 FIX 04.01.01 DI E/FISCALI... 3 2 NOTE DI INSTALLAZIONE...

Dettagli

System Document Console SDC Suite di moduli realizzati in ambiente Lotus Notes/Domino Supporto al PDM

System Document Console SDC Suite di moduli realizzati in ambiente Lotus Notes/Domino Supporto al PDM System Dcument Cnsle SDC Suite di mduli realizzati in ambiente Ltus Ntes/Dmin Supprt al PDM Recenti ricerche hann evidenziat cme sl il 20% delle infrmazini presenti in azienda sia Strutturat vver risiede

Dettagli

Oggetto: presentazione candidature Funzioni Strumentali al Piano dell Offerta Formativa

Oggetto: presentazione candidature Funzioni Strumentali al Piano dell Offerta Formativa MINISTERO DELLA PUBBLICA ISTRUZIONE UFFICIO SCOLASTICO REGIONALE PER IL LAZIO ISTITUTO D ISTRUZIONE SUPERIORE VIA COPERNICO VIA COPERNICO 1 00040 POMEZIA (ROMA) TEL. 06 121127550 FAX 0667666356 CODICE

Dettagli

Sommario. Introduzione. Prodotti

Sommario. Introduzione. Prodotti 2 Smmari Intrduzine Prdtti 3 Presentazine di Mntalban Technlgy 4 Mntalban Technlgy s.p.a. Nata cme ram tecnlgic di Mntalban Industria Agralimentare S.p.A. Diventa S.p.A. nel 2005 Sede a Pistia (Italy)

Dettagli

CASSETTA DEGLI ATTREZZI STANDARD. Tipo Ente: Asl. Ufficio: Assistenza 118. Servizio: Servizio 118

CASSETTA DEGLI ATTREZZI STANDARD. Tipo Ente: Asl. Ufficio: Assistenza 118. Servizio: Servizio 118 CASSETTA DEGLI ATTREZZI STANDARD Tip Ente: Asl Uffici: Assistenza 118 Servizi: Servizi 118 INDICE Smmari 1 OGGETTO E CONTENUTI... 3 1.1 DESCRIZIONE DEL SERVIZIO OGGETTO DI CUSTOMER SATISFACTION... 4 1.2

Dettagli

Microsoft SQL Server 2005, 2008 R2 e 2012 Raccomandazioni Marzo 2013

Microsoft SQL Server 2005, 2008 R2 e 2012 Raccomandazioni Marzo 2013 Micrsft SQL Server 2005, 2008 R2 e 2012 Raccmandazini Marz 2013 1. Micrsft SQL Server 2005 PrefSuite 2006.3 e PrefSuite 2008 sn cmpatibili cn questa versine di SQL. L investiment in Micrsft SQL Server

Dettagli

Prot. n 526 B/17 Acquaviva, 02.02.2015

Prot. n 526 B/17 Acquaviva, 02.02.2015 DIREZIONE DIDATTICA STATALE 1 CIRCOLO DE AMICIS P.zza Di Vagn, 18 70021 ACQUAVIVA DELLE FONTI (BA) Tel. 080-761314 Fax 080 3051357 www.deamicis.gv.it. e-mail BAEE03600L@ISTRUZIONE.IT BAEE03600L@PEC.ISTRUZIONE.IT

Dettagli

Corso di Informatica per la Gestione Aziendale

Corso di Informatica per la Gestione Aziendale Crs di Infrmatica per la Gestine Aziendale Ann Accademic: 2008/2009 3 parte DOCENTI: Prf.ssa Cecilia Rssignli Dtt. Gianluca Geremia Università degli Studi di Verna Dipartiment di Ecnmia Aziendale 81 LA

Dettagli

FATTURA ELETTRONICA PA

FATTURA ELETTRONICA PA Sistema Infrmativ PA FATTURA ELETTRONICA PA IL QUADRO DI RIFERIMENTO L intrduzine della fattura elettrnica è stata avviata cn la Legge n. 244 del 2007, che ne ha intrdtt l bblig, rinviand le mdalità di

Dettagli

Medical Science Liaison

Medical Science Liaison Medical Science Liaisn Frmazine in-huse e webinar dedicata alle aziende Medical Science Liaisn: miglirare l efficienza di una prfessine cmplessa Master per l svilupp delle cmpetenze tecnic-scientifiche

Dettagli

L-2 Biotecnologie; L-13 Scienze Biologiche; L-22 Scienze delle Attività motorie e sportive; L-24 Scienze e Tecniche Psicologiche;

L-2 Biotecnologie; L-13 Scienze Biologiche; L-22 Scienze delle Attività motorie e sportive; L-24 Scienze e Tecniche Psicologiche; Il Rettre Decret n. 98376 (1284) Ann 2014 VISTO il Decret Rettrale n. 78207 (899) del 9 ttbre 2014, cn il quale è istituit, per l ann accademic 2014/2015, il Master di I livell in Medicina Integrativa

Dettagli

Laurea in Psicologia (1981), Università degli Studi di Padova. Master in Linguistica (1985), State University of New York at Buffalo

Laurea in Psicologia (1981), Università degli Studi di Padova. Master in Linguistica (1985), State University of New York at Buffalo Genva, 18 ttbre 1956-20 gennai 2006 Titli di Studi Laurea in Psiclgia (1981), Università degli Studi di Padva Master in Linguistica (1985), State University f New Yrk at Buffal Dttrat in Psiclgia Cgnitiva

Dettagli

Libro di testo e materiale didattico: Cloud - Piero Gallo, Fabio Salerno Minerva Scuola. Appunti scaricabili dal sito web dell Istituto.

Libro di testo e materiale didattico: Cloud - Piero Gallo, Fabio Salerno Minerva Scuola. Appunti scaricabili dal sito web dell Istituto. Crs di Infrmatica Prgramma svlt nella classe V sez. D Infrmatica ann sclastic 2014/2015 Prf. Enni Ranucci Prf. Margherita Puca (labratri) Finalità: Gestire il prgett e la manutenzine di sistemi infrmativi

Dettagli

Guida per la compilazione on-line delle domande di partecipazione al concorso

Guida per la compilazione on-line delle domande di partecipazione al concorso Cnferiment degli incarichi di funzini didattiche a persnale dell Azienda Ospedaliera Universitaria Federic II Guida per la cmpilazine n-line delle dmande di partecipazine al cncrs Intrduzine La prcedura

Dettagli

lombardi.mz@gmail.com

lombardi.mz@gmail.com 1 F ORMATO EUROPEO PER IL CURRICULUM VITAE INFORMAZIONI PERSONALI Nme LOMBARDI MAURIZIO Indirizz VIA ROSSINI 7/9 Telefn +393476064721 Fax 019601753 E-mail lmbardi.mz@gmail.cm Nazinalità Italiana Data di

Dettagli

ISTITUTO DI ISTRUZIONE SUPERIORE LICEO CONCETTO MARCHESI

ISTITUTO DI ISTRUZIONE SUPERIORE LICEO CONCETTO MARCHESI Mascalucia, 17/11/2014 Prt. n.4174/d1 A tutti gli interessati di madrelingua inglese e tedesc All Alb/al Sit Web Oggett: Avvis di reclutament di persnale madrelingua inglese e tedesca per l svlgiment di

Dettagli

5020 : cinquantavent i

5020 : cinquantavent i 020 : cinquantavent i Presentazine a IT@WORK Marz 201 16/03/201 020-cinquantaventi Nasce dall idea di un grupp di manager cn l biettiv di utilizzare le migliri cmpetenze rganizzative e ICT dispnibili sul

Dettagli

Sistemi IBM Open Power e IBM xseries. Guida alla Procedura di Installazione

Sistemi IBM Open Power e IBM xseries. Guida alla Procedura di Installazione Sistemi IBM Open Pwer e IBM xseries ACG Express Applicazini Cntabili Gestinali Guida alla Prcedura di Installazine Quest dcument è pubblicat sul seguente indirizz http://express.acginf.it/dcumentazine_express.asp

Dettagli

IL CURRICULUM VITAE EUROPEO Ver.(1.0)

IL CURRICULUM VITAE EUROPEO Ver.(1.0) Dp l eur ecc un altra nvità che avvicina sempre più i paesi dell EU: un curriculum vitae in frmat eurpe: CVE. A prmuverl è la cmmissaria eurpea Viviane Reding, cn una Raccmandazine pubblicata nella Gazzetta

Dettagli

CURRICULUM VITAE ALESSIO MONTI

CURRICULUM VITAE ALESSIO MONTI CURRICULUM VITAE ALESSIO MONTI DATI PERSONALI Nme e cgnme E-mail Nickname Rul ricpert Alessi Mnti alessi.mnti@unicusan.it (sl per cmunicazini interne ed amministrative) mnti.alessi (da utilizzare per i

Dettagli

MEDIATORI DELL INNOVAZIONE 19 MAGGIO - 7 LUGLIO 2011

MEDIATORI DELL INNOVAZIONE 19 MAGGIO - 7 LUGLIO 2011 In cllabrazine cn: MEDIATORI DELL INNOVAZIONE 19 MAGGIO - 7 LUGLIO 2011 C/O STRUTTURE DELLA RICERCA DELLA RETE ALTA TECNOLOGIA DELL EMILIA-ROMAGNA Centuria RIT e Amitié rganizzan un percrs frmativ sui

Dettagli