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

Dimensione: px
Iniziare la visualizzazioe della pagina:

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

Transcript

1 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 engineering e metodi formali, (2) applicazioni orientate ai servizi, (3) sistemi embedded. Ciascuna proposta può essere adattata sia per la laurea triennale che per laurea magistrale. Se siete interessati contattatemi: 1. Ambito: Model-driven driven engineering e metodi formali I metodi formali sono linguaggi di specifica (modellazione) -- come Reti di Petri, B, Eiffel, Esterel, Lustre, RAISE, VDM, Z, Abstract State Machines (ASMs), Algebra dei Processi, ecc. basati su teorie matematiche (la logica, teoria degli automi o dei grafi) che permettono tono di applicare tecniche di analisi (validazione e verifica) formale delle proprietà di un sistema. L approccio Model-driven driven Engineering (MDE) sembra emergere come nuovo paradigma metodologico dell ingegneria del software. MDE propone una forma di ingegneria generativa basata sul principio di unificazione "Everything is a model" secondo cui i modelli quale rappresentazione ad un certo livello di astrazione di concetti/aspetti del sistema che si sta realizzando rivestono il ruolo fondamentale di first-class artifact lungo l intero processo di sviluppo, ovvero le componenti di un sistema sono generate a partire da modelli via via sempre più dettagliati e con l impiego di tool in grado di eseguire trasformazioni tra modelli. L approccio MDE risolve il problema della complessità progettuale dei sistemi con l impiego, a diversi livelli di astrazione, di modelli definiti tramite domain-specific modelling languages (DSML) come, ad esempio, profili o dialetti dell UML per un dato dominio applicativo di interesse, e di trasformazioni automatiche verticali (o di raffinamento) model-to-model e model-to-code per l implementazione di sistemi corretti per costruzione. I DSML sono a loro volta definiti in termini di un (meta-)modello, ovvero gli stessi principi MDE sono applicati all ingegnerizzazione stessa dei linguaggi di modellazione. Esistono diverse piattaforme che implementano i principi MDE tra cui l Eclipse Modeling Framework (EMF), l Atlas Model Management Architecture (AMMA), model-integrated computing (MIC) ed il toolsuite GME; Microsoft DSL Tool, la Model-driven driven Architecture (MDA) del gruppo OMG, Kermeta, ecc..). Linguaggi di trasfomazione e weaving di modelli Studio e confronto di linguaggi di trasformazione e weaving di modelli scritti secondo un domain-specific modeling language (DSML). Tecnologie e linguaggi: Model-driven engineering, meta-modellazione modellazione e trasformazione di modelli, aspect-oriented modeling, MDA/MOF-UML, EMF/Ecore. Tipo e complessità di lavoro: Il lavoro sarà di esplorativo con lo scopo d'illustrare in modo ragionato e critico le tecniche e gli strumenti esistenti, sperimentandoli su un caso di studio. 1

2 AMMA workbench e ATLAS Model Weaver: Kermeta workbench: Un framework semantico per domain-specific modelling languages (DSML) Studio e applicazione di linguaggi di trasformazioni di modelli a supporto di un framework semantico basato sul formalismo di specifica Abstract State Machines (ASM) per definire e validare la semantica (comportamentale ed eseguibile) di un domain-specific modelling languages (DSML). MDA/MOF-UML, EMF/Ecore, Abstract State Machines (ASM). Tipo e complessità di lavoro: Il lavoro sarà di sperimentale con lo scopo d'illustrare in modo ragionato e critico le tecniche e gli strumenti esistenti, sperimentandoli su un caso di studio ovvero su un DSML. Eclipse Modeling Framework (EMF): AMMA workbench e ATLAS Model Weaver: Kermeta workbench: Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra: A semantic framework for metamodel-based languages. Autom. Softw. Eng. 16(3-4): (2009) Modellazione multi-view: weaving di modelli strutturali e comportamentali Studio di linguaggi e strumenti MDE per il weaving di modelli, e loro sperimentazione come supporto alla modellazione multi-view di sistemi software. Si propone, in particolare, la loro applicazione per il weaving di modelli di classi UML o altro (vista strutturale) con modelli di macchine a stati astratte (vista comportamentale) per il design di applicazioni orientate agli oggetti. aspect-oriented modeling, MDA/MOF-UML, EMF/Ecore, Abstract State Machines (ASM). Tipo e complessità di lavoro: Il lavoro sarà di esplorativo/sperimentale con lo scopo di illustrare in modo ragionato e critico le tecniche e gli strumenti esistenti, sperimentandoli su un caso di studio. AMMA workbench e ATLAS Model Weaver: Kermeta workbench: UML: 2

