Dotcomwebdesign.com
Rosario Culmone

Homepage > Tesi

Tesi


Titolo: Alloy come strumento di progettazione del software
Tipo: compilativa
Classe: L-31
Descrizione: Studio del linguaggio Alloy con particolare riguardo agli aspetti di progettazione del software. Sviluppo di un piccolo esempio con approccio incrementale e complessità crescente.
Durata: 1-2 mesi
Relatore: Rosario Culmone
Assegnata: si

Titolo: Specifiche CellML in Alloy
Tipo: progettuale
Classe: L-31
Descrizione: Studiare e realizzare un mapping da CellML ad Alloy per la verifica di proprietà. CellML è un linguaggio per la descrizione di processi biologici. Alloy è un linguaggio di soddisfacibilitò di vincoli.
Durata: 2-3 mesi
Relatore: Rosario Culmone
Assegnata: no

Titolo: plingeling per Alloy
Tipo: progettuale
Classe: L-31
Descrizione: Aggiungere ad Alloy la possibilità di utilizzare un SAT Solver parallelo come plingeling per sfruttare le caratteristiche multiprocessore e multicore dei moderni computers. Poter utilizzare la potenza di calcolo dei moderni sistemi paralleli permette di risolvere problemi difficilmente abbordabili con un computer sequenziale. Buona conoscenza di Java e C/C++.
Durata: 1-2 mesi
Relatore: Rosario Culmone
Assegnata: si

Titolo: Interfaccia Web bidimensionale
Tipo: progettuale
Classe: L-31
Descrizione: Realizzare, mediante l'uso degli ultimi strumenti progettuali, una interfaccia web configurabile che permetta la selezione di funzionalità mediante scroll bidimensionale di cursori dinamici. Lo strumento prodotto, di uso generale, può essere applicato al commercio elettronico, configurazione di sistemi software, gestione di applicazione mediante web.
Durata: 2-3 mesi
Relatore: Rosario Culmone
Assegnata: no

Titolo: Politiche di routing per dispositivi powerline
Tipo: ricerca
Classe: L-31
Descrizione: La tesi dovrà inanzi tutto analizzare i protocolli di datalink su dispositivi il cui protocollo fisico sia basato su powerline come X10. Quindi proporre un protocollo di trasporto che tenga conto come principale indicazione il tasso di errore rilevato nei pacchetti datalink. Il protocollo di routing deve essere progettato per adattarsi dinamicamente alle variazione di propagazione ed errore tipico delle linee atte al trasporto di energia. La tesi non richiede la progettazione e realizzazione di software ma deve indicare dettagliatamente le specifiche del protocollo proposto illustrando vantaggi e svantaggi. Desiderabile è la realizzazione di un simulatore di traffico per mostrare la bontà del protocollo.
Durata: 2-3 mesi
Relatore: Rosario Culmone e Francesco De Anglelis
Assegnata: si

Titolo: Agenda vocale
Tipo: progettuale
Classe: L-31
Descrizione: Si vuole realizzare una agenda che permetta di fissare appuntamenti mediante il riconoscimento del parlato. Il programma deve essere inteso come esempio di interazione uomo macchina in modalità pervasiva. Pertanto il programma potrà essere realizzato o come applicazione per desktop quindi mediante JVoiceXML o utilizzando le librerie Java Speech API. L'agenda può essere realizzata anche su piattaforma Android.
Durata: 2-3 mesi
Relatore: Rosario Culmone
Assegnata: si

Titolo: VanishFiles
Tipo: ricerca
Classe: L-31
Descrizione: Si tratta di definire un protocollo che gestisca la "persistenza dinamica" di file. Dei server possiedono un elenco di files che non risiedono su memorie di massa ma sono presenti in rete solo in forma "dinamica" ovvero in fase di transito da un server ad un altro così che nessun server ha il file nella sua completezza ma è possibile ottenerlo. Devono essere garantire fault tollerance e dinamicità ovvero caduta dei server e nuovi ingressi di server.
Durata: 2-3 mesi
Relatore: Rosario Culmone
Assegnata: no

Titolo: SAT parallelo in JavaCL
Tipo: progettuale
Classe: L-31
Descrizione: Realizzare il porting del famoso ManySAT utilizzando la libreria javaCL. Molte moderne schede grafiche come NVIDIA, INTEL, AMD possono essere sfruttate per l'enorme potenza di calcolo spesso superiore a quella delle più potenti CPU mediante l'uso di librerie. JavaCL permette di gestire memoria e GPU delle schede grafiche e il parallelismo nativo di schede grafiche e CPU multicore.
Durata: 1-2 mesi
Relatore: Rosario Culmone
Assegnata: si

Titolo: Interprete di un linguaggio ad eventi
Tipo: progettuale
Classe: L-31
Descrizione: Realizzare un interprete per un semplice linguaggio orientato agli eventi mediante l'uso di JavaCC.
Durata: 2 mesi
Relatore: Rosario Culmone
Assegnata: si

Titolo: Trattamento grafico e ricostruzione di alberi genealogici
Tipo: progettuale 
Classe: L-31
Descrizione: In un database di circa 200000 voci sono registrati i nati, i matrimoni e le morti di 500 anni di storia di un piccolo paese italiano. Si vuole realizzare un programma per la generazione e rappresentazione grafica dei possibili alberi genealogici. Il programma filtra i dati mediante regole che vincolano le relazioni tra i vari elementi. 
Durata: 2-3 mesi 
Relatore: Rosario Culmone 
Assegnata: no


Titolo: Definire un BOM in Gellish
Tipo: progettuale 
Classe: L-31
Descrizione:I Bill Of Materials (BOM) sono l'elenco dei materiali necessari a realizzare un manufatto. Gellish nasce come un linguaggio naturale controllato per la specifica di concetti ingegneristici. Mediante Gellish si vuole descrivere l'elenco dei materiali e le relazioni tra di essi di modo che sia possibile comprendere la struttura di un manufatto a partire dalle sue componenti.
Durata: 1-2 mesi 
Relatore: Rosario Culmone 
Assegnata: si