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.

Coordination as a Service (CaaS) in the Cloud

Nel primo capitolo si è studiata la nuova tecnologia del Cloud Computing, fornendo una semplice analisi di tutte le caratteristiche principali, gli attori coinvolti e i relativi metodi di distribuzione e servizi offerti. Nel secondo capitolo si è introdotta la nozione di coordination as a service, discutendone le relative astrazioni che compongono l'architettura logica. Successivamente si è preso in considerazione il modello di coordinazione TuCSoN definendo cosa si intende per nodo, agente, centro di tuple e agent coordination context ed è stato analizzato il relativo linguaggio di coordinazione attraverso il quale essi interagiscono. Nel terzo capitolo sono state riviste ed estese le nozioni di TuCSoN, precedentemente acquisite, nell'ambito del Cloud Computing ed è stato fornito un modello astratto ed una possibile architettura di TuCSoN in the Cloud. Sono stati analizzati anche gli aspetti di un possibile servizio di tale genere nello scenario di servizio pay-per-use. Infine nel quarto ed ultimo capitolo si è sviluppato un caso di studio in cui si è implementata un'interfaccia per l'attuale CLI di TuCSoN sottoforma di applet, che è stata poi inserita nel Cloud attraverso la piattaforma PaaS Cloudify.

L'identità ritrovata. Riqualificazione e valorizzazione dell'area archeologica dell'anfiteatro Romano di Ancona.

Il progetto di valorizzazione dell’area del parco archeologico dell’anfiteatro romano di Ancona affronta il problema del recupero delle zone lacerate del centro antico della città, di quelle aree che in seguito ai bombardamenti della Seconda Guerra Mondiale e del terremoto del 1972 hanno perso la loro identità. Dopo aver analizzato le fasi evolutive della struttura urbana della città e il sistema di relazioni sociali che la caratterizza, il progetto ha individuato nella zona dell’ex convento di Santa Palazia, sul versante ovest del colle Guasco e attigua al parco archeologico dell’anfiteatro romano, il sito idoneo per la localizzazione di un nuovo complesso architettonico. È prevista la realizzazione di residenze, spazi per la didattica e per la cultura, attività di servizio e commerciale e la realizzazione della sede del nuovo Museo d’Arte Contemporanea della Regione Marche. Il progetto definisce un macrosistema in grado di mettere ordine e porre in relazione, attraverso spazi condivisi, edifici primari (come l’anfiteatro, la chiesa dei SS Pellegrino e Teresa e il Museo Archeologico), siti archeologici, edifici pubblici legati alla archeologia, ed edifici privati, prevalentemente ad uso residenziale. Ridisegna la città facendo della misura dell’eccellenza del passato di Ancona, la misura del nuovo progetto per recuperare l’identità perduta.

Html 5 - evoluzione del linguaggio

Analisi sulle principali novità di utilizzo del nuovo linguaggio Html5

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.

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

Costruzioni modulari in linguaggi con tipi dipendenti.

In questa tesi si indaga come è possibile strutturare in modo modulare programmi e prove in linguaggi con tipi dipendenti. Il lavoro è sviluppato nel linguaggio di programmazione con tipi dipendenti Agda. Il fine è quello di tradurre l'approccio Datatypes à la carte, originariamente formulato per Haskell, in Type Theory: puntiamo ad ottenere un simile embedding di una nozione di sottotipaggio per tipi ricorsivi, che permetta sia la definizione di programmi con side-effect dove i diversi effetti sono definiti modularmente, che la modularizzazione di sintassi, semantica e ragionamento relativi a descrizioni di linguaggi.

Progettazione e implementazione di una applicazione per dispositivi mobili basata su piattaforma android (linguaggio java) a supporto di soggetti affetti da disturbi dello spettro autistico