3 Un approccio (meta-)model driven per l integrazione di tool a supporto di un metodo formale Definizione e implementazione di un pivot metamodel adapter e di un motore di trasformazioni di modelli (model-to-model e model-to text) per integrare un insieme di tool attorno al metodo formale Abstract State Machine (ASM) (un estensione particolare delle macchine a stati finiti ). Tale workbench faciliterà l interscambio di modelli ASM tra diversi tool ASM di design e analisi attraverso un formato di interscambio XMI, permettendone quindi l integrazione. XMI (XML Metadata interchange), Abstract State Machines (ASM). Tipo e complessità di lavoro: Il lavoro sarà di esplorativo/sperimentale con lo scopo di illustrare in modo ragionato e critico le tecniche e gli strumenti esistenti, sperimentandoli su un caso di studio. Esempi di tool ASM: Asmeta tolset CoreASM Sintesi di codice a partire da modelli astratti ASM, e viceversa. Definizione e sviluppo di un generatore per la sintesi di codice Java annotato (java annotation framework) a partire da modelli astratti Abstract State Machine (ASM) (un estensione particolare delle macchine a stati finiti ) di parti/aspetti critici di un sistema. Le annotazioni consentono la tracciabilità del modello astratto nel codice Java e facilitano l operazione inversa di reverse engineering. Abstract State Machines (ASM), java, Attribute-oriented programming. Tipo e complessità di lavoro: Il lavoro sarà di tipo teorico/sperimentale con lo scopo di definire dei pattern generativi per l encoding Java del modello di computazione delle ASMs e di sperimentare in modo ragionato e critico le tecniche e gli strumenti esistenti per l implementazione del motore di forward/reverse engineering. Shane Sendall and Jochen Küster. Taming Model Round-Trip Engineering. Proceedings of Workshop on Best Practices for Model-Driven Software Development (2004) Eclipse Modeling Framework (EMF) and JET (Java Emitter Template): OpenArchitectureWare (oaw) generator Joachim Schmid. Compiling Abstract State Machines to C++. Journal of Universal Computer Science, vol. 7, no. 11 (2001). Definizione di pattern di concorrenza e sincronizzazione per macchine a stati astratte Si propone di definire e implementare una libreria di meccanismi (pattern) di sincronizzazione di processi (lock, semafori, monitor, etc.) per il metodo formale Abstract State Machine (ASM) 3

