Il linguaggio Alloy come ausilio nella specifica formale di modelli UML

UML è ampiamente considerato lo standard de facto nella fase iniziale di modellazione di sistemi software basati sul paradigma Object-Oriented; il suo diagramma delle classi è utilizzato per la rappresentazione statica strutturale di entità e relazioni che concorrono alla definizione delle specifiche del sistema; in questa fase viene utilizzato il linguaggio OCL per esprimere vincoli semantici sugli elementi del diagramma. Il linguaggio OCL però soffre della mancanza di una verifica formale sui vincoli che sono stati definiti. Il linguaggio di modellazione Alloy, inserendosi in questa fase, concettualmente può sopperire a questa mancanza perchè può descrivere con le sue entità e relazioni un diagramma delle classi UML e, tramite propri costrutti molto vicini all'espressività di OCL, può specificare vincoli semantici sul modello che verranno analizzati dal suo ambiente l'Alloy Analyzer per verificarne la consistenza. In questo lavoro di tesi dopo aver dato una panoramica generale sui costrutti principali del linguaggio Alloy, si mostrerà come è possibile creare una corrispondenza tra un diagramma delle classi UML e un modello Alloy equivalente. Si mostreranno in seguito le analogie che vi sono tra i costrutti Alloy e OCL per la definizione di vincoli formali, e le differenze, offrendo nel complesso soluzioni e tecniche che il modellatore può utilizzare per sfruttare al meglio questo nuovo approccio di verifica formale. Verranno mostrati anche i casi di incompatibilità. Infine, come complemento al lavoro svolto verrà mostrata, una tecnica per donare una dinamicità ai modelli statici Alloy.

Sviluppo di Applicazioni Mobile Platform-independent: il Linguaggio e Piattaforma Mobl

L’obbiettivo di questa tesi consiste in un analisi dello sviluppo di applicazioni mobile, rivolgendo particolare attenzione riguardo a quelle soluzioni che consentono di astrarre dall’ambiente su cui effettivamente queste verranno eseguite, per poi prendere in esame la piattaforma e il linguaggio Mobl. Sarà quindi necessario effettuare una panoramica sullo stato attuale del mercato, introducendo i diversi sistemi presenti e le metodologie proposte per la costruzione del software. Da questo studio sarà possibile ricavare i pregi e i difetti di una programmazione nativa. Volendo, in seguito, ricercare un processo di produzione software che favorisca un’indipendenza dai sistemi precedentemente descritti, verranno illustrati alcuni tra i più importanti Mobile Frameworks e tra questi si prenderà in esame Mobl, che si contraddistingue grazie a caratteristiche peculiari.

Musitique: Informatica ed evoluzione del linguaggio musicale

La mia tesi tratta il cammino storico dell'evoluzione della musica e in che modo l'informatica ha contribuito all'evoluzione e al cambiamento della musica.

Sviluppo di un'applicazione Android per l'accessibilità urbana degli edifici e della città

Il documento di tesi è composto da tre capitoli, che in successione analizzano gli aspetti teorici del progetto fino ad arrivare all’implementazione vera e propria dell’applicazione. Nel primo capitolo vediamo definito il tema dell’accessibilità accennando alle normative presenti in Italia e all’estero sull’argomento. Successivamente viene spiegato il concetto di Smart City e le tecniche che vengono utilizzate allo scopo di migliorare la qualità di vita nelle città. Vengono introdotti i concetti di crowdsourcing e participatory sensing, ideologie alla base delle Smart City. Al termine del capitolo viene introdotto uno studio sul grado di accessibilità degli smartphone presenti oggi sul mercato, analizzando anche le tecnologie assistive disponibili per questi dispositivi. Nel secondo capitolo si descrivono le tecnologie e i servizi utilizzati durante la creazione del progetto. In particolare viene presentato Android ed il suo funzionamento, essendo quest’ultimo il sistema operativo per cui è stata sviluppata l’applicazione. In seguito troviamo una breve analisi di tutti i servizi impiegati nel progetto: Foursquare, Fusion Table e Google Maps. Infine vengono descritte le tecnologie intermedie utilizzate per far comunicare fra loro gli strumenti spiegati in precedenza. Nel terzo capitolo viene presentata in modo dettagliato l’implementazione del progetto. Inizialmente vengono definite le classi principali create per progettare le funzionalità di base del software e per interagire con i servizi scelti. Successivamente viene descritto il funzionamento e l’aspetto dell’applicazione sviluppata insieme a degli screenshot, che permetteranno al lettore di avere un riferimento visivo di ciò che è stato esposto nel corso della tesi.

