Gestione dei vincoli in ambiente Wiki

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "Gestione dei vincoli in ambiente Wiki"

Transcript

1 Università degli Studi di Bologna Corso di Laurea Triennale in Informatica Gestione dei vincoli in ambiente Wiki Relatore: Chiar.mo Prof. Fabio Vitali Correlatore: Dott. Stefano Zacchiroli Candidato: Francesco Draicchio 1

2 The Wiki Way Il Wiki è uno strumento sociale che abilita gli utenti senza competenze tecniche a pubblicare contenuti sul web in modo facile, veloce e senza restrizioni. In ambiente wiki, durante la sessione di editing, l'utente può: pubblicare liberamente qualsiasi tipologia di contenuti creare e modificare pagine HTML mediante un linguaggio di markup semplificato condurre l'attività editoriale direttamente dal browser collaborare con altri utenti alla realizzazione di una singola pagina 2

3 Convenzioni e Requisiti sui Contenuti Wiki Gli utenti stessi stabiliscono spontaneamente procedure per semplificare e rendere più efficiente l'attività di editing dei contenuti. Tali procedure sono costituite da insiemi di convenzioni e requisiti. Alcuni esempi sono: uniformità presentazionale delle pagine uniformità strutturale dei contenuti appartenenti a domini specifici organizzazione dei contenuti sulla base di determinati modelli semantici Gli utenti che non rispettano le procedure durante la sessione di editing producono pagine wiki non conformi. 3

4 Constrained Wiki Per supportare l'attività di editing si introduce il concetto di Constrained Wiki, ovvero un sistema che assiste gli utenti a rispettare le procedure, traducendo convenzioni e requisiti nel concetto di vincolo. Si definisce il concetto di vincolo in relazione al contenuto wiki come l'insieme dei requisiti che una pagina dovrebbe idealmente soddisfare. La violazione di tali vincoli non compromette il corretto funzionamento del wiki, pertanto vengono classificati vincoli deboli, ovvero light constraint. 4

5 Lightly Constrained Wiki Lo scopo della tesi è implementare un sistema di supporto automatico per gli utenti sulla base del wiki engine MoinMoin per: verificare la realizzabilità e la compatibilità del concetto di Constrained Wiki nei reali scenari wiki. realizzare un'infrastruttura generica che formalizzi tutti i possibili vincoli e assista gli utenti a rispettarli durante la sessione di editing. Requisiti dell'implementazione: integrare le funzionalità di supporto in maniera modulare evitare di modificare il codice sorgente di MoinMoin 5

6 Architettura di funzionamento Il sistema di supporto consiste nella realizzazione di un motore di validazione che, mediante la traduzione dei vincoli in validatori: rileva la violazione dei vincoli stimola gli utenti a rispettare convenzioni e requisiti non altera la libertà di editing del wiki I principali componenti sono: validatore: i vincoli vengono esplicitati dagli utenti, associando i rispettivi validatori alla pagina mediante la sintassi wiki. motore di validazione: a tempo di salvataggio della pagina vengono invocati i validatori in funzione del contenuto. Il workflow del wiki viene sensibilmente modificato introducendo: Visualizzazione Annotata Salvataggio Condizionale 6

7 Visualizzazione Annotata L'azione di stimolare gli utenti a rispettare i vincoli consiste nel notificare e localizzare all'interno del contenuto della pagina gli eventuali errori, al fine di agevolare gli utenti nell'attività di correzione. 7

8 Salvataggio Condizionale A tempo di salvataggio della pagina si effettua la validazione del contenuto. Tale azione valuta se la pagina soddisfa i vincoli imposti su di essa. Viene introdotto il concetto di Salvataggio Condizionale, riproponendo una ulteriore sessione di editing se la pagina non risulta valida. Il paradigma di editing dei wiki viene preservato dal Salvataggio Forzato, per il quale una pagina che non rispetta i vincoli può comunque essere pubblicata. 8

9 Implementazione I validatori sono stati implementati creando una nuova classe di plugin, validators. Il motore di validazione è stato realizzato mediante un modulo che utilizza le API dei plugin events di MoinMoin, estendendo le funzionalità del salvataggio. Il sistema di notifica delle violazioni dei vincoli è stato realizzato mediante un modulo che utilizza le API del parser di MoinMoin. È stato necessario apportare modifiche al sorgente del wiki engine. Tali modifiche ammontano a non più di 20 righe di codice python. 9

10 Conclusioni e Sviluppi futuri È stato integrato nel wiki un motore di validazione per supportare gli utenti a rispettare i vincoli in fase di editing. È stato modificato sensibilmente il processo di editing, senza però alterare in maniera sostanziale la libertà di utilizzo di questo strumento. È stato possibile implementare le funzionalità principali che realizzano il sistema di editing assistito in maniera non invasiva. Per ufficializzare e dare maggiore visibilità al lavoro svolto, un passo importante sarebbe quello di generalizzare le modifiche apportate al sorgente MoinMoin, in modo da renderle includibili nell'attuale branch di sviluppo. 10

TCL PAD: UN EDITOR DI TESTO ESTENDIBILE, INCORPORABILE E CON INTERFACCE DI TEXT-PROCESSING

TCL PAD: UN EDITOR DI TESTO ESTENDIBILE, INCORPORABILE E CON INTERFACCE DI TEXT-PROCESSING Tesi di Laurea Triennale in Ingegneria Informatica TCL PAD: UN EDITOR DI TESTO ESTENDIBILE, INCORPORABILE E CON INTERFACCE DI TEXT-PROCESSING Relatore: Prof. SERGIO FLESCA Laureando: ANTONIO BONIFATI MATR.

Dettagli

Strumenti e tecniche per il testing di applicazioni web al variare dei browser

Strumenti e tecniche per il testing di applicazioni web al variare dei browser tesi di laurea 2010/2011 relatore Ch.mo prof. Porfirio Tramontana Candidato Michele Manzo Matr. 534/1546 PROBLEMA INCOMPATIBILITA TRA SITI WEB IN DIVERSI BROWSER OBIETTIVO A) Individuare i problemi di

Dettagli

Tecniche e strumenti per la validazione di codice Java: un esempio applicativo

Tecniche e strumenti per la validazione di codice Java: un esempio applicativo Università degli Studi dell'insubria Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di Laurea in Informatica Tecniche e strumenti per la validazione di codice Java: un esempio applicativo Relatore:

Dettagli

Informatica. Progettazione ed implementazione di un tool per il supporto al debug nella pratica di sviluppo Test Driven

Informatica. Progettazione ed implementazione di un tool per il supporto al debug nella pratica di sviluppo Test Driven Tesi di laurea in Informatica Progettazione ed implementazione di un tool per il supporto al debug nella pratica di sviluppo Test Driven Relatore Ch.mo Prof. Giuseppe Trautteur Candidato Gioacchino Del

Dettagli

Corso di Fondamenti di Informatica Linguaggi di Programmazione

Corso di Fondamenti di Informatica Linguaggi di Programmazione Corso di Informatica Linguaggi di Programmazione Anno Accademico 2011/2012 Francesco Tortorella Linguaggi di programmazione Un calcolatore basato sul modello di von Neumann permette l esecuzione di un

Dettagli

Corso di Fondamenti di Informatica Linguaggi di Programmazione

Corso di Fondamenti di Informatica Linguaggi di Programmazione Corso di Fondamenti di Informatica Linguaggi di Programmazione Anno Accademico Francesco Tortorella Linguaggi di programmazione Un calcolatore basato sul modello di von Neumann permette l esecuzione di

Dettagli

POLITECNICO DI MILANO

POLITECNICO DI MILANO POLITECNICO DI MILANO Facoltà di Ingegneria dell'informazione Corso di Laurea di Ingegneria Informatica SISTEMA DI TEMPLATE PER VISUALIZZARE RISORSE IN UN WIKI SEMANTICO Relatore: Prof. Marco Colombetti

Dettagli

Centro di Ateneo per i Servizi Informativi. edocumento Note di rilascio per gli utenti AREA TECNICA EGOVERNMENT

Centro di Ateneo per i Servizi Informativi. edocumento Note di rilascio per gli utenti AREA TECNICA EGOVERNMENT edocumento 1.6.7 - Note di rilascio per gli utenti 1. Generalità... 2 1.1 Impostazione dei browser... 2 2. Le modifiche evolutive... 2 2.1 Gli interventi sulle funzionalità di gestione dei documenti...

Dettagli

Prof. Pagani Corrado HTML

Prof. Pagani Corrado HTML Prof. Pagani Corrado HTML IPERTESTI E MULTIMEDIALITÀ Un ipertesto è un insieme di documenti messi in relazione tra loro per mezzo di parole chiave sensibili (link). Può essere visto come una rete; i documenti

Dettagli

Sistemi Distribuiti M Proposta di esercizio: Mapping Object-Relational attraverso Hibernate e JPA

Sistemi Distribuiti M Proposta di esercizio: Mapping Object-Relational attraverso Hibernate e JPA Alma Mater Studiorum - Università di Bologna CdS Laurea Magistrale in Ingegneria Informatica I Ciclo - A.A. 2018/2019 Sistemi Distribuiti M Proposta di esercizio: Mapping Object-Relational attraverso Hibernate

Dettagli

Introduzione al Semantic Web

Introduzione al Semantic Web Corso di Laurea Specialistica in Ingegneria Informatica Corso di Linguaggi e Tecnologie Web A. A. 2011 - Introduzione al Semantic Web Eufemia TINELLI Dal Web al Semantic Web: Motivazioni Il Web dovrebbe

Dettagli

Sommario 1 Introduzione progetto Soluzione Integrazione Conclusioni... 10

Sommario 1 Introduzione progetto Soluzione Integrazione Conclusioni... 10 SISS SUITE Sommario 1 Introduzione... 3 2 progetto... 3 3 Soluzione... 3 4 Integrazione... 10 5 Conclusioni... 10 2 1 INTRODUZIONE L OMNICOM SISS Suite è una libreria DLL espressamente concepita per facilitare

Dettagli

Un'Interfaccia per il Monitoraggio dei Guasti in un'applicazione per il Controllo del Traffico Aereo

Un'Interfaccia per il Monitoraggio dei Guasti in un'applicazione per il Controllo del Traffico Aereo tesi di laurea Anno Accademico 2007-08 relatore Ch.mo prof. Domenico Cotroneo Correlatore Ing. Roberto Natella candidato Silvestro Roberto Poccia Matr. 534\823 L affidabilità nei sistemi software L affidabilità

Dettagli

TESI DI LAUREA IN INFORMATICA

TESI DI LAUREA IN INFORMATICA UNIVERSITA DEGLI STUDI DI NAPOLI FEDERICO II TESI DI LAUREA IN INFORMATICA UNA WEB APPLICATION SU INFRASTRUTTURA PER IL PROGETTO DAME Tutor Accademico: Dott.ssa Anna Corazza Tutor Aziendale: Dott. Massimo

Dettagli

Un architettura orientata ai servizi per la localizzazione di dispositivi mobili

Un architettura orientata ai servizi per la localizzazione di dispositivi mobili Tesi di laurea Un architettura orientata ai servizi per la localizzazione di dispositivi mobili Anno Accademico 2004 /2005 Relatore Ch.mo Prof. Domenico Cotroneo Correlatore Ing. Massimo Ficco Candidato

Dettagli

UNIVERSITA' CA' FOSCARI DI VENEZIA. Facoltà di Scienze MM.FF.NN. - Dipartimento di Informatica Tesi di Laurea Triennale

UNIVERSITA' CA' FOSCARI DI VENEZIA. Facoltà di Scienze MM.FF.NN. - Dipartimento di Informatica Tesi di Laurea Triennale UNIVERSITA' CA' FOSCARI DI VENEZIA Facoltà di Scienze MM.FF.NN. - Dipartimento di Informatica Tesi di Laurea Triennale JGESTCOMM 2005: Un sistema distribuito per la gestione commerciale di aziende del

Dettagli

Navigazione sul Web mediante dispositivi di input head-controlled

Navigazione sul Web mediante dispositivi di input head-controlled Università degli Studi di Bari Facoltà di Scienze MM.FF.NN. Corso di Laurea in Informatica 1/16 Tesi di Laurea Navigazione sul Web mediante dispositivi di input head-controlled controlled: : sviluppo di

Dettagli

Analisi e comparazione dei Framework OpenSwing e Google Web Toolkit per lo sviluppo di interfacce utente con paradigma MVC.

