Towards model driven software development for Arduino platforms: a DSL and automatic code generation

La tesi ha lo scopo di esplorare la produzione di sistemi software per Embedded Systems mediante l'utilizzo di tecniche relative al mondo del Model Driven Software Development. La fase più importante dello sviluppo sarà la definizione di un Meta-Modello che caratterizza i concetti fondamentali relativi agli embedded systems. Tale modello cercherà di astrarre dalla particolare piattaforma utilizzata ed individuare quali astrazioni caratterizzano il mondo degli embedded systems in generale. Tale meta-modello sarà quindi di tipo platform-independent. Per la generazione automatica di codice è stata adottata una piattaforma di riferimento, cioè Arduino. Arduino è un sistema embedded che si sta sempre più affermando perché coniuga un buon livello di performance ed un prezzo relativamente basso. Tale piattaforma permette lo sviluppo di sistemi special purpose che utilizzano sensori ed attuatori di vario genere, facilmente connessi ai pin messi a disposizione. Il meta-modello definito è un'istanza del meta-metamodello MOF, definito formalmente dall'organizzazione OMG. Questo permette allo sviluppatore di pensare ad un sistema sotto forma di modello, istanza del meta-modello definito. Un meta-modello può essere considerato anche come la sintassi astratta di un linguaggio, quindi può essere definito da un insieme di regole EBNF. La tecnologia utilizzata per la definizione del meta-modello è stata Xtext: un framework che permette la scrittura di regole EBNF e che genera automaticamente il modello Ecore associato al meta-modello definito. Ecore è l'implementazione di EMOF in ambiente Eclipse. Xtext genera inoltre dei plugin che permettono di avere un editor guidato dalla sintassi, definita nel meta-modello. La generazione automatica di codice è stata realizzata usando il linguaggio Xtend2. Tale linguaggio permette di esplorare l'Abstract Syntax Tree generato dalla traduzione del modello in Ecore e di generare tutti i file di codice necessari. Il codice generato fornisce praticamente tutta la schematic part dell'applicazione, mentre lascia all'application designer lo sviluppo della business logic. Dopo la definizione del meta-modello di un sistema embedded, il livello di astrazione è stato spostato più in alto, andando verso la definizione della parte di meta-modello relativa all'interazione di un sistema embedded con altri sistemi. Ci si è quindi spostati verso un ottica di Sistema, inteso come insieme di sistemi concentrati che interagiscono. Tale difinizione viene fatta dal punto di vista del sistema concentrato di cui si sta definendo il modello. Nella tesi viene inoltre introdotto un caso di studio che, anche se abbastanza semplice, fornisce un esempio ed un tutorial allo sviluppo di applicazioni mediante l'uso del meta-modello. Ci permette inoltre di notare come il compito dell'application designer diventi piuttosto semplice ed immediato, sempre se basato su una buona analisi del problema. I risultati ottenuti sono stati di buona qualità ed il meta-modello viene tradotto in codice che funziona correttamente.

Les québécismes, ces méconnus : réflexion méthodologique sur la traduction en italien du lexique québécois dans Agaguk et N'tsuk d'Yves Thériault.

La tesi si sofferma sulla traduzione in italiano delle specificità lessicali del francese del Québec rilevate in due opere rappresentative della lingua francese quebecchese : Agaguk e N’tsuk di Yves Thériault. L’analisi monolingue e contrastiva dei quebecismi e della loro traduzione italiana ci ha permesso di verificare se i traducenti utilizzati rendessero conto o meno della specificità del francese quebecchese. La nostra ricerca ha quindi contribuito a dimostrare che una traduzione soddisfacente dei quebecismi è possibile, ma solo attraverso la consultazione corretta degli strumenti lessicografici specifici sul francese del Québec di cui oggi il traduttore può disporre.

Le matrici e la loro algebra

In questa tesi ci si propone lo studio dell'anello delle matrici quadrate di ordine n, su un campo, per arrivare a dimostrare che ha solo ideali banali pur non essendo un campo. Allo scopo si introducono le operazioni elementari e il procedimento di traduzione di tali operazioni con opportune moltiplicazioni per matrici dette elementari. Si considera inoltre il gruppo generale lineare arrivando a dimostrare che un particolare sottoinsieme delle matrici elementari è un generatore di tale gruppo.

Il Vocalismo Andaluso. Analisi linguistica della parlata granadina.

Il presente lavoro ha come scopo lo studio del fenomeno linguistico dell'apertura vocalica nella parlata della città di Granada. Attraverso un'approfondita analisi fonetica della produzione orale di parlanti granadini, viene proposta un'indagine sulle eventuali implicazioni che il fenomeno dell'apertura vocalica può avere sul sistema grammaticale spagnolo, aggiornando al 2012 gli studi su tale argomento.

Oxymoron,progetto di un grattacielo direzionale a Shenzhen, Cina applicazione della Soft Kill Option (SKO) nella progettazione architettonica