Nella maggior parte dei casi, i soggetti affetti da Disturbo dello Spettro Autistico hanno un deficit di comunicazione, sia esso verbale o non verbale. Nonostante, ad oggi, non esista una cura per questo disturbo, una diagnosi precoce entro il terzo anno di vita del soggetto e un programma educativo coerente con le necessità del paziente, permettono al bambino con autismo di raggiungere quantomeno le abilità comunicative di base. Recenti studi hanno dimostrato che l’utilizzo di Information and Communication Technology (ICT) nel trattamento di soggetti affetti da Disturbo dello Spettro Autistico può portare molti benefici, dato che, da un lato, computer, tablet e smartphone sono strumenti strutturati e prevedibili e, dall’altro, i sintetizzatori vocali, se presenti, sono privi di inflessioni verbali. A questo proposito, durante il mio tirocinio di tesi magistrale presso l’azienda “CSP – Innovazioni nelle ICT” di Torino, ho sviluppato un’applicazione per tablet Android che permette a psicologi, educatori, logopedisti, insegnanti e genitori di creare tabelle comunicative circostanziate alle esigenze del soggetto e che consente a quest’ultimo di utilizzare questo strumento come efficace mediatore sociale. Questo software si va a inserire in un progetto più ampio, denominato “tools4Autism”, nato dalla collaborazione tra il centro di ricerca di cui sopra, la “Fondazione ASPHI Onlus – ICT per migliorare la qualità di vita delle persone con disabilità” e il “Centro Autismo e Sindrome di Asperger” di Mondovì (CN). L’applicazione prevede principalmente due metodi di utilizzo: il primo, definito “modalità operatore”, è un editor che permette di creare tabelle composte da un numero variabile di immagini che possono essere pittogrammi, fotografie personali, disegni del bambino e possono essere accompagnate o meno da un testo. Una volta create le tabelle, l’operatore ha la possibilità di modificarle, eliminarle, variarne l’ordine, esportarle su altri dispositivi o importare tabelle precedentemente create. Il secondo metodo di utilizzo, definito “modalità utente”, permette al soggetto affetto da Disturbo Autistico di comunicare con altre persone sfruttando le tabelle create dall’operatore coerentemente con le sue necessità. Al tocco dell’immagine da parte del bambino, essa viene evidenziata tramite un contorno rosso e, se abilitato, il sintetizzatore vocale riproduce il testo associato a tale immagine. I principali fattori di innovazione dell’applicazione sono la gratuità, la semplicità di utilizzo, la rapidità nella creazione e nell’aggiornamento delle tabelle comunicative, la portabilità dello strumento e l’utilizzo della sintesi vocale. Il software sarà sperimentato presso il “Centro Autismo e Sindrome di Asperger”, centro di neuropsichiatria infantile specializzato nello studio del Disturbo Autistico. Tale sperimentazione si pone come obiettivo quello di verificare gli effettivi miglioramenti nella velocità e nella qualità di apprendimento delle fondamentali abilità comunicative.

Cavezzo, isola di pietra. Percorsi di identità urbana.