Analisi e comparazione dei Framework OpenSwing e Google Web Toolkit per lo sviluppo di interfacce utente con paradigma MVC. tesi di laurea Analisi e comparazione dei Framework OpenSwing e Google Web Toolkit. Anno Accademico 2009/2010 relatore Ch.mo prof. Porfirio Tramontana correlatore Ing. Luca Anniciello candidato Gianluca

Dettagli

Centro di Ateneo per i Servizi Informativi. edocumento Note di rilascio per gli utenti AREA TECNICA EGOVERNMENT

Centro di Ateneo per i Servizi Informativi. edocumento Note di rilascio per gli utenti AREA TECNICA EGOVERNMENT edocumento 1.8.0 - Note di rilascio per gli utenti 1. Generalità... 2 1.1 Impostazione dei browser... 2 2. Interventi di manutenzione evolutiva... 2 2.1 Flussi di Ordinativi di Pagamento e Incasso... 2

Dettagli

Strumenti per l automazione del testing di applicazioni web Javascript-based

Strumenti per l automazione del testing di applicazioni web Javascript-based tesi di laurea Strumenti per l automazione del testing di applicazioni web Javascript-based Anno Accademico 2005/2006 relatore Ch.mo prof. Porfirio Tramontana 1 candidato Salvatore Agnello Matr. 41/2612

Dettagli

Si definisce sito accessibile un sito web che consente l'accesso ai suoi contenuti a tutti gli utenti, indipendentemente dalla presenza di disabilità

Si definisce sito accessibile un sito web che consente l'accesso ai suoi contenuti a tutti gli utenti, indipendentemente dalla presenza di disabilità Si definisce sito accessibile un sito web che consente l'accesso ai suoi contenuti a tutti gli utenti, indipendentemente dalla presenza di disabilità (fisiche, sensoriali, cognitive) e dalle dotazioni

Dettagli

Realizzazione di un software per la gestione di apparecchiature biomedicali Anno Accademico 2010/2011

Realizzazione di un software per la gestione di apparecchiature biomedicali Anno Accademico 2010/2011 tesi di laurea Realizzazione di un software per la gestione di apparecchiature biomedicali Anno Accademico 2010/2011 relatore Ch.mo prof. Porfirio Tramontana correlatore Ing. Francesco Gargiulo candidato

Dettagli

Viene pubblicata la versione 1.0 di HTML:

Viene pubblicata la versione 1.0 di HTML: Viene pubblicata la versione 1.0 di HTML: HTML permette di definire formalmente la struttura logica dei documenti ipertestuali, offrendo semplici strumenti di formattazione e per collegare vari documenti

Dettagli

Università di Roma Tor Vergata Corso di Laurea triennale in Informatica Sistemi operativi e reti A.A Pietro Frasca.

Università di Roma Tor Vergata Corso di Laurea triennale in Informatica Sistemi operativi e reti A.A Pietro Frasca. Università di Roma Tor Vergata Corso di Laurea triennale in Informatica Sistemi operativi e reti A.A. 2016-17 Pietro Frasca Lezione 4 Giovedì 20-10-2016 Struttura e organizzazione software dei sistemi

Dettagli

Corso di Ingegneria del Software. Modelli di produzione del software

Corso di Ingegneria del Software. Modelli di produzione del software Corso di Ingegneria del Software a.a. 2009/2010 Mario Vacca mario.vacca1@istruzione.it Le fasi - Disegno del software Figura: (waterfall model) Le fasi - Disegno del software In questa fase si stabilisce

Dettagli

Progetto e sviluppo di un applicazione Android per il controllo di reti di sensori senza filo

Progetto e sviluppo di un applicazione Android per il controllo di reti di sensori senza filo tesi di laurea Progetto e sviluppo di un applicazione Android per il controllo di reti di sensori senza filo 2011/2012 relatore Ch.mo prof. Marcello Cinque candidato Antonio Annunziata Matr. 534/00197

Dettagli

Interfacce per End-User Debugging nel contesto Internet of Things

Interfacce per End-User Debugging nel contesto Internet of Things Interfacce per End-User Debugging nel contesto Internet of Things Politecnico di Torino Corso di Laurea Magistrale in Ingegneria Informatica Relatori: Fulvio Corno Luigi De Russis Alberto Monge Roffarello

Dettagli

UNIVERSITA' DEGLI STUDI DI MILANO BICOCCA

UNIVERSITA' DEGLI STUDI DI MILANO BICOCCA UNIVERSITA' DEGLI STUDI DI MILANO BICOCCA Facoltà di Economia Corso di Laurea in Marketing, Comunicazione Aziendale e Mercati Internazionali Il caso GROUPON.COM: un nuovo approccio al Web Marketing Promozionale

Dettagli

Race condition in applicazioni web

Race condition in applicazioni web Corso di laurea magistrale in tecnologie dell informazione e della comunicazione Relatore: Correlatore: Prof. Danilo Bruschi Dott. Roberto Paleari Tesi di laurea di: Matricola: 685167 Sommario 1 Il problema

Dettagli

Università degli studi di Napoli Federico II

Università degli studi di Napoli Federico II Università degli studi di Napoli Federico II Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di Laurea in Scienze e Tecnologie Informatiche Tesi di Laurea Triennale NExt (Neural Extractor) II:

Dettagli

Tesi di laurea: Realizzazione di Strumenti per la valutazione di accessibilità di pagine Web

Tesi di laurea: Realizzazione di Strumenti per la valutazione di accessibilità di pagine Web Tesi di laurea: Realizzazione di Strumenti per la valutazione di accessibilità di pagine Web Anno Accademico 2007/2008 relatore Ch.mo prof. Porfirio Tramontana correlatore Ing. Domenico Amalfitano candidato

Dettagli

Alma Mater Studiorum- Università di Bologna. Progettazione ed Implementazione di un Hidden TCP Proxy

Alma Mater Studiorum- Università di Bologna. Progettazione ed Implementazione di un Hidden TCP Proxy Alma Mater Studiorum- Università di Bologna Facoltà di Scienze Matematiche Fisiche e Naturali Corso di Laurea in Scienze dell'informazione Tesi di Laurea in Sistemi per l'elaborazione dell'informazione

Dettagli

Concetti Generali. Requisiti Software. Definizione di Requisiti