Jolie - un linguaggio Service Oriented

Nella tesi vengono descritte le caratteristiche principali del linguaggio di programmazione service-oriented Jolie, analizzandone ampiamente la sintassi e proponendo esempi di utilizzo degli operatori e dei costrutti. Viene fatta una panoramica di SOC, SOA, Web Services, Cloud Computing, Orchestrazione, Coreografia, Deployment e Behaviour, gli ultimi due analizzati in diversi capitoli. La tesi si conclude con un esempio di conversione di servizi WSDL in Jolie, producendo un esempio di utilizzo del Web Service convertito. Nel documento vengono accennati i progressi storici del linguaggio ed i loro sviluppatori, nonché le API fornite dal linguaggio.

Analisi e sviluppo di un applicativo software per il testing automatico di elaborati in linguaggio c

Analisi e sviluppo di uno script in PHP per il testing automatico di elaborati in linguaggio c

Analisi e sviluppo di un applicativo software per il testing automatico di elaborati in linguaggio c

Analisi e sviluppo di uno script PHP per il testing automatico di elaborati in linguaggio c

Una rigorosa libertà. Musica e pedagogia nell’apprendimento del linguaggio

Quel che Steiner e molti altri criticano alla lingua contemporanea è il fatto di conformarsi troppo facilmente ai dettami della scienza e della società odierna, svuotando le parole del loro senso e della loro bellezza. Ciò che la scienza e la società in generale tendono a dimenticare, infatti, è che la lingua è composta di parole, fonemi, suoni. La tesi si articola in due Sezioni: una Premessa pedagogica e una Premessa antropologica. La Premessa pedagogica si compone di un solo capitolo, nel quale metteremo a confronto due metodi apparentemente molto diversi tra loro ma che, in realtà, trovano un loro accordo. Si tratta di Jean Piaget e Maria Montessori: del primo affronteremo opere quali Lo strutturalismo e L’epistemologia genetica dal punto di vista dell’acquisizione dei processi cognitivi, focalizzandoci soprattutto sull’apprendimento del linguaggio; della seconda sottolineeremo gli approcci educativi tenuti al fine di un apprendimento linguistico che non risenta di traumi ma che sia fondato su basi scientifiche. Introdurremo il ruolo della musica nei piani didattici e l’importanza di assegnarle una funzione più precisa e determinante. La Premessa antropologica si compone di due capitoli, entrambi dedicati alla musica. Nel Capitolo I parleremo della musicoterapia, un tipo di approccio fondato sul potere comunicativo della musica al fine di ripristinare la comunicazione verbale come è comunemente intesa. Nel Capitolo II, infine, parleremo del Mother Tongue Method introdotto da Shinichi Suzuki e ancora oggi riconosciuto in tutto il mondo. Si tratta di una metodologia che vuole rendere la musica parte delle vite degli individui tanto spontaneamente quanto il linguaggio. La musica diventa, dunque, uno strumento utile a formare i bambini sin da piccoli perché possano affrontare ogni ambito della loro vita con fermezza e abilità.

Il linguaggio spagnolo del turismo nel web 2.0. tripadvisor: Un caso di studio