Lo scopo della tesi è quello di affrontare la progettazione con un approccio,quanto più attuale e per certi versi avanguardista, chiamato Parametric design (progettazione parametrica), accoppiato efficacemente col concetto di Arte generativa (in questo caso Architettura). Già nel 1957 Luigi Moretti affrontò il tema dell’architettura parametrico-generativa fondando l’IRMOU (Istituto per la Ricerca Matematica e Operativa applicata all'Urbanistica) e oggi è una mentalità molto diffusa nei più grandi studi del mondo. Il tema non è solo tecnologico o informatico strumentale, ma è proprio un modo di pensare e immaginare il possibile, costruito o naturale che sia. E’ un modo di vivere la propria creatività. L’aggettivo “generativa” è legato al fatto che l’arte in esame è generata seguendo regole preimpostate e ben definite dal progettista, coerentemente agli obiettivi e alle finalità del progetto. L’evoluzione delle stesse, seguendo relazioni molto semplici, può dar vita a risultati sorprendenti e inaspettati, dotati di una notevole complessità che però, se letta nell’insieme, è perfettamente in armonia con l’idea progettuale di partenza. Il fascino di questa materia è il legame entusiasmante che crea tra architettura, ingegneria, poesia, filosofia, matematica, biologia, fisica, pittura ecc ecc. Questo perché i concetti di evoluzione, di relazione e di generazione appartengono a tutto ciò che ci circonda, e quindi alla concezione umana di vita. E’ possibile in questo modo permeare il costrutto progettuale con principi e regole oggettivamente riconoscibili e apprezzabili dallo spettatore perché instrisi di una forte veridicità processuale. Il titolo "Oxymoron" è la traduzione inglese della figura retorica ossimoro,la quale è strettamente connessa all’ispirazione progettuale: proviene dall’indagine approfondita di processi evolutivi (distruttivi in questo caso) caratterizzanti realtà naturali che, esplorate con sempre più accuratezza, determinano morfologie e forme aventi profonde radici strutturali. La distruzione che crea lo spazio. La genesi stessa della forma segue predominanti algoritmi matematici governati e corretti da variabili di diversa natura che definiscono l'enviroment di influenze interagenti ed agenti sul campione di studio. In questo caso la ricerca è focalizzata su processi erosivi fisici e chimici, di agenti esterni (quali vento e sali rispettivamente) ,di cui materiali inorganici, quali minerali e aggregati degli stessi (rocce), sono soggetti. In particolare, l’interesse è approfondito su fenomeni apparentemente emergenti dei tafoni e dei cosiddetti Micro canyon. A tal scopo si sfrutterà un metodo di soft kill option (SKO) di ottimizzazione topologica (optimization topology) attraverso gli strumenti informatici più idonei quali software di modellazione parametrica e di calcolo computazionale. La sperimentazione sta proprio nell'utilizzare uno strumento concepito per uno scopo, con un'ottica strettamente ingegneristica, per un'altra meta, ossia ricavare e ottenere se possibile un metodo di lavoro o anche solo un processo generativo tale da riprodurre o simulare casi e situazioni riscontrabili in natura negli eventi soggetti a erosione. Il tutto coerente con le regole che stanno alla base della genesi degli stessi. Il parallelismo tra singolarità naturale e architettura risiede nella generazione degli spazi e nella combinazione di questi. L’ambizioso obiettivo è quello di innescare un ciclo generativo, che messo in comunicazione diretta con un contesto variegato ed eterogeneo, dia vita a una soluzione progettuale dall'alto contenuto morfologico e spaziale.

Transizione spagnola e memoria storica. Un’analisi delle leggi Ley de amnistía e Ley para la memoria histórica e della loro ricezione nelle politiche educative in Spagna

Questo elaborato ha l'obiettivo di analizzare due testi di legge spagnoli, la "Ley de amnistía" del 1977 e la "Ley para la memoria histórica" del 2007 e la loro ricezione nelle politiche educative della Spagna. Il lavoro di ricerca, svolto nella città di Madrid, si è focalizzato soprattutto sull'analisi descrittiva di dieci manuali di storia utilizzati in due "Institutos de enseñanza secundaria" e sul commento delle interviste fatte a cinque docenti operanti in questi istituti.

Le traitement de la terminologie dans les ressources lexicographiques. Etude du domaine des énergies renouvelables

La nostra tesi affronta il tema del trattamento della terminologia nelle risorse lessicografiche monolingui e bilingui. Nella società contemporanea, il progresso tecnico-scientifico e la democratizzazione del sapere attuano una migrazione del lessico specialistico verso la lingua corrente. Una delle conseguenze di questa dinamica linguistica è la necessità di includere i tecnicismi nei dizionari destinati al grande pubblico. L'attenzione dei lessicografi si focalizza su quei settori che hanno un forte impatto sociale. Il nostro studio riguarda,nello specifico, il trattamento lessicografico riservato alla terminologia delle energie rinnovabili.

Gli extranjerismos nello spagnolo attuale. Analisi dei forestierismi nella stampa spagnola.

Il presente studio è stato svolto allo scopo di offrire un'ampia conoscenza del prestito linguistico, in particolare dell'extranjersimo (forestierismo in italiano), nello spagnolo attuale. Considerando l'ampio trattamento del fenomeno offerto dalle opere accademiche della Real Academia Española e delle Accademie americane della lingua spagnola, abbiamo cercato di verificare se e come la stampa si facesse eco delle raccomandazioni date dalle varie istituzioni normative.

UVA. Unità Vinicola Argentina.Una superquadras ecologica a Buenos Aires

“ Per anni ho creduto essere cresciuto in una periferia di Buenos Aires, periferia di strade avventurose e di tramonti visibili. In realtà sono cresciuto in un giardino, dietro le lance di un cancellata, e in una biblioteca di infiniti volumi inglesi. Quel Palermo del coltello e la chitarra (mi assicurano) era agli angoli delle strade, ma chi popolava le mie mattine e procurava un gradevole orrore alle mie notti erano il bucaniere cieco di Stevenson, agonizzante sotto gli zoccoli dei cavalli, e il traditore che abbandonò l’amico sulla luna, e il viaggiatore del tempo che riportò dal futuro un fiore appassito, e il genio prigioniero per secoli nell’anfora salomonica, e il profeta velato del Khorasan, che dietro le gemme e la seta nascondeva la lebbra. Cosa succedeva, nel frattempo, oltre le lance della cancellata? Quali destini vernacoli e violenti andavano compiendosi a pochi passi da me, nella sordida bettola o nello spazio turbolento? Com’era quel Palermo o come sarebbe stato bello che fosse? A tali domande vuole rispondere questo libro, più d’immaginazione che documentato.” E’ così che Jorge Luis Borges apre il libro Evaristo Carriego, saggio biografico che passò quasi inosservato all’interno degli ambienti intellettuali della capitale dei quali faceva parte lo scrittore stesso. Il libro era dedicato alla figura, estranea a quegli ambienti, del poeta “bohemien, tisico ed anarchico” Evaristo Carriego, vissuto tra otto e novecento nel quartiere Palermo, in quei tempi periferia malfamata di Buenos Aires. Buenos Aires è la città borgesiana per eccellenza: priva di caratteristiche tipologiche precise, volubile allo sguardo, specchio e metafora di tutte le grandi città del mondo. Ma soprattutto Buenos Aires è una città “inventata” da Borges, che le ha dato un’immagine letteraria che si relaziona in maniera complessa con quella reale. Segnerà nell’immaginario di Borges l’inizio e la fine della sua vita, una sorta di centralità, unico stralcio di stabilità, al quale l’inquieta mente dell’argentino possa far ritorno.

Palermo di Buenos Aires: Borges e il sobborgo riconquistato.

Abbiamo più volte ribadito all’interno di questa tesi che una delle più importanti azioni che Borges compie con la sua scrittura è quella di riportare in vita, attraverso le memorie passate, la città di Buenos Aires, e in particolare il sobborgo. Il poeta si riappropria della sua città d’infanzia con un processo di allontanamento da quei tratti che oggi contraddistinguono Buenos Aires (come ad esempio la rumorosità assordante della vita metropolitana) a favore di quei connotati che un tempo rendevano la città mitica. Questo è il tentativo di elevare e recuperare l’aspetto autoctono del “suo” quartiere, valorizzando gli elementi caratterizzanti il sobborgo, che portano alla scoperta delle bellezze dei “quartieri amici” come scritto nel prologo di Fervore di Buenos Aires. Un altro elemento fondamentale che ha guidato questo lavoro è il tango. Borges opera in un‘epoca in cui non esiste un’identità argentina chiara e definita. Il processo di immigrazione ha fatto sì che la mescolanza di culture provenienti dall’estero, soprattutto dall’Europa, frammentasse quelli che erano le abitudini e i costumi primordiali del paese. Dunque Borges affronta questo tema facendo del tango il mezzo per la riconquista di un’identità che con il tempo si è perduta; questo perché il tango è uno dei pochi elementi, forse l’unico, che permane nella cultura argentina, nonostante le diverse vicissitudini che il paese attraversa nel corso della sua storia. Sono numerose le questioni che Borges tratta all’interno delle sue opere, come ad esempio il tema del sobborgo, del recinto, del patio e del rapporto che le architetture domestiche hanno con la luce e con lo spazio esterno ad esse. Nella sua opera più matura intervengono temi quali il labirinto, lo specchio e il sogno, che avvicinano la sua dimensione letteraria più ad un immaginario idealizzato che alla realtà percepita. Lo scopo di questo lavoro è quello di fare una trasposizione di tutti questi elementi attraverso un processo di trasfigurazione della letteratura in un progetto architettonico-compositivo. Un punto fermo e imprescindibile è la ricerca dell’identità, dunque, si è cercato di arrivare ad un progetto di architettura chiaro e riconoscibile per Buenos Aires; un edificio nel quale il cittadino possa identificare sé stesso e la città che egli abita. Il sistema con il quale si intende affrontare questo processo è quello di legare la cultura letteraria argentina e la cultura del tango in un complesso architettonico, affinché il sobborgo, tanto amato da Borges, possa essere “riconquistato”.