Concetti Generali. Requisiti Software. Definizione di Requisiti Concetti Generali DIB 1 DIB 2 Definizione di Requisiti Per l Institute of Electrical and Electronic Engineering (IEEE), i requisiti hanno le seguenti caratteristiche Esprimono capacità e condizioni (vincoli)

Dettagli

Oggetto: MASTER DI ALTA FORMAZIONE PROFESSIONALE IN WEB MASTER - WEB DESIGN SEO E.COMMERCE - SVILUPPO WEB HTML5, CSS3, PHP, IN AMBIENTE WORDPRESS

Oggetto: MASTER DI ALTA FORMAZIONE PROFESSIONALE IN WEB MASTER - WEB DESIGN SEO E.COMMERCE - SVILUPPO WEB HTML5, CSS3, PHP, IN AMBIENTE WORDPRESS Oggetto: MASTER DI ALTA FORMAZIONE PROFESSIONALE IN WEB MASTER - WEB DESIGN SEO E.COMMERCE - SVILUPPO WEB HTML5, CSS3, PHP, IN AMBIENTE WORDPRESS La Salerno Formazione Snc, azienda operante nel settore

Dettagli

STUDIO E OTTIMIZZAZIONE DI UN BASAMENTO PER UN MOTORE AERONAUTICO DI ELEVATE PRESTAZIONI

STUDIO E OTTIMIZZAZIONE DI UN BASAMENTO PER UN MOTORE AERONAUTICO DI ELEVATE PRESTAZIONI Alma Mater Studiorum Università di Bologna Seconda Facoltà di Ingegneria con sede a Cesena, sede di Forlì Corso di Laurea in INGEGNERIA AEROSPAZIALE Tesi di Laurea in Disegno Assistito dal Calcolatore

Dettagli

Scrivere codice XHTML Pulizia del codice Verifica della chiusura dei tag Compatibilità con i browser Validazione dei tag Accessibilità Report Testing

Scrivere codice XHTML Pulizia del codice Verifica della chiusura dei tag Compatibilità con i browser Validazione dei tag Accessibilità Report Testing ICT Center of Excellence For Research, Innovation, Education, and life-long long Learning Politecnico di Milano Il controllo e la validazione del codice in Dreamweaver Basilio Pugliese pugliese@cefriel.it

Dettagli

REPERTORIO DELLE QUALIFICAZIONI PROFESSIONALI DELLA REGIONE CAMPANIA

REPERTORIO DELLE QUALIFICAZIONI PROFESSIONALI DELLA REGIONE CAMPANIA REPERTORIO DELLE QUALIFICAZIONI PROFESSIONALI DELLA REGIONE CAMPANIA QUALIFICAZIONE PROFESSIONALE Denominazione qualificazione Tecnico della programmazione e dello sviluppo di programmi informatici 5 Settore

Dettagli

REPERTORIO DELLE QUALIFICAZIONI PROFESSIONALI DELLA REGIONE CAMPANIA

REPERTORIO DELLE QUALIFICAZIONI PROFESSIONALI DELLA REGIONE CAMPANIA REPERTORIO DELLE QUALIFICAZIONI PROFESSIONALI DELLA REGIONE CAMPANIA Processo Sequenza di processo Area di Attività Qualificazione regionale SETTORE ECONOMICO PROFESSIONALE 1 Servizi di informatica Sviluppo

Dettagli

Software Open Source nella scuola primaria

Software Open Source nella scuola primaria Software Open Source nella scuola primaria Modelli per lʹallestimento di un laboratorio informatico e sperimentazione di strumenti didattici Relatore: Chiarissimo Prof. S. Tucci Correlatori: Ing. S. Filippone

Dettagli

Strumenti di gestione del ciclo di vita del software

Strumenti di gestione del ciclo di vita del software Strumenti di gestione del ciclo di vita del software Università degli studi di Padova a.a. 2017/18 Laurea in Informatica Corso di Ingegneria del Software Presenta Nicola Bertazzo nicola.bertazzo@gmail.com

Dettagli

Un linguaggio per la rappresentazione formale di vincoli su scenari d'uso

Un linguaggio per la rappresentazione formale di vincoli su scenari d'uso Un linguaggio per la rappresentazione formale di vincoli su scenari d'uso Relatore: Benedetto Intrigila Realizzato da: Postoronca Maxim Anno accademico: 2009/2010 Introduzione Introduzione Lo scopo della

Dettagli

Lez. 8 La Programmazione. Prof. Pasquale De Michele (Gruppo 2) e Raffaele Farina (Gruppo 1) 1

Lez. 8 La Programmazione. Prof. Pasquale De Michele (Gruppo 2) e Raffaele Farina (Gruppo 1) 1 Lez. 8 La Programmazione Prof. Pasquale De Michele (Gruppo 2) e Raffaele Farina (Gruppo 1) 1 Dott. Pasquale De Michele Dott. Raffaele Farina Dipartimento di Matematica e Applicazioni Università di Napoli

Dettagli

Astrazione automatica di regole per sistemi IoT: un approccio rivolto ad utenti non esperti

Astrazione automatica di regole per sistemi IoT: un approccio rivolto ad utenti non esperti Politecnico di Torino CORSO DI LAUREA MAGISTRALE IN INGENGERIA INFORMATICA Astrazione automatica di regole per sistemi IoT: un approccio rivolto ad utenti non esperti RELATORI: Fulvio Corno Luigi De Russis

Dettagli

Progetto: Dama. 1 - Descrizione. 2 - Regole del gioco. Appello di febbraio 2003

Progetto: Dama. 1 - Descrizione. 2 - Regole del gioco. Appello di febbraio 2003 Appello di febbraio 2003 Progetto: Dama Laurea triennale in Comunicazione Digitale Laboratorio di Informatica Generale 1 - Descrizione Il progetto consiste nell implementare un rudimentale programma di

Dettagli

Lez. 5 La Programmazione. Prof. Salvatore CUOMO

Lez. 5 La Programmazione. Prof. Salvatore CUOMO Lez. 5 La Programmazione Prof. Salvatore CUOMO 1 2 Programma di utilità: Bootstrap All accensione dell elaboratore (Bootsrap), parte l esecuzione del BIOS (Basic Input Output System), un programma residente

Dettagli

Realizzazione di un sistema a supporto del testing automatico di Rich Internet Applications