La nostra ricerca si è focalizzata sul tema dell’identità di Cavezzo, risorsa preziosa che la catastrofe ha distrutto in un attimo, insieme alle vite umane e ai beni materiali. La perdita di identità comporta infatti negli abitanti la percezione di vivere la propria quotidianità in una sorta di “non luogo”. Poiché il nostro progetto non può essere in grado di risolvere il dolore umano provocato da questo evento, abbiamo agito sulla città per quella che è o che dovrebbe essere, ovvero un agglomerato di architetture, spazi pubblici e privati, capaci di restituire riconoscibilità, e dunque senso di appartenenza, ai suoi cittadini. L’obiettivo principale è stato quindi quello di dare agli abitanti un’immagine diversa ma chiara del proprio paese. L’evento del terremoto non viene infatti congelato, musealizzato o usato come pretesto per ricostruire “com’era dov’era”, ma diventa l’occasione per ripensare la città nella sua interezza e per affrontare riflessioni sulla gerarchia fra spazi collettivi e individuali, e sulla capacità di questi elementi di tenere insieme la comunità. Abbiamo deciso di chiamare la nostra tesi “Cavezzo, isola di pietra. Percorsi di identità urbana” innanzitutto perché il nostro progetto si è focalizzato su uno degli isolati urbani maggiormente sedimentati di Cavezzo, uno dei pochi luoghi radicati nella storia della città. Esso conserva il nucleo originario, nato a partire dalla chiesa di Sant’Egidio, attorno al quale si è poi sviluppato tutto l’aggregato urbano, e detiene una forte e radicata relazione con gli elementi naturali della Bassa, in quanto l’acqua del canalino che vi sorgeva è generatrice di forme e il verde instaura relazioni con la campagna limitrofa. Questi segni casuali di una natura che agisce incontrollata e plasma la forma di queste terre diventano il pretesto iniziale che dà vita a tutto il nostro progetto, sia per la sua forma, sia per la sua collocazione ed il significato che esso assume all’interno della città. Questo progetto, radicato nella storia, si snoda in diversi percorsi paralleli che vedono il susseguirsi di tre interventi che, nonostante la loro diversità, possono essere comunque letti in modo unitario. Queste tre operazioni vengono infatti tenute insieme da alcuni principi condivisi che rafforzano la leggibilità dell’intervento complessivo; in particolare una relazione rimane sempre imprescindibile per tutti: quella con la città e con le preesistenze. Tutti e tre i progetti lavorano sulla gerarchia tra spazi pubblici e privati, indagando tematiche diverse, seppur legate, come quelle della casa e del teatro.

Calcolo delle equazioni e ricorsività

Nell'elaborato si introduce il calcolo delle equazioni, un particolare linguaggio predicativo contenente come unico simbolo predicativo quello di uguaglianza. Vengono analizzate le funzioni derivabili in questo linguaggio: le funzioni ricorsive parziali e le funzioni ricorsive primitive. Si accenna al lambda-calcolo che è un particolare linguaggio con cui è possibile, per la sua semplicità, esprimere molte teorie, come quella del calcolo delle equazioni. Infine, si studiano i problemi legati alla ricorsività: il problema della fermata e il problema dell'indecidibilità della logica dei predicati.

Applicazione della logica fuzzy al docking tra dirigibili

Progetto e analisi delle performance di un controllore realizzato con la metodologia fuzzy per una manovra di docking fra due dirigibili. Propedeutica a questo, è stata la campagna, presso la galleria del vento messa a disposizione dalla Clarkson University, di raccolta di dati sperimentali, che sono stati poi utilizzati per realizzare un simulatore con cui testare il controllore. Nel primo capitolo, si è presentato la tecnologia dei dirigibili, le varie tipologie ed una descrizione dei moderni concepts. Successivamente, sono state presentate le applicazioni nelle quali i moderni dirigibili possono essere impiegati. L’ultima parte tratta di due esempi di docking fra mezzi aerei: il rifornimento in volo e i “parasite aircrafts”. Il secondo capitolo, tratta della logica utilizzata dal controllore: la logica fuzzy. Le basi della teoria insiemistica classica sono state il punto di partenza per mostrare come, introducendo le funzioni di appartenenza, sia possibile commutare tra la teoria classica e fuzzy. La seconda parte del capitolo affronta le nozioni della teoria fuzzy, esponendo la metodologia con la quale è possibile inserire un controllore di questo tipo in un sistema “tradizionale”. Il terzo capitolo presenta il modello di volo dei dirigibili. Partendo dalla legge di Newton, introdotto il concetto di inerzia e massa aggiunte, si arriva alle equazioni del moto non lineari. L’ultima parte è stata dedicata alla linearizzazione delle equazioni e alla condizione di trim. Il quarto capitolo riguarda la campagna sperimentale di test in galleria del vento, con la realizzazione dei modelli in scala e la calibrazione della bilancia; successivamente, nel capitolo si commentano i dati sperimentali raccolti. Il quinto capitolo, mostra la metodologia con cui è possibile progettare un controllore fuzzy per il controllo della manovra di docking fra dirigibili. La seconda parte mostra le performance ottenute con questo tipo di sistema.

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à.