Waterfront di Città. Rigenerazione urbana e progetto degli spazi pubblici nella Darsena di Ravenna

Questo lavoro si pone in continuità rispetto al Laboratorio di Sintesi “La città e le case”, nel corso del quale si sono condotti un’analisi del territorio di Ravenna, in particolar modo della Darsena di Città, e uno studio dei possibili scenari di rigenerazione urbana dell’area industriale dismessa del canale Candiano. L’area della Darsena è stata “dimenticata” dagli strumenti di pianificazione per molto tempo, soltanto a partire dagli anni ’90 l’Amministrazione Comunale si è interessata al suo recupero, senza però particolare successo. L’intento di questo lavoro è quello di ripensare l’intero comparto della Darsena di Città attraverso un progetto di rigenerazione urbana che miri a collegare quest’area con la città storica e a ricreare il rapporto tra questa e l’acqua attraverso più fasi distribuite nell’arco dei prossimi 30 anni. Il progetto si pone in continuità con la città esistente ma allo stesso tempo punta a migliorarne alcuni aspetti critici: la mancanza dell’affaccio della città sull’acqua, la cesura nel tessuto urbano dovuta alla presenza dell’infrastruttura ferroviaria e della darsena. Le modalità di sviluppo del progetto per Ravenna riprendono l’esperienza tedesca di HafenCity ad Amburgo dove, dopo un masterplan generale per tutta l’area portuale da recuperare, si è proceduto con concorsi per ciascun edificio così da ottenere una grande varietà architettonica. Maggiore attenzione viene data al progetto degli spazi pubblici poiché la fruizione di essi da parte della collettività e l’attaccamento a questi luoghi possono essere gli elementi trainanti per la riqualificazione dell’intera area. Il progetto degli spazi pubblici è pensato come un sistema unitario poiché deve essere l’elemento che guida, “coordina” e uniforma il progetto del costruito.

Isolati aperti. Riqualificazione urbana e housing sociale nella Darsena di Città a Ravenna

La presente tesi si pone in continuità con il Laboratorio di Sintesi Finale in Urbanistica “La città e le case. L’urbanistica e lo spazio dell’abitare”e si propone di applicare e sperimentare una nuova forma urbana quella dell’open block derivante dall’omonima teoria dell’architetto francese Christian de Portzamparc. L’intervento si inserisce all’interno della cosiddetta Darsena di Città di Ravenna, un’ex area industriale di 136 ettari collocata a ridosso del centro storico della città, ma priva di collegamenti diretti con questo da cui si discosta nettamente per caratteristiche e funzioni. Nel corso del laboratorio si sono condotte analisi in maniera approfondita rispetto alle caratteristiche dello stato di fatto e dei bisogni principali del territorio, non solo facendo riferimento agli stessi strumenti urbanistici, ma anche avvalendosi dell’incontro con professionisti, tecnici e docenti. La conoscenza dell’area così raggiunta ci ha permesso di redigere, a conclusione del laboratorio, una serie di linee guida generali da cui nasce il masterplan. Su questo si basa la riqualificazione urbana dell’intera area da cui deriva la peculiarità della nuova Darsena ovvero la coesistenza di due rive dalle caratteristiche opposte e allo stesso tempo complementari. A nord trova spazio la “riva naturale” contraddistinta dalla prevalenza di spazi verdi di diversa natura; questa riva si pone in stretta relazione con il verde agricolo collocato nelle immediate vicinanze della Darsena e fortemente segnato dalla centuriazione romana. La riva sud, la “riva urbana”, è invece caratterizzata dalla prevalenza del costruito che trova un diretto confronto con il tessuto urbano preesistente collocato sia all’interno dell’area sia lungo il limite sud della stessa. Grande importanza per la riqualificazione del Comparto Darsena è stata data al mantenimento degli edifici di archeologia industriale ai quali viene dato ruolo centrale attraverso le nuove funzioni che vengono loro affidate. Altro aspetto fondamentale per la riuscita della riqualificazione della Darsena e allo stesso tempo valoreaggiunto per l’intero territorio comunale, nonché argomento centrale della presente tesi, è il tema dell’housing sociale. A seguito di analisi, studi sulle politiche abitative attualmente vigenti a livello regionale e comunale e indagini sui bisogni radicati nel territorio, si è redatto un masterplan da cui nasce un progetto per un quartiere con housing sociale situato all’interno del comparto CMC. Il progetto nasce dalle riflessioni condotte sull’argomento, mette al centro l’idea della mixité e si fonda sulla forma urbana dell’isolato aperto.

Il blocco urbano: una parte di città nella Friedrichstadt a Berlino

La tesi consiste nella progettazione di un blocco urbano nella Friedrichstadt nella città di Berlino. Il progetto cerca una soluzione al i problemi strutturali della città causati dagli interventi realizzati durante la DDR. Si cerca di instaurare un dialogo tra il complesso socialista e la struttura della città storica.

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 su piattaforma Android: analisi del modello di programmazione e sperimentazioni

L'obiettivo di questo lavoro è effettuare un'analisi del modello di programmazione proposto da Android. L'attenzione verrà posta, in particolare, su quali meccanismi vengano forniti per la gestione di eventi asincroni generati dal sistema, allo scopo di notificare cambiamenti del contesto in cui si sta operando: dal modo in cui vengono intercettati, a come risulta possibile modificare il comportamento dell'applicazione, in reazione alle nuove informazioni acquisite. Si valuteranno gli elementi di novità introdotti nelle API di Android, in relazione ai classici mezzi disponibili nella programmazione standard in Java, atti a risolvere una nuova categoria di problematiche dovute alla natura context-aware delle applicazioni. Sarà effettuata anche un'analisi più generale della qualità del modello proposto, in termini di estensibilità e modularità del codice; per fare ciò, si prenderà in esame l'applicazione SMS Backup+ come caso di studio e si proporranno delle possibili estensioni per verificarne la fattibilità.