Realizzazione di un sistema a supporto del testing automatico di Rich Internet Applications tesi di laurea Realizzazione di un sistema a supporto del testing automatico di Rich Anno Accademico 2007/2008 relatore Ch.mo prof. Porfirio Tramontana correlatore Ch.mo ing. Domenico Amalfitano candidato

Dettagli

UML2. Concetti base. Andrea Polini. Laboratorio di Ingegneria del Software Corso di Laurea in Informatica L31 Università di Camerino

UML2. Concetti base. Andrea Polini. Laboratorio di Ingegneria del Software Corso di Laurea in Informatica L31 Università di Camerino UML2 Concetti base Andrea Polini Laboratorio di Ingegneria del Software Corso di Laurea in Informatica L31 Università di Camerino (Labortorio di Ingegneria del Software) UML2 - Concetti Base 1 / 12 Cos

Dettagli

PROGRAMMAZIONE DISCIPLINARE LICEO SCIENTIFICO OPZIONE SCIENZE APPLICATE INFORMATICA CLASSE TERZA

PROGRAMMAZIONE DISCIPLINARE LICEO SCIENTIFICO OPZIONE SCIENZE APPLICATE INFORMATICA CLASSE TERZA PROGRAMMAZIONE DISCIPLINARE PROGRAMMAZIONE DISCIPLINARE LICEO SCIENTIFICO OPZIONE SCIENZE APPLICATE INFORMATICA CLASSE TERZA 1. Competenze: le specifiche competenze di base disciplinari previste dalla

Dettagli

Obiettivi di accessibilità per l anno 2015

Obiettivi di accessibilità per l anno 2015 Comune di Piombino Obiettivi di accessibilità per l anno 2015 Redatto ai sensi dell articolo 9, comma 7 del decreto legge 18 ottobre 2012, n. 179. Redatto il 27/03/2015 1 SOMMARIO Obiettivi di accessibilità

Dettagli

UML Introduzione a UML Linguaggio di Modellazione Unificato. Corso di Ingegneria del Software Anno Accademico 2012/13

UML Introduzione a UML Linguaggio di Modellazione Unificato. Corso di Ingegneria del Software Anno Accademico 2012/13 UML Introduzione a UML Linguaggio di Modellazione Unificato Corso di Ingegneria del Software Anno Accademico 2012/13 1 Che cosa è UML? UML (Unified Modeling Language) è un linguaggio grafico per: specificare

Dettagli

NOTE OPERATIVE DI RELEASE

NOTE OPERATIVE DI RELEASE NOTE OPERATIVE DI RELEASE Applicativo: GESTIONE CONTABILE 2017 Oggetto: Note operative di release Versione: 2017 8.00.00 Data di rilascio: 11 gennaio 2017 Riferimento: Contenuto del Rilascio Classificazione:

Dettagli

Obiettivi di accessibilità per l anno 2014

Obiettivi di accessibilità per l anno 2014 COMUNE DI GARBAGNATE MONASTERO Provincia di Lecco Viale Brianza n. 8 23846 GARBAGNATE MONASTERO C.F. 83002960132 P.I. 00675010136 COMUNE DI GARBAGNATE MONASTERO Obiettivi di accessibilità per l anno 2014

Dettagli

Fondamenti di Informatica

Fondamenti di Informatica e usabilità Cazzaniga Paolo Dip. di Scienze Umane e Sociali paolo.cazzaniga@unibg.it Outline La qualità del Web 1 La qualità del Web 2 3 Outline La qualità del Web 1 La qualità del Web 2 3 Modelli di qualità

Dettagli

Studio del linguaggio TROPOS per la modellazione dei requisiti orientata agli agenti

Studio del linguaggio TROPOS per la modellazione dei requisiti orientata agli agenti tesi di laurea Studio del linguaggio TROPOS per la modellazione dei requisiti orientata agli agenti Anno Accademico 2005/2006 relatore Ch.mo Prof. Stefano Russo correlatore Ing. Generoso Paolillo candidato

Dettagli

IL SISTEMA DI BIGLIETTAZIONE ELETTRONICA COME SUPPORTO AI PROCESSI AZIENDALI E ALL INFORMAZIONE PER L UTENZA

IL SISTEMA DI BIGLIETTAZIONE ELETTRONICA COME SUPPORTO AI PROCESSI AZIENDALI E ALL INFORMAZIONE PER L UTENZA Organizzato da: IL SISTEMA DI BIGLIETTAZIONE ELETTRONICA COME SUPPORTO AI PROCESSI AZIENDALI E ALL INFORMAZIONE PER L UTENZA Ing. Diego PONZI Resp. Tecnologie Mobilità Cotral S.p.A. Roma 29 e 30 marzo

Dettagli

Studio di stile e progettazione di massima di alcuni componenti di una vettura per diversamente abili

Studio di stile e progettazione di massima di alcuni componenti di una vettura per diversamente abili ALMA MATER STUDIORUM - UNIVERSITÀ DI BOLOGNA FACOLTA DI INGEGNERIA CORSO DI LAUREA IN INGEGNERIA MECCANICA TESI DI LAUREA in Laboratorio CAD L Studio di stile e progettazione di massima di alcuni componenti

Dettagli

In passato, occuparsi di informatica era sinonimo di programmare computer

In passato, occuparsi di informatica era sinonimo di programmare computer Programmare =? In passato, occuparsi di informatica era sinonimo di programmare computer attività poco stimolante, atto finale di un processo dove le fasi creative - analisi e progetto - sono già avvenute

Dettagli

PIANO DI LAVORO ANNO SCOLASTICO 2016/2017. I.I.S.S. C. E. GADDA Sede di Langhirano MATERIA DI INSEGNAMENTO TECNOLOGIE E PROGETTAZIONE DI

PIANO DI LAVORO ANNO SCOLASTICO 2016/2017. I.I.S.S. C. E. GADDA Sede di Langhirano MATERIA DI INSEGNAMENTO TECNOLOGIE E PROGETTAZIONE DI PIANO DI LAVORO ANNO SCOLASTICO 2016/2017 I.I.S.S. C. E. GADDA Sede di Langhirano MATERIA DI INSEGNAMENTO TECNOLOGIE E PROGETTAZIONE DI SISTEMI INFORMATICI E DI TELECOMUNICAZIONI PROF. MAURIZIO MERCURI