Internet e turismo sono due settori che si intersecano profondamente e che da sempre risultano interconnessi. Grazie al progresso delle nuove tecnologie l’ambito turistico ha mutato profondamente i suoi connotati, sia da un punto di vista strutturale sia nella gestione e nella distribuzione delle informazioni. Con l’ingresso nell’era digitale, lo sviluppo delle ICT (Information and Communication Technologies) e l’avvento del web 2.0, la comunicazione turistica si è modificata in modo sostanziale: si è passati da una comunicazione monologica e unidirezionale da esperti a pubblico, a un dialogo tra le varie parti coinvolte, dove la centralità dell’utente/consumatore, che ha acquisito un ruolo proattivo e guadagnato il diritto di parola, si fa sempre più evidente. In particolare la comparsa del web sociale, che si contraddistingue per la sua forte dinamicità e un carattere collaborativo e comunitario, ha permesso lo sviluppo di modelli comunicativi originali, che sono riusciti ad apportare elementi innovativi e peculiari anche nel linguaggio del turismo, varietà linguistica già di per sé piuttosto particolare ed eterogenea. Tramite l’analisi della versione spagnola del portale di viaggi più famoso al mondo (Tripadvisor.es), si è cercato di evidenziare quali caratteristiche mostrate nei testi pubblicati in questo spazio fossero riconducibili all’influenza del linguaggio del turismo dei generi più tradizionali (guide, dépliant, cataloghi) e quali invece fossero gli elementi attribuibili al mezzo computer e quindi appartenessero alla sfera della comunicazione mediata dal computer.

Sofija Parnok: il linguaggio poetico della “Saffo russa”

La poetessa Sofija Jakovlevna Parnok (1885 - 1933) ha attraversato anni che per la Russia sono stati travagliati e intensi, sia dal punto di vista storico che da quello culturale (e quindi letterario): percorrendo i primi decenni del XX secolo, da una parte raccolse tracce di quel periodo nella propria opera, dall’altra vi lasciò un segno indelebile e unico. Pochi sono tuttavia coloro che hanno deciso di ripercorrere il segno lasciato dalla poetessa. In questo elaborato si è voluto riportare alla luce il nome di Sofija Parnok, spesso sconosciuto ai più, attraverso la traduzione di alcune poesie scelte, attraverso la loro analisi e, contemporaneamente, attraverso il racconto della sua vita: la vita della cosiddetta “Saffo russa”.

Il ruolo delle architetture di controllo nella progettazione e sviluppo di applicazioni web: Un confronto fra event-loop e control-loop utilizzando il linguaggio dart e linguaggi agent-oriented

Quando si parla di architetture di controllo in ambito Web, il Modello ad Eventi è indubbiamente quello più diffuso e adottato. L’asincronicità e l’elevata interazione con l’utente sono caratteristiche tipiche delle Web Applications, ed un architettura ad eventi, grazie all’adozione del suo tipico ciclo di controllo chiamato Event Loop, fornisce un'astrazione semplice ma sufficientemente espressiva per soddisfare tali requisiti. La crescita di Internet e delle tecnologie ad esso associate, assieme alle recenti conquiste in ambito di CPU multi-core, ha fornito terreno fertile per lo sviluppo di Web Applications sempre più complesse. Questo aumento di complessità ha portato però alla luce alcuni limiti del modello ad eventi, ancora oggi non del tutto risolti. Con questo lavoro si intende proporre un differente approccio a questa tipologia di problemi, che superi i limiti riscontrati nel modello ad eventi proponendo un architettura diversa, nata in ambito di IA ma che sta guadagno popolarità anche nel general-purpose: il Modello ad Agenti. Le architetture ad agenti adottano un ciclo di controllo simile all’Event Loop del modello ad eventi, ma con alcune profonde differenze: il Control Loop. Lo scopo di questa tesi sarà dunque approfondire le due tipologie di architetture evidenziandone le differenze, mostrando cosa significa affrontare un progetto e lo sviluppo di una Web Applications avendo tecnologie diverse con differenti cicli di controllo, mettendo in luce pregi e difetti dei due approcci.

Elaborazione del linguaggio naturale per la costruzione di un motore di ricerca semantico

Questa tesi riguarda la progettazione di un motore di ricerca semantico a partire dalla costruzione di un'ontologia pesata di token, possibile grazie ad un'elaborazione del linguaggio naturale dei testi ed all'utilizzo di altri strumenti per la descrizione dell'intorno semantico dei termini.

Analisi dell'accessibilità dei siti Web istituzionali delle Camere di Commercio italiane

Raccolta e analisi dei dati relativi alla valutazione dell'accessibilità Web dei siti istituzionali delle Camere di Commercio Industria Artigianato e Agricoltura italiane.