4 (un estensione particolare delle macchine a stati finiti ). Tale libreria faciliterà la modellazione ad alto livello di astrazione di applicazioni concorrenti orientate ai processi (multi- -thread) tramite il formalismo ASM. Tecnologie e linguaggi: Programmazione concorrente, Abstract State Machines. Tipo e complessità di lavoro: Il lavoro sarà di tipo sperimentale con lo scopo di studiare, definire e implementare in modo ragionato e critico i meccanismi classici di sincronizzazione/concorrenza per il linguaggio ASM e loro applicazione su piccoli casi di studio. Paolo Ancilotti, Maurelio Boari. Programmazione concorrente e distribuita. MC-Graw-Hill, 2007, ISBN: Ambito: Applicazioni orientate ai servizi L argomento SOA (Service Oriented Architecture) è un tema complesso ma che è oggi è sempre più strategico nel mondo IT. Una architettura SOA è una architettura software che definisce una modalità di descrivere i componenti (servizi) con caratteristiche ben specifiche orientate al riutilizzo e all'integrazione. SOA è uno stile architetturale basato sul concetto di servizio, che rappresenta quindi l'elemento strutturale su cui le applicazioni (tra cui le applicazioni web) vengono sviluppate. L argomento SOA può essere affrontato da molti punti di vista (architetturale, metodologico, organizzativo, tecnologico, pratico). 4 Il modello di programmazione SCA (Service Component Architecture per realizzare applicazioni SOA Progettazione e realizzazione di un applicazione distribuita e orientata ai servizi secondo il modello di programmazione SCA (Service Component Architecture),, insieme di specifiche del consorzio Oasis. SCA consente di scomporre l applicazione in componenti riutilizzabili, ricomponibili tra loro, raggiungibili dall esterno con protocolli diversi, e capaci, a loro volta, di accedere a servizi esterni. I servizi possono interagire tra loro in modo sincrono o asincrono e possono essere implementati in qualunque tecnologia. Diverse piattaforme open source implementano SCA, tra queste Apache Tuscany e Fabric3. engineering. Tipo e complessità di lavoro: Il lavoro sarà di tipo esplorativo con lo scopo d'illustrare in modo ragionato e critico le tecniche e le metodologie esistenti, esaminandone i punti di forza e debolezza e sperimentandole su un caso di studio.

5 SCA website: Open source SCA design and debug tool (basati su Eclipse!): SCA wiki Tutorial: engineering. Sintesi automatica di componenti a servizi a partire da modelli astratti ASM Definizione e implementazione di una tecnica generativa per la sintesi automatica di componenti auto-contenute e modulari per servizi considerati critici a partire da modelli astratti formali. A tale scopo si prenderà come riferimento il modello di programmazione SCA (Service Component Architecture. Come formalismo per definire i modelli astratti di componenti a servizi si utilizzerà il metodo formale Abstract State Machine (ASM) (un estensione delle macchine a stati finiti ). engineering, model-driven engineering, metodi formali. Tipo e complessità di lavoro: Il lavoro sarà di tipo sperimentale/ricerca con lo scopo d'illustrare in modo ragionato e critico le tecniche e le metodologie esistenti, esaminandone i punti di forza e debolezza e sperimentandole su un caso di studio. SCA website: Open source SCA design and debug tool (basati su Eclipse!): SCA wiki Tutorial: Monitoraggio e validazione a runtime di applicazioni SOA Definizione ed implementazione di una metodologia per la validazione (simulazione semplice o attraverso scenari) a runtime di applicazioni software orientate a servizi attraverso l uso di metodi formali. A tale scopo si prenderà come riferimento il modello di programmazione SCA (Service Component Architecture). Come 5

6 formalismo per definire i modelli formali di componenti a servizi si utilizzerà il metodo formale Abstract State Machine (ASM) (un estensione delle macchine a stati finiti ). engineering, model-driven engineering, metodi formali. Tipo e complessità di lavoro: Il lavoro sarà di tipo sperimentale/ricerca con lo scopo d'illustrare in modo ragionato e critico le tecniche e le metodologie esistenti, esaminandone i punti di forza e debolezza e sperimentandole su un caso di studio. SCA website: Open source SCA design and debug tool (basati su Eclipse!): SCA wiki Diagnosing SCA Components Using Wombat. Axel Martens and Simon Moser. In Business Process Management, Volume 4102/2006, LNCS, Springer, 2006 Tutorial: Tool ASM: Asmeta tolset Tesi aziendali su temi vari legati al SOA presso le ditte (area Milano): VERSO21 (gruppo Opera21) Aizoon Consulting 3. Ambito: Sistemi Embedded Tesi aziendali su temi vari legati al design di embedded software e System-on-Chip (SoC) presso le ditte (area Milano) STMICROELECTRONICS e Artisan Software Tools 6

Docenti: Patrizia Scandurra (referente princiaple) Angelo Gargantini. patrizia.scandurra@unibg.it

Docenti: Patrizia Scandurra (referente princiaple) Angelo Gargantini. patrizia.scandurra@unibg.it Progetto di Informatica III Introduzione al corso Patrizia Scandurra Università degli Studi di Bergamo a.a. 2009-10 Sommario Contatti Obiettivo Natura Argomenti Organizzazione Materiale didattico Modalità

Dettagli

Progetto di Informatica III. Introduzione al corso

Progetto di Informatica III. Introduzione al corso Progetto di Informatica III Introduzione al corso Patrizia Scandurra Università degli Studi di Bergamo a.a. 2008-09 Sommario Contatti Obiettivo Natura Argomenti Organizzazione Materiale didattico Modalità

Dettagli

Generazione Automatica di Asserzioni da Modelli di Specifica

Generazione Automatica di Asserzioni da Modelli di Specifica UNIVERSITÀ DEGLI STUDI DI MILANO BICOCCA FACOLTÀ DI SCIENZE MATEMATICHE FISICHE E NATURALI Corso di Laurea Magistrale in Informatica Generazione Automatica di Asserzioni da Modelli di Specifica Relatore:

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

Model Driven Software Development con Eclipse, StatechartUMC

Model Driven Software Development con Eclipse, StatechartUMC Model Driven Software Development con Eclipse, StatechartUMC Aldi Sulova Istituto di Scienza e Tecnologie dell Informazione A. Faedo - CNR Via G. Moruzzi 1, 56124 Pisa, Italy aldi.sulova@isti.cnr.it Abstract.

Dettagli

LEZIONE 9 - Linguaggi di Modellazione & UML

LEZIONE 9 - Linguaggi di Modellazione & UML Laboratorio di Ingegneria del Software a.a. 2013-2014 LEZIONE 9 - Linguaggi di Modellazione & UML Catia Trubiani Gran Sasso Science Institute (GSSI), L Aquila catia.trubiani@gssi.infn.it Cosa sono? 2 1

Dettagli

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

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

Dettagli

Rational Unified Process Introduzione

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

Dettagli

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à di Pisa Polo Sistemi Logistici Economia e Legislazione dei Sistemi Logistici. Informatica per la Logistica. Lezioni

Università di Pisa Polo Sistemi Logistici Economia e Legislazione dei Sistemi Logistici. Informatica per la Logistica. Lezioni Università di Pisa Polo Sistemi Logistici Economia e Legislazione dei Sistemi Logistici Le grandi e complesse organizzazioni aziendali sono la manifestazione tangibile della tecnologia avanzata, più delle

Dettagli

Una soluzione WEB-GIS per la pubblicazione di dati statistici della Regione Sardegna

Una soluzione WEB-GIS per la pubblicazione di dati statistici della Regione Sardegna Una soluzione WEB-GIS per la pubblicazione di dati statistici della Regione Sardegna Sergio Loddo, Luca Devola GFOSS - Cagliari, 27 febbraio 2009 Indice 1. Presentazione 2. Progetto 3. Architettura, metodologia

Dettagli

Pianificazione di progetto esecutiva: tempi, fasi, risultati. Piero Luisi Project Manager del progetto e-demps - Comune di Pesaro

Pianificazione di progetto esecutiva: tempi, fasi, risultati. Piero Luisi Project Manager del progetto e-demps - Comune di Pesaro Pianificazione di progetto esecutiva: tempi, fasi, risultati Piero Luisi Project Manager del progetto e-demps - Comune di Pesaro Le macro fasi e prodotti del progetto - 1 Fase 1: Analisi e definizione

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

Processo di sviluppo in SECSERVIZI: la metodologia JMC. Versione 1.0 Eclipse-IT 2010 Savona, 30/9/2010

Processo di sviluppo in SECSERVIZI: la metodologia JMC. Versione 1.0 Eclipse-IT 2010 Savona, 30/9/2010 o di sviluppo in SECSERVIZI: la metodologia JMC Versione 1.0 Eclipse-IT 2010 Savona, 30/9/2010 Agenda Premessa ed obiettivi Che cos è JMC Architettura e Tools JMC Il Desktop di Filiale -2- Premessa ed

Dettagli

UML e (R)UP (an overview)

UML e (R)UP (an overview) Lo sviluppo di sistemi OO UML e (R)UP (an overview) http://www.rational.com http://www.omg.org 1 Riassumento UML E un insieme di notazioni diagrammatiche che, utilizzate congiuntamente, consentono di descrivere/modellare

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

SOA è solo tecnologia? Consigli utili su come approcciare un progetto SOA. Service Oriented Architecture

SOA è solo tecnologia? Consigli utili su come approcciare un progetto SOA. Service Oriented Architecture SOA è solo tecnologia? Consigli utili su come approcciare un progetto SOA Service Oriented Architecture Ormai tutti, nel mondo dell IT, conoscono i principi di SOA e i benefici che si possono ottenere

Dettagli

Introduzione a UML. Iolanda Salinari

Introduzione a UML. Iolanda Salinari Introduzione a UML Iolanda Salinari Perché modelliamo Un modello è una semplificazione della realtà I modelli ci aiutano a visualizzare un sistema come è o come vorremmo che fosse ci permettono di specificare

Dettagli

02CIXPG Sistemi informativi aziendali

02CIXPG Sistemi informativi aziendali 02CIXPG Sistemi informativi aziendali Introduzione al Corso 1 http://bit.ly/sistinfo http://elite.polito.it/ teaching-mainmenu-69/ laurea-specialistica-mainmenu-83/117-02cix Fulvio Corno Dipartimento di

Dettagli

Generazione Automatica di Asserzioni da Modelli di Specifica

Generazione Automatica di Asserzioni da Modelli di Specifica UNIVERSITÀ DEGLI STUDI DI MILANO BICOCCA FACOLTÀ DI SCIENZE MATEMATICHE FISICHE E NATURALI Corso di Laurea Magistrale in Informatica Generazione Automatica di Asserzioni da Modelli di Specifica Relatore:

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

Open Core Engineering Libertà ed efficienza nelle vostre mani

Open Core Engineering Libertà ed efficienza nelle vostre mani Open Core Engineering Libertà ed efficienza nelle vostre mani Nuove opportunità per affrontare le attuali sfide nella progettazione di software Cicli di vita dei prodotti sempre più brevi stanno alimentando

Dettagli

Sicurezza nei Web Services: Migrazione dell autenticazone di Web Services da ticket di sessione a WS-Security con token SAML

Sicurezza nei Web Services: Migrazione dell autenticazone di Web Services da ticket di sessione a WS-Security con token SAML Master Universitario di II livello in Interoperabilità Per la Pubblica Amministrazione e Le Imprese Sicurezza nei Web Services: Migrazione dell autenticazone di Web Services da ticket di sessione a WS-Security

Dettagli

Introduzione ad UML. Perché modelliamo

Introduzione ad UML. Perché modelliamo Introduzione ad UML Pag. 1 Perché modelliamo Un modello è una semplificazione della realtà I modelli ci aiutano a visualizzare un sistema come è o come vorremmo che fosse ci permettono di specificare la

Dettagli

Ingegneria del Software UML - Unified Modeling Language

Ingegneria del Software UML - Unified Modeling Language Ingegneria del Software UML - Unified Modeling Language Obiettivi. Presentare un approccio visuale alla progettazione. Illustrare i vantaggi dell utilizzo di diagrammi nella fase di progettazione. Rispondere

Dettagli

Dettaglio dei corsi in aula

Dettaglio dei corsi in aula L offerta formativa Dettaglio dei corsi in aula Software Engineering Object Oriented Analysis and Design: fondamenti e principi dell object orientation. Dall analisi alla progettazione. I Design Pattern.

Dettagli

Tecnopolis CSATA s.c.r.l. APQ in Materia di Ricerca Scientifica nella Regione Puglia

Tecnopolis CSATA s.c.r.l. APQ in Materia di Ricerca Scientifica nella Regione Puglia BANDO ACQUISIZIONI Prodotti Software ALLEGATO 6.3 Capitolato Tecnico Piattaforma per l Analisi e la Progettazione di alto livello del Software Allegato 6.3: capitolato tecnico Pag. 1 1 Ambiente di Analisi

Dettagli

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

Relazione sull Attività scientifica e didattica del triennio 30.12.2008-29.12.2011 per la conferma a ricercatore della Dott.ssa PATRIZIA SCANDURRA Relazione sull Attività scientifica e didattica del triennio 30.12.2008-29.12.2011 per la conferma a ricercatore della Dott.ssa PATRIZIA SCANDURRA PREMESSA... 2 1. ATTIVITÀ DIDATTICA SVOLTA NEL TRIENNIO...

Dettagli

Progettazione di interfacce web indipendenti dal dispositivo

Progettazione di interfacce web indipendenti dal dispositivo Progettazione di interfacce web indipendenti dal dispositivo Candidato Izzo Giovanni, Matr. 41/1305 Relatore Prof. Porfirio Tramontana 1 Panoramica su contesto ed obiettivi Il contesto della tesi è legato

Dettagli

Prefazione. Contenuti

Prefazione. Contenuti Prefazione Il sistema operativo costituisce uno dei componenti fondamentali di ogni sistema di elaborazione, in particolare è quello con cui l utente entra direttamente in contatto quando accede al sistema,

Dettagli

Introduzione a UML 2.0 1 parte Iolanda Salinari

Introduzione a UML 2.0 1 parte Iolanda Salinari Introduzione a UML 2.0 1 parte Iolanda Salinari Per un introduzione generale ai diagrammi UML si rimanda al tutorial Introduzione UML presente su questo sito UML E un linguaggio che serve per visualizzare

Dettagli

The project. http://www.interdatanet.org

The project. http://www.interdatanet.org Università degli Studi di Firenze Facoltà di Ingegneria Dipartimento di Elettronica e Telecomunicazioni (DET) Laboratorio di Tecnologie della Telematica (LTT) The project http://www.interdatanet.org WORK

Dettagli

Applied Research & Technology Dept.

Applied Research & Technology Dept. 17/12/08 Elenco Tesi Disponibili Applied Research & Technology Dept. La Società MBDA La MBDA Italia è un azienda leader nella realizzazione di sistemi di difesa che con i suoi prodotti è in grado di soddisfare

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

La Roadmap dello sviluppo per System i5: dalle Applicazioni Legacy alla SOA

La Roadmap dello sviluppo per System i5: dalle Applicazioni Legacy alla SOA IBM System i5 La Roadmap dello sviluppo per System i5: dalle Applicazioni Legacy alla SOA Massimo Marasco System i Technical Sales Support massimo_marasco@it.ibm.com Oriented Architecture (SOA) Servizio

Dettagli

Object Oriented Programming

Object Oriented Programming OOP Object Oriented Programming Programmazione orientata agli oggetti La programmazione orientata agli oggetti (Object Oriented Programming) è un paradigma di programmazione Permette di raggruppare in

Dettagli

PROTOTIPAZIONE DI UN TRADUTTORE DA SORGENTE PLC AD ASSEMBLY DI UNA MACCHINA VIRTUALE

PROTOTIPAZIONE DI UN TRADUTTORE DA SORGENTE PLC AD ASSEMBLY DI UNA MACCHINA VIRTUALE PROTOTIPAZIONE DI UN TRADUTTORE DA SORGENTE PLC AD ASSEMBLY DI UNA MACCHINA VIRTUALE Relatore: prof. Michele Moro Laureando: Marco Beggio Corso di laurea in Ingegneria Informatica Anno Accademico 2006-2007

Dettagli

OPERA21. Open Source ed Eclipse in progetti di R&S (sezione MOSIPS)

OPERA21. Open Source ed Eclipse in progetti di R&S (sezione MOSIPS) Open Source ed Eclipse in progetti di R&S (sezione MOSIPS) OPERA21 Carmine Seraponte, 19-20 settembre 2013 IT Staff Gruppo OPERA21 Analisi Competenze Tecnologiche 1 Progetto europeo finanziato nell ambito

Dettagli

TECNOLOGIE REALTIME DATA INTEGRATION

TECNOLOGIE REALTIME DATA INTEGRATION TECNOLOGIE REALTIME DATA INTEGRATION I sistemi ICT a supporto dell automazione di fabbrica sono attualmente uno dei settori di R&S più attivi e dinamici, sia per la definizione di nuove architetture e

Dettagli

Tesi disponibili nell ambito del progetto FP7 ARISTOTELE. Tesi disponibili nell ambito del progetto INDUSTRIA 2015 KITE.it

Tesi disponibili nell ambito del progetto FP7 ARISTOTELE. Tesi disponibili nell ambito del progetto INDUSTRIA 2015 KITE.it Tesi disponibili nell ambito del progetto FP7 ARISTOTELE Ambiente collaborativo per il design e l innovazione Il lavoro si concentrerà sullo sviluppo di specifici componenti di un ambiente collaborativo

Dettagli

Streaming Tool per CoFFEE

Streaming Tool per CoFFEE Streaming Tool per CoFFEE a cura di Gerardo Lombardo CoFFEE Cooperative Face-to-Face Educational Environment Groupware Suite di applicazioni distribuite (in LAN) per il problem solving collaborativo in

Dettagli

TECNICO SUPERIORE PER LE APPLICAZIONI INFORMATICHE

TECNICO SUPERIORE PER LE APPLICAZIONI INFORMATICHE ISTRUZIONE E FORMAZIONE TECNICA SUPERIORE SETTORE I.C.T. Information and Communication Technology TECNICO SUPERIORE PER LE APPLICAZIONI INFORMATICHE STANDARD MINIMI DELLE COMPETENZE TECNICO PROFESSIONALI

Dettagli

Registro SPICCA Architettura del Software

Registro SPICCA Architettura del Software Registro SPICCA Architettura del Software Versione 1.0 del 25/08/2009 Sommario 1 Introduzione... 4 1.1 Scopo... 4 1.2 Obiettivo... 4 1.3 Riferimenti... 4 1.4 Panoramica del documento... 4 2 Rappresentazione

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

Laboratorio di Progettazione di Sistemi Software Introduzione

Laboratorio di Progettazione di Sistemi Software Introduzione Laboratorio di Progettazione di Sistemi Software Introduzione Valentina Presutti (A-L) Riccardo Solmi (M-Z) Indice degli argomenti Introduzione all Ingegneria del Software UML Design Patterns Refactoring

Dettagli

FORMATO EUROPEO PER IL

FORMATO EUROPEO PER IL FORMATO EUROPEO PER IL CURRICULUM VITAE Autorizzo il trattamento dei miei dati personali ai sensi della Legge 675/96 Ing. jr. Giambruno Alessandro INFORMAZIONI PERSONALI Nome Giambruno Alessandro Indirizzo

Dettagli

Il linguaggio per la moderna progettazione dei processi aziendali

Il linguaggio per la moderna progettazione dei processi aziendali Il linguaggio per la moderna progettazione dei processi aziendali Organizzare un azienda sotto il profilo dei processi è oramai diventata una disciplina a cavallo tra la competenza aziendalistica ed informatica.

Dettagli

WebRatio. L altra strada per il BPM. Web Models s.r.l. www.webratio.com contact@webratio.com 1 / 8

WebRatio. L altra strada per il BPM. Web Models s.r.l. www.webratio.com contact@webratio.com 1 / 8 WebRatio L altra strada per il BPM Web Models s.r.l. www.webratio.com contact@webratio.com 1 / 8 Il BPM Il BPM (Business Process Management) non è solo una tecnologia, ma più a grandi linee una disciplina

Dettagli

PROGETTAZIONE DEL SOFTWARE

PROGETTAZIONE DEL SOFTWARE PROGETTAZIONE DEL SOFTWARE EMILIANO CASALICCHIO DIPARTIMENTO DI INFORMATICA E SISTEMISTICA SAPIENZA UNIVERSITÀ DI ROMA SEDE DI RIETI HTTP://WWW.CE.UNIROMA2.IT/COURSES/PSW! Cos è UML UNIFIED MODELING LANGUAGE!

Dettagli

Corso Analista Programmatore Java Corso Online Analista Programmatore Java

Corso Analista Programmatore Java Corso Online Analista Programmatore Java Corso Analista Programmatore Java Corso Online Analista Programmatore Java Accademia Futuro info@accademiafuturo.it Programma Generale del Corso Analista Programmatore Java Tematiche Trattate Modulo Uno

Dettagli

MDA (Model-Driven Architecture) e UML:

MDA (Model-Driven Architecture) e UML: MDA (Model-Driven Architecture) e UML: costruire sw partendo dai modelli Iolanda Salinari e Sandro Bellu 2 Si tratta di costruire le applicazioni portandosi ad un livello di astrazione più alto. Tuttavia,...

Dettagli

Sviluppo e integrazione di strumenti a supporto del reverse engineering di applicazioni flash

Sviluppo e integrazione di strumenti a supporto del reverse engineering di applicazioni flash tesi di laurea Sviluppo e integrazione di strumenti a supporto del reverse engineering di Anno Accademico 2005/2006 relatore Ch.mo prof. Porfirio Tramontana candidato Giuseppe Silvestre Matr. 534-292 Le

Dettagli

Esercitazioni di PROGETTAZIONE DEL SOFTWARE A.A. 2011-2012

Esercitazioni di PROGETTAZIONE DEL SOFTWARE A.A. 2011-2012 Sapienza Università di Roma Facoltà di Ingegneria dell Informazione, Informatica e Statistica Corso di Laurea in Ingegneria Informatica ed Automatica Corso di Laurea in Ingegneria dei Sistemi Informatici

Dettagli

Da Settembre 2010 Oggi. Go Project srl via Alessandria 88, Roma. Inail Istituto Nazionale Infortuni sul Lavoro

Da Settembre 2010 Oggi. Go Project srl via Alessandria 88, Roma. Inail Istituto Nazionale Infortuni sul Lavoro 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 Qualifica: INFORMAZIONI PERSONALI Nome Nazionalità italiana Data di nascita 08/10/1974 ESPERIENZA LAVORATIVA Date (da a) Da Settembre

Dettagli

Tesi Softeng. Volontari. softeng.polito.it/icsr9 11 14 giugno 4 volontari Fluent english

Tesi Softeng. Volontari. softeng.polito.it/icsr9 11 14 giugno 4 volontari Fluent english Tesi Softeng Volontari softeng.polito.it/icsr9 11 14 giugno 4 volontari Fluent english Temi [E] Empirical studies E1, E2 Open source [N] Sensor networks [S] Security S1 Security of remote clients [A] Agile

Dettagli

Corso analista programmatore Java. Corso analista programmatore Java Programma

Corso analista programmatore Java. Corso analista programmatore Java Programma Corso analista programmatore Java Programma 1.1 Obiettivo e modalità di fruizione L obiettivo del corso è di fornire le conoscenze tecniche e metodologiche per svolgere la professione di Programmatore

Dettagli

Reingegnerizzazione di un Content Management System verso l accessibilità secondo la normativa italiana

Reingegnerizzazione di un Content Management System verso l accessibilità secondo la normativa italiana Università degli Studi di Bologna Sede di Cesena FACOLTÀ À DI SCIENZE MATEMATICHE FISICHE E NATURALI Corso di Laurea in Scienze dell Informazione Reingegnerizzazione di un Content Management System verso

Dettagli

Standard Tecnologici Regione Basilicata ALLEGATO C03

Standard Tecnologici Regione Basilicata ALLEGATO C03 Standard Tecnologici Regione Basilicata ALLEGATO C03 UFFICIO S. I. R. S. Standard Tecnologici ver. 2.1 ultimo agg.: 06/06/2012 CONTROLLO DEL DOCUMENTO Data APPROVAZIONI Autore Redatto da: 27/05/2012 Dott.

Dettagli

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

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

Dettagli

A A Design Tool to Develop Agent-Based Workflow Management Systems

A A Design Tool to Develop Agent-Based Workflow Management Systems Università degli Studi di Genova Facoltà di Ingegneria DIST - Dipartimento di Informatica, Sistemistica e Telematica A A Design Tool to Develop Agent-Based Workflow Management Systems Marco Repetto, Massimo

Dettagli

Business Process Management

Business Process Management Corso di Eccellenza in Business Process Management edizione 2010 Con il patrocinio e la supervisione scientifica del Dipartimento di Informatica dell Università degli Studi di Torino Responsabile scientifico

Dettagli

7. Architetture Software

7. Architetture Software 7. Architetture Software progettare la struttura Andrea Polini Ingegneria del Software Corso di Laurea in Informatica (Ingegneria del Software) 7. Architetture Software 1 / 20 Scopo della fase di design

Dettagli

Object-Relational Mapping

Object-Relational Mapping Object-Relational Mapping Versione Preliminare Antonella Poggi Dipartimento di informatica e Sistemistica Sapienza Università di Roma Progetto di Applicazioni Software Anno accademico 2008-2009 Questi

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

Prof. Pagani Corrado INGEGNERIA DEL SOFTWARE

Prof. Pagani Corrado INGEGNERIA DEL SOFTWARE Prof. Pagani Corrado INGEGNERIA DEL SOFTWARE INTRODUZIONE L ingegneria del software è la disciplina tecnologica e gestionalerelativa alla realizzazione sistematica e alla manutenzione di un software rispettando

Dettagli

Presentazione di Cedac Software

Presentazione di Cedac Software Agenda Presentazione di Cedac Software SOA ed ESB Analisi di un caso studio Esempi Q&A Presentazione di Cedac Software 1 2 Presentazione di Cedac Software S.r.l. Divisione Software Azienda nata nel 1994

Dettagli

CeBAS. Centrale Bandi e Avvisi Pubblici Regionali (DGR n. 1556 del 11.09.2009)

CeBAS. Centrale Bandi e Avvisi Pubblici Regionali (DGR n. 1556 del 11.09.2009) CeBAS Centrale Bandi e Avvisi Pubblici Regionali (DGR n. 1556 del 11.09.2009) Introduzione Il progetto CEBAS: la finalità è di migliorare l efficienza operativa interna dell Ente rispondere alle aspettative

Dettagli

Corso di Laurea Magistrale in Ingegneria Informatica. Ingegneria del Software II (IS2)

Corso di Laurea Magistrale in Ingegneria Informatica. Ingegneria del Software II (IS2) Corso di Laurea Magistrale in Ingegneria Informatica Ingegneria del Software II (IS2) a.a. 2010/12 Ingegneria del Software 2 - Introduzione 1 Docente Prof.ssa Anna Rita Fasolino Dipartimento di Informatica

Dettagli

I metodi formali nel processo di sviluppo del software

I metodi formali nel processo di sviluppo del software I metodi formali nel processo di sviluppo del software I metodi formali consentono di creare una specifica più completa, uniforme e non ambigua di quelle prodotte usando i metodi convenzionali ed orientati

Dettagli

Strumenti di modellazione. Gabriella Trucco

Strumenti di modellazione. Gabriella Trucco Strumenti di modellazione Gabriella Trucco Linguaggio di modellazione Linguaggio formale che può essere utilizzato per descrivere (modellare) un sistema Il concetto trova applicazione soprattutto nell

Dettagli

Tecnologie dei Linguaggi di Programmazione

Tecnologie dei Linguaggi di Programmazione Tecnologie dei Linguaggi di Programmazione a.a. 2013/2014 romina.eramo@univaq.it http://www.di.univaq.it/romina.eramo/tlp Goal Object Oriented Programming (OOP) Conoscere il paradigma di programmazione

Dettagli

UniRoma2 - Ingegneria del Software 1 1

UniRoma2 - Ingegneria del Software 1 1 Object Oriented Analysis - OOA La fase di OOA definisce, secondo un approccio ad oggetti, COSA un prodotto software deve fare (mentre la fase di OOD definisce, sempre secondo un approccio ad oggetti, COME

Dettagli

RUP (Rational Unified Process)

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

Dettagli

CIG 6223997CCB COD. ALICE G00292

CIG 6223997CCB COD. ALICE G00292 APPENDICE 2 Descrizione dei profili professionali richiesti Sommario APPENDICE 2 Descrizione dei profili professionali richiesti... 1 1. PROFILI PROFESSIONALI RICHIESTI... 2 1.1 Capo progetto... 2 1.2

Dettagli

Appendice D. D. Web Services

Appendice D. D. Web Services D. D.1 : cosa sono I cosiddetti sono diventati uno degli argomenti più attuali nel panorama dello sviluppo in ambiente Internet. Posti al centro delle più recenti strategie di aziende del calibro di IBM,

Dettagli

Realizzazione di uno strumento web-based per la simulazione remota di reti di sensori senza filo

Realizzazione di uno strumento web-based per la simulazione remota di reti di sensori senza filo tesi di laurea Realizzazione di uno strumento web-based per la simulazione remota di reti di sensori senza filo Anno Accademico 2009/2010 relatore Ch.mo prof. Marcello Cinque correlatore Ing. Catello di

Dettagli

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

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

Dettagli

TECNICO SUPERIORE PER LO SVILUPPO DEL SOFTWARE

TECNICO SUPERIORE PER LO SVILUPPO DEL SOFTWARE ISTRUZIONE E FORMAZIONE TECNICA SUPERIORE SETTORE I.C.T. Information and Communication Technology TECNICO SUPERIORE PER LO SVILUPPO DEL SOFTWARE STANDARD MINIMI DELLE COMPETENZE TECNICO PROFESSIONALI DESCRIZIONE

Dettagli

Programmazione Fondi Strutturali 2007/2013 P.O.N. FSE A.S. 2013/2014 SCHEDA PROGETTUALE MODULO. Obiettivo: C Azione: 1 Riferimento interno:

Programmazione Fondi Strutturali 2007/2013 P.O.N. FSE A.S. 2013/2014 SCHEDA PROGETTUALE MODULO. Obiettivo: C Azione: 1 Riferimento interno: ISTITUTO ISTRUZIONE SECONDARIA SUPERIORE GUGLIELMO MARCONI Piazza Poerio 2, 70126 Bari - Tel.080-5534450 Fax.080-5559037 - www.marconibari.it - info@marconibari.it Programmazione Fondi Strutturali 2007/2013

Dettagli

LISTINO UFFICIALE PER. Vers. 8.0. Validità : 1 Gennaio 2015

LISTINO UFFICIALE PER. Vers. 8.0. Validità : 1 Gennaio 2015 Pagina 1 LISTINO UFFICIALE PER Vers. 8.0 Validità : 1 Gennaio 2015 Cosmic Blue Team S.p.A. Capitale sociale: 1.800.000 i.v. - C.C.I.A.A.: 448372 - Iscr.Trib.: 4127/79 - Codice fiscale: 03705590580 - Partita

Dettagli

ANALISI E PROGETTAZIONE DI UN SISTEMA DI MONITORAGGIO PER INFRASTRUTTURE CLOUD

ANALISI E PROGETTAZIONE DI UN SISTEMA DI MONITORAGGIO PER INFRASTRUTTURE CLOUD UNIVERSITÀ DEGLI STUDI DI FIRENZE Scuola di Ingegneria Corso di Laurea Magistrale in Ingegneria Informatica DISIT Lab A.A. 2013-2014 ANALISI E PROGETTAZIONE DI UN SISTEMA DI MONITORAGGIO PER INFRASTRUTTURE

Dettagli

ALLEGATO 8.1 DESCRIZIONE PROFILI PROFESSIONALI

ALLEGATO 8.1 DESCRIZIONE PROFILI PROFESSIONALI PROCEDURA DI SELEZIONE PER L AFFIDAMENTO DEL SERVIZIO DI PROGETTAZIONE, ANALISI, SVILUPPO, MANUTENZIONE ADEGUATIVA, CORRETTIVA ED EVOLUTIVA DI SISTEMI INFORMATIVI SU PIATTAFORMA IBM WEBSPHERE BPM (EX LOMBARDI)

Dettagli

Enrico Fagnoni BOTK IN A NUTSHELL

Enrico Fagnoni <e.fagnoni@e-artspace.com> BOTK IN A NUTSHELL Enrico Fagnoni BOTK IN A NUTSHELL 20/01/2011 1 Business Ontology ToolKit Business Ontology Toolkit (BOTK) è un insieme estensibile di strumenti per realizzare applicazioni basate

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

Applicazione: GAS - Gestione AcceSsi

Applicazione: GAS - Gestione AcceSsi Riusabilità del software - Catalogo delle applicazioni Gestione ICT Applicazione: GAS - Gestione AcceSsi Amministrazione: Consiglio Nazionale delle Ricerche (CNR) Responsabile dei sistemi informativi Nome

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

Realizzazione di un Tool per l iniezione automatica di difetti all interno di codice Javascript

Realizzazione di un Tool per l iniezione automatica di difetti all interno di codice Javascript tesi di laurea di difetti all interno di codice Javascript Anno Accademico 2009/2010 relatore Ch.mo prof. Porfirio Tramontana correlatore Ch.mo ing. Domenico Amalfitano candidato Vincenzo Riccio Matr.

Dettagli

Il Pattern MVC nei Framework di sviluppo per applicazioni Web. Analisi e comparazione di SPRING MVC Framework e ASP.NET MVC Framework.

Il Pattern MVC nei Framework di sviluppo per applicazioni Web. Analisi e comparazione di SPRING MVC Framework e ASP.NET MVC Framework. tesi di laurea Il Pattern MVC nei Framework di sviluppo per applicazioni Web. Analisi e comparazione di SPRING MVC Framework e ASP.NET MVC Framework. Anno Accademico 2008/2009 relatore Ch.mo prof. Porfirio

Dettagli

lcosmo@dsi.unive.it Computer Vision, in particolare Nonrigid Matching.

lcosmo@dsi.unive.it Computer Vision, in particolare Nonrigid Matching. F ORMATO EUROPEO PER IL CURRICULUM VITAE INFORMAZIONI PERSONALI Nome COSMO LUCA Indirizzo 6, VIA ACHILLE GRANDI, 31038 PAESE, TREVISO, ITALIA Telefono +39 349 1580861 E-mail lcosmo@dsi.unive.it Nazionalità

Dettagli

Architetture software. Virtualizzazione

Architetture software. Virtualizzazione Sistemi Distribuiti Architetture software 1 Virtualizzazione 2 1 Virtualizzazione (motivazioni) Sullo stesso elaboratore possono essere eseguiti indipendentemente d t e simultaneamente t sistemi i operativi

Dettagli

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

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

Dettagli

Sistemi e Tecnologie per l Automazione LS

Sistemi e Tecnologie per l Automazione LS Sistemi e Tecnologie per l Automazione LS (Corso da 60 ore, 6CFU) C.D.L. SPECIALISTICA IN INGEGNERIA INFORMATICA C.D.L. SPECIALISTICA IN INGEGNERIA ELETTRONICA E DELLE TELECOMUNICAZIONI SECONDA FACOLTÀ

Dettagli

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

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

Dettagli

Analisi e utilizzo di un framework per lo sviluppo di applicazioni web

Analisi e utilizzo di un framework per lo sviluppo di applicazioni web tesi di laurea Anno Accademico 2011/2012 relatore Ch.mo prof. Marcello Cinque correlatore Ing. Fabio De Paolis candidato Michele Basile Matr. 534/3239 Web Development Frameworks Nella realizzazione di

Dettagli

Alcune Basi Didattiche e Scientifiche Per La Sicurezza Informatica

Alcune Basi Didattiche e Scientifiche Per La Sicurezza Informatica Alcune Basi Didattiche e Scientifiche Per La Sicurezza Informatica Antonio Carzaniga antonio.carzaniga@unisi.ch Facoltà di Scienze informatiche Università della Svizzera italiana 11 aprile 2006 Sicurezza

Dettagli

MAX DOLGICER EAI. Architetture, Tecnologie e Best Practices LA TECHNOLOGY TRANSFER PRESENTA

MAX DOLGICER EAI. Architetture, Tecnologie e Best Practices LA TECHNOLOGY TRANSFER PRESENTA LA TECHNOLOGY TRANSFER PRESENTA MAX DOLGICER EAI Architetture, Tecnologie e Best Practices ROMA 26-28 MARZO 2008 RESIDENZA DI RIPETTA - VIA DI RIPETTA, 231 info@technologytransfer.it www.technologytransfer.it

Dettagli

Use Case Driven Object Modeling: ICONIX

Use Case Driven Object Modeling: ICONIX Use Case Driven Object Modeling: ICONIX Un esempio di specifica, analisi, progetto e sviluppo utilizzando ICONIX (applicazione web) Ditta di Noleggio Dvd Un sistema per la gestione di una ditta di noleggio

Dettagli

Università di Bologna Corso di Laurea Specialistica in Ingegneria dell'automazione e Ingegneria Elettronica A.A. 2007-2008. Sistemi Operativi L-A

Università di Bologna Corso di Laurea Specialistica in Ingegneria dell'automazione e Ingegneria Elettronica A.A. 2007-2008. Sistemi Operativi L-A Università di Bologna Corso di Laurea Specialistica in Ingegneria dell'automazione e Ingegneria Elettronica A.A. 2007-2008 Sistemi Operativi L-A Prof. Anna Ciampolini http://lia.deis.unibo.it/courses/sola0708-auto/

Dettagli

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

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

Dettagli

Reingegnerizzazione del processo di test nel contesto Exprivia

Reingegnerizzazione del processo di test nel contesto Exprivia Facoltà di Scienze MM, FF, NN. Corso di laurea : Informatica e T. P. S. Tesi di laurea in Ingegneria del Software Reingegnerizzazione del processo di test nel contesto Exprivia Relatore : Prof. Giuseppe

Dettagli