Dettagli

Annotazione del testo

Annotazione del testo Università Ca Foscari di Venezia Linguistica Informatica Mod. 1 Anno Accademico 2010-2011 Annotazione del testo Rocco Tripodi rocco@unive.it Ricostruzione Filologia Ricostruire la forma originaria dei

Dettagli

ALMA MATER STUDIORUM - UNIVERSITÀ DI BOLOGNA

ALMA MATER STUDIORUM - UNIVERSITÀ DI BOLOGNA ALMA MATER STUDIORUM - UNIVERSITÀ DI BOLOGNA FACOLTA DI INGEGNERIA CORSO DI LAUREA IN INGEGNERIA EDILE-ARCHITETTURA D.A.P.T. Dipartimento di Architettura e Pianificazione Territoriale TESI DI LAUREA in

Dettagli

Università degli Studi di Urbino

Università degli Studi di Urbino Università degli Studi di Urbino Adempimenti per la predisposizione del regolamento didattico di Ateneo Riunione del 13 Febbraio 2001. Presenti: Proff. Giovanni Conso, Laura Gardini, Roberta Mullini, Giorgio

Dettagli

REPERTORIO DELLE QUALIFICAZIONI PROFESSIONALI DELLA REGIONE CAMPANIA

REPERTORIO DELLE QUALIFICAZIONI PROFESSIONALI DELLA REGIONE CAMPANIA REPERTORIO DELLE QUALIFICAZIONI PROFESSIONALI DELLA REGIONE CAMPANIA QUALIFICAZIONE PROFESSIONALE Denominazione qualificazione Tecnico della programmazione e dello sviluppo di siti internet e pagine web

Dettagli

Estensione e creazione di profili ebxml di collaborazione aziendale per l e-business

Estensione e creazione di profili ebxml di collaborazione aziendale per l e-business Corso di Laurea in Informatica Estensione e creazione di profili ebxml di collaborazione aziendale per l e-business Tesi di Laurea di: Cristiano Novelli Relatore: Fabio Vitali Correlatori: Piero De Sabbata

Dettagli

GESTIONE DEL PROTOCOLLO INFORMATICO

GESTIONE DEL PROTOCOLLO INFORMATICO GESTIONE DEL PROTOCOLLO INFORMATICO Generalità L applicazione gestisce la protocollazione in ingresso/uscita. Tutte le fasi di inserimento, classificazione, catalogazione, ricerca e veicolazione dei documenti

Dettagli

PROGRAMMAZIONE DIDATTICA

PROGRAMMAZIONE DIDATTICA MINISTERO DELLA ISTRUZIONE DELL UNIVERSITA E RICERCA UFFICIO SCOLASTICO REGIONALE PER IL LAZIO ISTITUTO DI ISTRUZIONE SUPERIORE I.T.C. DI VITTORIO I.T.I. LATTANZIO Via Teano, 223-00177 Roma 06121122405

Dettagli

PROGRAMMA DEL CORSO MASTER IN WEB DESIGN & DEVELOPER

PROGRAMMA DEL CORSO MASTER IN WEB DESIGN & DEVELOPER PROGRAMMA DEL CORSO MASTER IN WEB DESIGN & DEVELOPER Il corso Master Web Developer con Certificazione internazionale W3Schools prepara lo studente a entrare nel mondo dello sviluppo Web (blog, siti, portali).

Dettagli

Repertorio Regionale delle Qualificazioni e delle Competenze

Repertorio Regionale delle Qualificazioni e delle Competenze Repertorio Regionale delle Qualificazioni e delle Competenze Scheda di Figura Professionale Denominazione Figura Esempi di possibili denominazioni ricorrenti nel mondo del lavoro Settori di riferimento

Dettagli

FOGLIO DI CALCOLO LIVELLO AVANZATO

FOGLIO DI CALCOLO LIVELLO AVANZATO FOGLIO DI CALCOLO LIVELLO AVANZATO SYLLABUS MODULO C07.1 PASSAPORTO INFORMATICO EIRSAF Scopo Questo documento descrive il Syllabus del Modulo Foglio di Calcolo Livello Avanzato erogato e certificato da

Dettagli

L integrazione di mail in un sistema automatico di distribuzione di ontologie: Ontology Mail Manager

L integrazione di mail in un sistema automatico di distribuzione di ontologie: Ontology Mail Manager L integrazione di mail in un sistema automatico di distribuzione di ontologie: Ontology Mail Manager Candidato: Romina Tuori Relatore: Prof. Fabio Vitali Correlatori: Dott.ssa Silvia Duca Dott. Antonio

Dettagli

MINISTERO DELLA ISTRUZIONE DELL UNIVERSITA E RICERCA UFFICIO SCOLASTICO REGIONALE PER IL LAZIO

MINISTERO DELLA ISTRUZIONE DELL UNIVERSITA E RICERCA UFFICIO SCOLASTICO REGIONALE PER IL LAZIO MINISTERO DELLA ISTRUZIONE DELL UNIVERSITA E RICERCA UFFICIO SCOLASTICO REGIONALE PER IL LAZIO ISTITUTO DI ISTRUZIONE SUPERIORE I.T.C. DI VITTORIO I.T.I. LATTANZIO Via Teano, 223-00177 Roma ( 06121122405/

Dettagli

Sviluppo di un'interfaccia grafica per l'automatizzazione di campagne di software fault injection. relatore Ch.mo prof.

Sviluppo di un'interfaccia grafica per l'automatizzazione di campagne di software fault injection. relatore Ch.mo prof. tesi di laurea triennale Sviluppo di un'interfaccia grafica per l'automatizzazione di campagne Anno Accademico 2010/2011 relatore Ch.mo prof. Domenico Cotroneo correlatore Ing. Roberto Natella candidato

Dettagli

CORSO DI FORMAZIONE: WEB MASTER E WEB DESIGN PROGRAMMA

CORSO DI FORMAZIONE: WEB MASTER E WEB DESIGN PROGRAMMA CORSO DI FORMAZIONE: WEB MASTER E WEB DESIGN PROGRAMMA Como 2017 MT Promozione e-mail: info@corsidiformazionelombardia.it web: www.corsidiformazionelombardia.it cell.: 3384391218 INDICE Cap. Par. Sot.

Dettagli

VERIFICA E OTTIMIZZAZIONE DEL GRUPPO TIMBRATORE MECCANICO DI UNA BLISTERATRICE

VERIFICA E OTTIMIZZAZIONE DEL GRUPPO TIMBRATORE MECCANICO DI UNA BLISTERATRICE ALMA MATER STUDIORUM UNIVERSITÀ DEGLI STUDI DI BOLOGNA Facoltà di INGEGNERIA Corso di laurea in INGEGNERIA MECCANICA VERIFICA E OTTIMIZZAZIONE DEL GRUPPO TIMBRATORE MECCANICO DI UNA BLISTERATRICE Tesi

Dettagli

Servizio E-learning di Ateneo Piattaforma Moodle e L2L

Servizio E-learning di Ateneo Piattaforma Moodle e L2L Servizio E-learning di Ateneo Piattaforma Moodle e L2L Direzione Sistemi Informativi e Portale di Ateneo Direzione Sistemi Informativi e Portale di Ateneo Il sistema e-learning di Ateneo nasce in particolare

Dettagli

Sviluppo di un applicazione di front-end per il monitoraggio di un Isola Ecologica

Sviluppo di un applicazione di front-end per il monitoraggio di un Isola Ecologica Sviluppo di un applicazione di front-end per il monitoraggio di un Isola Ecologica Candidato: Lorenzo D Eri Relatore: Prof. Sergio Carrato Correlatore: Ing. Vojko Croselli 2 dicembre 2015 Università degli

Dettagli

Metodi e Tecniche per il Riuso di componenti in Applicazioni Android

Metodi e Tecniche per il Riuso di componenti in Applicazioni Android Metodi e Tecniche per il Riuso di componenti in Applicazioni Metodologie e strumenti per il reengineering del workflow management Tesi di laurea Metodi e Tecniche per il Riuso di componenti in Applicazioni

Dettagli

CREAZIONE DI FRAMEWORK PER LO SCAMBIO DATI FRA IMPRESE: DIZIONARIO E GENERATORE DI XML SCHEMA IN MODA-ML

CREAZIONE DI FRAMEWORK PER LO SCAMBIO DATI FRA IMPRESE: DIZIONARIO E GENERATORE DI XML SCHEMA IN MODA-ML UNIVERSITA DEGLI STUDI DI FERRARA Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di Laurea in Informatica CREAZIONE DI FRAMEWORK PER LO SCAMBIO DATI FRA IMPRESE: DIZIONARIO E GENERATORE DI XML

Dettagli

Relatore Prof.ssa Laura Tarantino Correlatore. Laureanda Stefania Di Paolo. Ing. Umberto Innocente A.A. 2007/2008

Relatore Prof.ssa Laura Tarantino Correlatore. Laureanda Stefania Di Paolo. Ing. Umberto Innocente A.A. 2007/2008 Università degli Studi dell Aquila Facoltà di Ingegneria Tesi di Laurea Specialistica in Ingegneria Informatica e Automatica Relatore Prof.ssa Laura Tarantino Correlatore Laureanda Stefania Di Paolo Ing.

Dettagli

Testing black box di web service: sperimentazione su di un servizio senza stato

Testing black box di web service: sperimentazione su di un servizio senza stato tesi di laurea Anno Accademico 2005/2006 relatore Ch.mo prof. Porfirio Tramontana candidato Alfredo Monaco Matr. 534/001519 Obiettivi Risulta importante poter valutare se un web service abbia o non abbia

Dettagli

3.3.6 Gli operatori Le funzioni di accesso al tipo Le strutture di controllo Le funzioni

3.3.6 Gli operatori Le funzioni di accesso al tipo Le strutture di controllo Le funzioni IIndice Capitolo 1 Da dove partiamo: pagine web statiche 1 1.1 Principi di base.............................. 1 1.1.1 Il paradigma client-server.................... 1 1.1.2 Ipertesto, multimedia, ipermedia................

Dettagli

Uno Strumento per la ricerca di campi Output e Etichetta in pagine Client

Uno Strumento per la ricerca di campi Output e Etichetta in pagine Client tesi di laurea Uno Strumento per la ricerca di campi Output e Etichetta in pagine Client Anno Accademico 2006/2007 relatore Ch.ma prof.ssa Anna Rita Fasolino correlatore Ch.mo prof. Porfirio Tramontana

Dettagli

Progettazione user-centered di sistemi a regole in ambienti intelligenti

Progettazione user-centered di sistemi a regole in ambienti intelligenti Corso di Laurea in Ingegneria Informatica Tesi di Laurea Magistrale Progettazione user-centered di sistemi a regole in ambienti intelligenti Relatori: Fulvio Corno Luigi De Russis Candidato: Rosalba Castro

Dettagli

Pro/INTRALINK Guida al curriculum

Pro/INTRALINK Guida al curriculum Pro/INTRALINK 11.0 Guida al curriculum Guida al curriculum Corsi in aula tradizionale Amministrazione aziendale di PTC Windchill 11.0 Amministrazione aziendale di PTC Windchill 11.0 Panoramica Codice del

Dettagli

Via Onedo 1/A Abbadia Lariana 1/A - Tel: , P.I.: Web:

Via Onedo 1/A Abbadia Lariana 1/A - Tel: , P.I.: Web: SmartEdit Plus è un editor pensato e realizzato per permettere la visualizzazione, analisi e modifica di qualunque flusso elettronico in formato ASCII con campi a lunghezza fissa. Si distingue dai tradizionali

Dettagli

Che cos è l Informatica?

Che cos è l Informatica? Che cos è l Informatica? Che cos è l Informatica? Non è facile da definire! Alcune affermazioni vere: L informatica è parente stretta della matematica Ha a che fare con il modo in cui risolviamo i problemi

Dettagli

Un Sistema per la Redazione Assistita di Testi Giuridici. Tesi di Laurea Specialistica in Informatica di Emiliano Giovannetti

Un Sistema per la Redazione Assistita di Testi Giuridici. Tesi di Laurea Specialistica in Informatica di Emiliano Giovannetti Un Sistema per la Redazione Assistita di Testi Giuridici Tesi di Laurea Specialistica in Informatica di Emiliano Giovannetti Strumenti informatici per la gestione di dati testuali tra gli obiettivi che

Dettagli

PROGRAMMAZIONE DIDATTICA DI DIPARTIMENTO A.S. 2017/2018

PROGRAMMAZIONE DIDATTICA DI DIPARTIMENTO A.S. 2017/2018 ISTITUTO ISTRUZIONE SUPERIORE EINAUDI - SCARPA TECNOLOGICO - ECONOMICO PROFESSIONALE Via J. Sansovino, 6-31044 MONTEBELLUNA (TV) 0423 23587 - Fax 0423 602717 web: www.iiseinaudiscarpa.gov.itemail: info@iiseinaudiscarpa.gov.it

Dettagli

ALMA MATER STUDIORUM - UNIVERSITÀ DEGLI STUDI DI BOLOGNA CAMPUS DI CESENA SCUOLA DI INGEGNERIA E ARCHITETTURA

ALMA MATER STUDIORUM - UNIVERSITÀ DEGLI STUDI DI BOLOGNA CAMPUS DI CESENA SCUOLA DI INGEGNERIA E ARCHITETTURA ALMA MATER STUDIORUM - UNIVERSITÀ DEGLI STUDI DI BOLOGNA CAMPUS DI CESENA SCUOLA DI INGEGNERIA E ARCHITETTURA CORSO DI LAUREA SPECIALISTICA IN INGEGNERIA INFORMATICA PREDICTIVE TEXT MINING: METODI DI PREVISIONE

Dettagli

Base. Come realizzare applicazioni di web mapping

Base. Come realizzare applicazioni di web mapping www.terrelogiche.com Corso webgis Base Come realizzare applicazioni di web mapping >> 15% di sconto per chi iscrive con almeno 30 giorni di anticipo >> 10% di sconto per iscritti a Ordini ed Associazioni

Dettagli

Esercitazione di Calcolatori Elettronici Prof. Fabio Roli. Corso di Laurea in Ingegneria Elettronica. Esercitazione 3 (Capitolo 4) Set di istruzioni

Esercitazione di Calcolatori Elettronici Prof. Fabio Roli. Corso di Laurea in Ingegneria Elettronica. Esercitazione 3 (Capitolo 4) Set di istruzioni Esercitazione di Calcolatori Elettronici Prof. Fabio Roli Corso di Laurea in Ingegneria Elettronica Esercitazione 3 (Capitolo 4) Set di istruzioni Outline Set di istruzioni di macchina Metodi di indirizzamento

Dettagli

- Note Informative - GEMA. Revisione del Documento: 03 19/02/2016. GEMA-NI-01- R03 Pagina 1 di 7

- Note Informative - GEMA. Revisione del Documento: 03 19/02/2016. GEMA-NI-01- R03 Pagina 1 di 7 - Note Informative - GEMA Revisione del Documento: 03 19/02/2016 Pagina 1 di 7 Cronologia delle Revisioni Revisione Data Sintesi delle Modifiche 01 22-05-2013 Prima emissione 02 16-09-2013 Elenco delle

Dettagli

Modulo di Ricerca Operativa 5 a 6 a lezione: un modello di trasporto Management Sanitario

Modulo di Ricerca Operativa 5 a 6 a lezione: un modello di trasporto Management Sanitario Modulo di Ricerca Operativa 5 a 6 a lezione: un modello di trasporto Management Sanitario per il corso di Laurea Magistrale SCIENZE RIABILITATIVE DELLE PROFESSIONI SANITARIE Prof. Laura Palagi http://www.dis.uniroma1.it/

Dettagli

Modulo 1: Le I.C.T. UD 1.5c: Elaborazione centrata sul. documento e problemi relativi al software

Modulo 1: Le I.C.T. UD 1.5c: Elaborazione centrata sul. documento e problemi relativi al software Modulo 1: Le I.C.T. : Elaborazione centrata sul documento e problemi relativi al software Prof. Alberto Postiglione Corso di Informatica Generale (AA 07-08) Corso di Laurea in Scienze della Comunicazione

Dettagli

PROGRAMMAZIONE DIDATTICA DI DIPARTIMENTO A.S. 2017/2018

PROGRAMMAZIONE DIDATTICA DI DIPARTIMENTO A.S. 2017/2018 ISTITUTO ISTRUZIONE SUPERIORE EINAUDI - SCARPA TECNOLOGICO - ECONOMICO PROFESSIONALE Via J. Sansovino, 6-31044 MONTEBELLUNA (TV)0423 23587 - Fax 0423 602717 web: www.iiseinaudiscarpa.gov.itemail: info@iiseinaudiscarpa.gov.it

Dettagli

Università degli studi di Roma Tor Vergata Ingegneria Medica Informatica I Programma del Corso

Università degli studi di Roma Tor Vergata Ingegneria Medica Informatica I Programma del Corso Obiettivi Di seguito vengono riportate una serie di domande che possono essere poste durante la prova formale del corso. Le seguenti domande non sono da ritenersi esaustive ma esemplificative. 1. Architettura

Dettagli

Linguaggi Formali e Compilatori Proff. Breveglieri, Crespi Reghizzi, Morzenti Prova scritta 1 : Domanda relativa alle esercitazioni 20/06/2011

Linguaggi Formali e Compilatori Proff. Breveglieri, Crespi Reghizzi, Morzenti Prova scritta 1 : Domanda relativa alle esercitazioni 20/06/2011 Linguaggi Formali e Compilatori Proff. Breveglieri, Crespi Reghizzi, Morzenti Prova scritta 1 : Domanda relativa alle esercitazioni 20/06/2011 COGNOME:.............................................................

Dettagli

SIMULAZIONE IN MEDICINA

SIMULAZIONE IN MEDICINA SIMULAZIONE IN MEDICINA Prof. Alessandro Pepino Programma insegnamento I parte: Sistemi di Macro-simulazione in medicina 1. Introduzione e storia della simulazione in medicina 2. Strumentazione per la

Dettagli

Realizzazione di uno strumento software per la compilazione assistita di piani di qualità (richiesta ed offerta) per un Servizio Web

Realizzazione di uno strumento software per la compilazione assistita di piani di qualità (richiesta ed offerta) per un Servizio Web tesi di laurea Realizzazione di uno strumento software per la compilazione assistita di piani Anno Accademico 2006/07 relatore Ch.mo prof. Tramontana Porfirio candidato Michele Schiano di Zenise Matr.

Dettagli