Skip to content
Theses
 

Discussed

 

165

Integrazione di funzionalità business e utente in un applicativo aziendale sviluppato in Xamarin
Bachelor degree
  • Technologies: Xamarin, SAP
  • Defense: 03/2024
Reingegnerizzazione ed Estensione di un'Applicazione di Data Analytics
Bachelor degree
  • Technologies: Python
  • Defense: 03/2024
Progettazione ed implementazione di un aggregatore di servizi per l'analisi automatica del malware
Bachelor degree
  • Defense: 12/2023
Emissione di credenziali digitali tramite blockchain e NFTs
Bachelor degree
  • Defense: 03/2023
L'accessibilità dei siti web della PA percepita dagli utenti con disabilità
Bachelor degree
  • Defense: 03/2023
SAFETYFIRST: un sistema di gestione e controllo della documentazione sulla sicurezza sul lavoro per le imprese edili
Bachelor degree
  • Defense: 12/2022
L'accessibilità dei siti web della PA percepita dagli utenti con disabilità
Bachelor degree
  • Defense: 12/2022
Uno studio sulla dematerializzazione dei processi dipartimentali attraverso la piattaforma BonitaSoft​
Bachelor degree
  • Defense: 10/2022
Dal Web 3.0 al Metaverso: tecnologie e prospettive per lo sviluppo futuro del world wide web​
Bachelor degree
  • Defense: 10/2022
Implementazione di un motore di data quality per database MySQL e SQLServer
Bachelor degree
  • Defense: 06/2022
Evoluzione di un software per l'acquisizione e la verifica documentale
Bachelor degree
  • Defense: 03/2022
Estensione del supporto GraphQL in delle Instant Data API per MongoDB
Bachelor degree
  • Defense: 12/2021
Un'Applicazione Web per la gestione dei tirocini universitari
Bachelor degree
  • Defense: 10/2021
Modern Real Time ETL and Enrichment with Apache Kafka and Project Metamorphosis
Master degree
  • Defense: 10/2021
Un'applicazione di supporto alla valutazione dell'apprendimento
Bachelor degree

Obiettivo della tesi è la realizzazione di un'applicazione Java che permetta, in maniera assistita e tramite un'interfaccia grafica opportunamente progettata, l'inserimento dei risultati di una serie di prove d'esame, misurati in base a un insieme predefinito di parametri. Tali risultati dovranno essere poi analizzati e rappresentati in report tabulari e grafici, esportabili in PDF per la distribuzione e l'invio su canali elettronici. E' richiesta una buona esperienza nella programmazione Java e nei relativi strumenti di realizzazione di GUI.

  • Arguments: Sviluppo applicazioni desktop, Sviluppo GUI
  • Technologies: Java
  • Defense: 07/2021
Un'applicazione web per la gestione ed il tracking di commesse aziendali
Bachelor degree

L'applicazione web da sviluppare dovrà permettere agli utenti di aggiornare in maniera collaborativa delle schede informative relative alle commesse di un'azienda, in particolare tenendo traccia del loro stato di avanzamento tramite la realizzazione di una sequenza temporale in cui potranno essere riportati tutti gli eventi relativi allo svolgimento di ciascuna commessa. Opzionalmente, potranno essere realizzate anche dashboard informative e statistiche su questi stessi dati.

  • Arguments: Applicazoni Web
  • Technologies: PHP
  • Defense: 07/2021
Reingegnerizzazione di un'Applicazione per la Generazione e la Condivisione di Dati di Modellizzazione Molecolare ​
Bachelor degree
  • Arguments: Applicazoni Web
  • Technologies: PHP, Python
  • Defense: 03/2021
Un framework per la modellazione, l'aggregazione e la pubblicazione di API RESTful per servizi in ambito agricolo ​​
Bachelor degree
  • Arguments: Applicazoni Web
  • Technologies: PHP, OpenAPI, Swagger
  • Defense: 03/2021
Interfaccia per insegnanti di un videogioco educativo: CLAssroom Report And Supervision (CLARAS) ​​​
Bachelor degree
  • Arguments: Applicazoni Web
  • Technologies: PHP
  • Defense: 03/2021
Un'applicazione Web per la produzione e la distribuzione di audiolibri ​​​
Bachelor degree
  • Arguments: Applicazoni Web
  • Technologies: PHP
  • Defense: 12/2020
Un'applicazione web per l'organizzazione tecnica del palco nelle esibizioni musicali dal vivo​​​
Bachelor degree
  • Arguments: Applicazoni Web
  • Technologies: X3DOM
  • Defense: 12/2020
Un'applicazione web di supporto alla generazione, analisi e condivisione di dati di modellizzazione molecolare​​​
Bachelor degree
  • Arguments: Applicazoni Web
  • Technologies: PHP
  • Defense: 10/2020
CREAZIONE DI APPLICAZIONI MOBILI E WEB NATIVE CON IL FRAMEWORK FLUTTER
Bachelor degree
  • Arguments: Applicazoni Mobili
  • Technologies: Flutter, Dart
  • Defense: 07/2020
Un framework per l'estrazione e la rappresentazione di statistiche dal traffico di rete SDN
Bachelor degree
  • Arguments: Cybersecurity
  • Technologies: Python
  • Defense: 07/2020
Sviluppo di un'applicazione mobile decentralizzata per lo scambio dei dati sui pazienti in ambito ospedaliero
Bachelor degree
  • Arguments: Applicazoni Mobili
  • Defense: 07/2020
Sicurezza nelle architetture a microservizi
Master degree
  • Arguments: Microservizi
  • Defense: 07/2020
Internet of Things e Domotica: progettazione e prototipazione di uno Smart Plug Management System
Master degree
  • Arguments: IOT
  • Technologies: AWS, Java
  • Defense: 03/2020
Integrazione delle piattaforme SPID e PagoPA in un applicativo web
Bachelor degree
  • Arguments: Servizi online della PA
  • Technologies: PHP
  • Defense: 03/2020
Univaq Skill:Una skill di Amazon Alexa per essere informati sulla didattica del DISIM
Bachelor degree
  • Arguments: Assistenti vocali
  • Technologies: AWS
  • Defense: 03/2020
Realizzazione di un sistema di descriptive analytics per l'analisi delle carriere scolastiche nella piattaforma MEProS
Master degree
  • Arguments: Descriptive analytics
  • Technologies: PHP, Python
  • Defense: 12/2019
Penetration Testing avanzato
Bachelor degree

E' disponibile una tesi su tematiche di cyber security, avente come argomento l'inserimento di una nuova funzionalita' di controllo all'interno di un tool di penetration testing su reti virtualizzate sviluppato nel nostro dipartimento. Per l'implementazione di questa funzionalita' sono gia' disponibili progetti open source, che andranno quindi adattati e incorporati nel tool stesso. Il linguaggio di programmazione e' python, di cui si richiede al candidato una conoscenza di base. E' richiesta anche la conoscenza dello stile architetturale REST. Lo sviluppo della tesi potra' cominciare fin da subito, ma considerato il lavoro da svolgere e il tempo a disposizione il candidato potra' laurearsi a partire da ottobre 2018. Lo svolgimento della tesi richiedera' una serie cadenzata di incontri di aggiornamento, alcuni dei quali potranno comunque svolgersi per vie telematiche.

  • Arguments: Cyber Security, Penetration Testing
  • Technologies: Python, RESTful web services
  • Defense: 07/2019
Deep Reinforcement Learning applicato alla Cybersecurity: un approccio automatico all'addestramento di reti neurali per il riconoscimento del malware
Master degree
  • Arguments: Machine Learning, Deep Reinforcement Learning, Cybersecurity
  • Defense: 03/2019
Riconoscimento automatico di linguaggi non lieari
Bachelor degree
  • Arguments: Linguaggi Visuali, Linguaggi Formali
  • Defense: 03/2019
Sviluppo App di Supporto alla Distribuzione Merci
Bachelor degree

LFoundry, societa' con sede ad Avezzano, offre una tesi di primo livello avente come obiettivo la realizzazione di una APP multipiattaforma (Android e iOS) che sara' connessa alla WiFi aziendale e sfruttera' un barcode reader USB/Bluetooth per acquisire i numeri di lotto caricati sui carrelli inviandoli ad un Web Service integrato con il sistema Scheduling del materiale di Produzione (MACH) e di gestione dei percorsi dei Carrellisti. Ai candidati e' richiesta la conoscenza di almeno un framework di sviluppo di app multipiattaforma come XAMARIN (preferibile), React Native, IONIC, Apache Cordova, AngularJS. La durata prevista della tesi e' di tre mesi.

  • Arguments: Sviluppo mobile
  • Technologies: Ionic, Cordova...
  • Defense: 10/2018
Uno Studio Sull'uso Di Relazioni Spaziali Per La Specifica Grammaticale Di Linguaggi Multidimensionali
Master degree
  • Arguments: Linguaggi Visuali, Linguaggi Formali
  • Defense: 10/2018
Database NoSQL: quando e come usarli in sostituzione dei relazionali?
Bachelor degree
  • Arguments: DBMS, NoSQL
  • Technologies: MongoDB
  • Defense: 10/2018
Sviluppo Di Applicazioni Per Blockchain Con Ethereum: Un Caso Di Studio Sul Catasto Distribuito
Bachelor degree
  • Arguments: Blockchain
  • Defense: 10/2018
Uuoden: Automatic Generation Of Web Applications Based On Php Models
Bachelor degree
  • Arguments: CMS
  • Technologies: PHP
  • Defense: 12/2017
Interoperabilita' Tra Applicazioni E-Larning e Servizi Esterni Tramite Tecnologia LTI: Un'estensione Moodle Per La Didattica Interattiva
Bachelor degree
  • Arguments: e-Learning
  • Technologies: PHP, LTI, Moodle
  • Defense: 12/2017
Contronto tra Tool di Data Analytics
Bachelor degree
  • Arguments: Data Analytics
  • Technologies: Qlikview, Pentaho
  • Defense: 12/2017
BeTechnology: Uso di Sensori di Prossimita' per la Personalizzazione dell'esperienza In-Shop
Bachelor degree
  • Arguments: User Profiling, Location-Based Information
  • Technologies: PHP
  • Defense: 12/2017
Il Framework Unity per lo sviluppo di Giochi in HTML5
Bachelor degree
  • Arguments: Sviluppo Mobile
  • Technologies: Unity
  • Defense: 10/2017
Analisi Tracciati di Missione
Master degree

E' disponibile una tesi di laurea magistrale, da svolgersi presso la REISS Romoli, nell'ambito di un progetto che prevede la realizzazione di un'applicazione web per l'importazione e l'analisi di dati rappresentanti voci di spesa. Il software da realizzare dovra' essere estremamente semplice da estendere, e per questo nel realizzarlo si prevede di far uso estensivo di tecnologie di scripting. Il lavoro di tesi potra' essere preceduto da un tirocinio aziendale propedeutico, durante il quale il candidato dovra' analizzare il formato di questi dati al fine di identificare un modello comune e delle opportune procedure di mappatura che dovranno uniformarne la struttura. Verra' quindi prototipato (in linguaggio Java e/o Javascript) il sistema di importazione, prestando particolare attenzione alla sua estendibilita' futura.

  • Arguments: Applicazioni Web
  • Technologies: Java, Javascript
  • Defense: 10/2017
Java to Javascript
Bachelor or Master degree

Lo scopo di questa tesi e' studiare le caratteristiche, l'applicabilita' e le limitazioni delle attuali tecniche source-to-source o bytecode-to-source per trasformare codice Java SE nel suo equivalente Javascript in maniera (semi)automatica, ad esempio il JSweet transpiler. L'indagine si occupera' prima del codice Java di base, per poi estendersi alle librerie grafiche (AWT e Swing), determinando quali elementi possono essere trasformati in maniera (semi)automatica in HTML5+CSS+Javascript. Come caso di studio, prima si convertira' in Javascript una libreria Java preesistente, e di seguito si cerchera' trasformare in applicazione HTML5 un'applicazione grafica Java Swing basata su questa libreria. Ovviamente, per lavorare su questa tesi e' richiesta un'ottima padronanza del linguaggio Javascript, oltre che una buona conoscenza di Java.

  • Arguments: Javascript, Web Applications
  • Technologies: Java, Javascript
  • Defense: 10/2017
Un'Applicazione Mobile per il Monitoriaggio Remoto di Autoveicoli Tramite Standard OBDII
Bachelor degree

La ABALOG srl (sede di Avezzano) offre agli studenti di svolgere una tesi aziendale relativa alla tracciabilita' satellitare degli autoveicoli. Gli obiettivi del progetto sono ottimizzare la piattaforma web esistente per la gestione dei dati provenienti dai terminali GPS installati a bordo dei veicoli e ottimizzare/integrare con la piattaforma web la relativa app Android. Il progetto prevede una permanenza in azienda da 3 a 6 mesi (il lavoro relativo alla tesi vera e propria potra' concludersi in tempi piu' brevi, concordati con il relatore) con possibile assunzione a fine lavoro.

  • Arguments: Sviluppo Mobile (Android o iOS), Web Applications
  • Technologies: PHP, HTML5, Javascript, SQL, Mobile development tools
  • Defense: 10/2017
Uno studio sulla rappresentazione dell'informazione spaziale
Bachelor degree
  • Arguments: Linguaggi visuali, Relazioni spaziali
  • Defense: 07/2017
Monitoraggio Carriere Scolastiche
Master degree

E' disponibile una tesi di laurea (base o magistrale), da svolgersi presso gli istituti scolastici del comprensorio aquilano e in collaborazione con i ricercatori del nostro dipartimento nell'ambito di un progetto che prevede la realizzazione di un'applicazione web (con tecnologia (L)AMP) per la raccolta di informazioni sulla carriera scolastica dei ragazzi tra i 6 e i 15 anni. Il lavoro di tesi (soprattutto nel caso della tesi di primo livello) potra' essere preceduto da un tirocinio aziendale propedeutico, durante il quale il candidato dovra' documentarsi sul software utilizzato nelle segreterie delle scuole coinvolte, interfacciandosi direttamente con queste ultime, per determinare come e in che formato e' possibile far loro esportare i dati di nostro interesse, definendo quindi il modello dei dati per il nuovo applicativo e mettendo a punto le relative procedure di esportazione-conversione-importazione.

  • Arguments: Applicazioni Web LAMP
  • Defense: 03/2017
Analisi e riscrittura di un framework aziendale in PHP: i vantaggi di una corretta applicazione del paradigma a oggetti
Master degree
  • Arguments: Applicazioni Web
  • Technologies: PHP
  • Defense: 03/2017
Studio e sperimentazione di techiche per la reingegnerizzazione di database DB2 di grandi dimensioni
Master degree
  • Arguments: DBMS
  • Technologies: DB2
  • Defense: 03/2017
WebMiddle: JSX Framework fur multi-layer web data integration
Master degree
  • Arguments: Semantic Web, Information Aggregation
  • Technologies: Javascript
  • Defense: 03/2017
Un'applicazione web per la registrazione spese e la gestione flusso di cassa
Bachelor degree
  • Technologies: PHP
  • Defense: 03/2017
EasyMove, Un'Applicazione Web per migliorare la Mobilita' Quotidiana
Bachelor degree
  • Technologies: PHP
  • Defense: 03/2017
AskUnivAQ: un sistema collaborativo per il tutoraggio e l'orientamento, prima parte
Bachelor degree
  • Arguments: Web Development, Collaborative Content Creation
  • Technologies: PHP
  • Defense: 12/2016
AskUnivAQ: un sistema collaborativo per il tutoraggio e l'orientamento, seconda parte
Bachelor degree
  • Arguments: Web Development, Collaborative Content Creation
  • Technologies: PHP
  • Defense: 12/2016
Gestione del ciclo di sviluppo di un sistema IVR su piattaforma plivo per la gestione di consegne domiciliari
Master degree
  • Arguments: Applicazioni Web
  • Technologies: PHP, Plivo
  • Defense: 10/2016
Un servizio per l'analisi, la classificazione e il riconoscimento dei documenti di identita'
Master degree
  • Arguments: Grafica, Web Services
  • Technologies: OpenCV
  • Defense: 07/2016
Il Framework Microsoft Xamarin per lo Sviluppo di App Crossplatform
Bachelor degree
  • Arguments: Sviluppo Mobile
  • Defense: 07/2016
Applicazione Web per un gruppo di ricerca biomedica
Bachelor degree

La tesi (triennale) si propone di progettare un applicativo web multifunzionale per un'azienda operante nell'ambito della ricerca biomedica, e di implementarne poi una parte da stabilire. L'applicativo web, oltre a una parte statica di tipo pubblicitario e divulgativo per l'attivita' (il cui design dovra' essere preferibilmente adattabile anche a tablet e smartphone), conterra' diverse sezioni dinamiche mirate alla pubblicazione degli studi portati avanti dal laboratorio e all'interfacciamento con i collaboratori esterni, che dovranno poter aggiornare via web alcuni dati e compilare dei questionari online. L'azienda presso la quale si svolgera' la tesi e' una startup operante nella zona di Pescara, tuttavia per questo lavoro di tesi non sara' strettamente necessaria la presenza in loco. Vista la complessita' del lavoro, e' richiesta una buona preparazione di base nelle tecnologie LAMP e capacita' nel design di siti web. La selezione del candidato verra' effettuata sulla base di questi criteri.

  • Arguments: Progettazione applicativo web
  • Technologies: PHP, MySQL
  • Defense: 03/2016
Editor assistito di query visuali
Bachelor degree

La tesi consistera' in una prima parte teorica, in cui si studiera' il contesto e dovra' venir formalizzato un algoritmo di formulazione incrementale di query visuali basate su relazioni spaziali, e di una successiva parte di implementazione e sperimentazione dell'algoritmo su un caso di studio nel web, per la quale e' richiesta buona conoscenza del linguaggio Javascript e del DOM HTML.

  • Arguments: Relazioni spaziali, Query visuali
  • Defense: 03/2016
[Grafica 3D, XML e il Web Grafica 3D Web-Friendly con X3D]
Bachelor degree

La tesi si propone di esplorare le caratteristiche dello standard X3D (www.web3d.org/x3d/what-x3d), in particolare per quel che riguarda il suo uso sul web, grazie al supporto WebGL nativo in molti browser e a librerie come X3DOM (www.x3dom.org). Come caso di studio, nell'ambito della tesi cercheremo di realizzare una pianta 3D degli edifici di Coppito.

  • Arguments: X3D, Grafica 3D
  • Technologies: Javascript, X3DOM
  • Defense: 03/2016
Specifica di gestures con relazioni spaziali
Bachelor degree

La tesi partira' da uno studio sul riconoscimento e sulla codifica delle gestures utilizzate estensivamente sulla moderne interfacce tattili, analizzando la ricerca scientifica in questo campo e le applicazioni pratiche correntemente in uso. Cercheremo poi di definire una metodologia per la codifica delle gestures basata su un formalismo di relazioni spaziali indipendente dall'applicazione, realizzando come caso di studio un piccolo prototipo di riconoscitore scritto in Java.

  • Arguments: Relazioni spaziali, Gestures
  • Technologies: Java
  • Defense: 03/2016
Gestione Web di Associazioni Culturali
Bachelor degree
  • Arguments: Sviluppo Web
  • Technologies: Java
  • Defense: 03/2016
Studio delle problematiche di sicurezza per server e servizi RESTful
Master degree
  • Arguments: Sicurezza, SOA, Web
  • Defense: 03/2016
ReST: Una App per Appassionati di Serie TV
Bachelor degree
  • Arguments: Sviluppo Mobile
  • Technologies: PHP, HTML5, Javascript
  • Defense: 03/2016
Studio sull'Armonizzazione dei Web di Ateneo
Master degree
  • Arguments: Sviluppo Web
  • Defense: 03/2016
Un Sistema Gestionale per i vigili del Fuoco
Bachelor degree
  • Arguments: Sviluppo Web
  • Technologies: PHP
  • Defense: 12/2015
Un confronto tra i game engine per il web 2.0
Bachelor degree
  • Defense: 07/2015
Aggiornamento della piattaforma tecnologica di un'applicazione J2EE
Master degree
  • Defense: 07/2015
Un applicativo per la gestione delle fatture elettroniche verso la pubblica amministrazione
Bachelor degree
  • Defense: 03/2015
Cook together: un'applicazione social per la condivisione di ricette
Bachelor degree
  • Defense: 03/2015
Progettazione di un social operating system
Bachelor degree
  • Defense: 07/2014
Sviluppo di un gioco con il framework unity: programmazione della logica di gioco
Bachelor degree
  • Defense: 07/2014
Sviluppo di un Gioco con il framework Unity: programmazione della GPU con il linguaggio CG
Bachelor degree
  • Defense: 07/2014
Gestione remota via web di un applicativo di housekeeping
Bachelor degree
  • Defense: 07/2014
Grafica dinamica e interattiva nel web 2.0 : WEBGL & SVG
Bachelor degree
  • Defense: 03/2014
Automatizzazione delle procedure gestionali aziendali in conformità con la normativa ISO 9001
Bachelor degree
  • Defense: 10/2013
Progettazione e implementazione di un software gestionale per autonoleggi
Bachelor degree
  • Defense: 03/2013
Sviluppo di un sistema a plugin per l'estrazione visuale di informazione da domini eterogenei
Master degree

Scopo della tesi e' quello di riorganizzare una complessa applicazione Java preesistente, che realizza diverse funzionalita' di information extraction su vari domini applicativi, dotandola di un'architettura a plugin. Sara' quindi necessario isolare il nucleo comune a tutte le funzionalita' e creare un'interfaccia uniforme tra questo e il codice delle funzionalita' specifiche, che andra' quindi estratto, permettendo all'applicazione principale di caricarlo su richiesta, sotto forma di plugin.

  • Arguments: Information Extraction
  • Technologies: Java, Swing
  • Defense: 12/2012
Un linguaggio grafico per la definizione e l'esecuzione di processi di trasferimento dati
Master degree
  • Arguments: DBMS, Linguaggi di programmazione
  • Technologies: Java, PHP, XML
  • Defense: 12/2012
Uno studio su query parametriche per l'estrazione visuale di informazioni
Bachelor degree
  • Defense: 12/2012
eLearning 2.0: le nuove frontiere dell'apprendimento online con la piattaforma eLQ
Master degree
  • Arguments: eLearning
  • Technologies: Silverlight, .NET
  • Defense: 10/2012
Sviluppo di un'Applicazione sulla Multimedia Home Platform Per La Televisone Digitale
Bachelor degree
  • Arguments: DVB-T
  • Technologies: MHP
  • Defense: 10/2012
Applicazione degli OBDD al model checking esplicito
Bachelor degree

Scopo della tesi e' quello di implementare, partendo da codice di base gia' sviluppato, un indice ibrido a due livelli, in cui il primo livello e' una hash table e il secondo un insieme di OBDD. Gli OBDD (ordered binary decision diagrams) sono strutture capaci di memorizzare in maniera estremamente efficiente espressioni logiche qualsiasi. Per crearli e manipolarli verra' utilizzata la libreria CUDD. Le prestazioni di questo schema di memorizzazione andranno inizialmente valutate confrontandole con una semplice implementazione basata solo sulle hash table. L'algoritmo dovra' poi essere integrato in un model cheker preesistente, affettuando altri esperimenti per valutare l'impatto del nuovo indice sul processo di verifica. E' richiesta una buona conoscenza dei linguaggi C/C++.

  • Arguments: Model Checking, OBDD
  • Technologies: CUDD, Murphi, Linguaggio C
  • Defense: 07/2012
Un'applicazione Java ME per gli studenti del corso di laurea in Informatica
Bachelor degree
  • Arguments: Mobile Development, JavaME
  • Technologies: Java, LWUIT, JSON
  • Defense: 07/2012
Realizzazione di un editor modulare per un linguaggio XML
Bachelor degree
  • Arguments: Design di Interfacce Utente, XML
  • Technologies: Java, Swing, JAXP
  • Defense: 07/2012
Il Real Time secondo HTML5: le WebSocket
Bachelor degree
  • Arguments: Sviluppo Web
  • Technologies: PHP, HTML5
  • Defense: 07/2012
Un framework Java per il web advertising
Bachelor degree
  • Arguments: Sviluppo Web
  • Technologies: PHP, AJAX
  • Defense: 07/2012
un sistema di telediagnosi OBD basato su dispositivi mobili Android
Master degree
  • Arguments: Telediagnostica
  • Technologies: OBD-II, Android
  • Defense: 07/2012
Integrazione della libreria numerica GSL in un tool di planning
Bachelor degree

La tesi prevede lo studio e l'integrazione di una libreria di risoluzione di equazioni differenziali all'interno di un'applicazione preesistente. Il candidato dovra' modificare l'applicazione in modo che individui e interpreti in modo appropriato le espressioni matematiche di competenza del solutore, compilandole nelle apposite strutture dati e delegandone l'esecuzione alla libreria esterna, per poi riportare i risultati all'interno dell'applicazione di partenza. E' richiesta un'ottima conoscenza dei linguaggi C/C++.

  • Arguments: Planning, Model Checking
  • Technologies: Yacc, UPMurphi
  • Defense: 03/2012
Un libretto universitario elettronico per dispositivi Android
Bachelor degree
  • Arguments: Mobile Development, Android
  • Technologies: C/C++
  • Defense: 03/2012
Un'applicazione Android per gli studenti del corso di laurea in Informatica
Bachelor degree
  • Arguments: Mobile Development, Android
  • Technologies: C/C++, JSON
  • Defense: 12/2011
Generazione assistita di documenti legali nell'ambito della compravendita di aziende
Bachelor degree
  • Arguments: Generazione automatica di documenti
  • Technologies: PHP
  • Defense: 12/2011
Un UI toolkit adattabile per applicazioni Java su trminali mobili
Bachelor degree
  • Arguments: Mobile Development, JavaME
  • Technologies: Java
  • Defense: 12/2011
Un'applicazione iPhone per gli studenti del corso di laurea in Informatica
Bachelor degree
  • Arguments: Mobile Development, iOS
  • Technologies: Objective C, JSON
  • Defense: 07/2011
Confronto tra le piattaforme J2EE e .NET per lo sviluppo di applicazioni Web
Bachelor degree
  • Arguments: Web Development
  • Technologies: J2EE, .NET
  • Defense: 03/2011
Estrazione Visuale di Informazioni da Dati Biomedici
Master degree
  • Arguments: Information Extraction
  • Technologies: Java
  • Defense: 03/2011
Un'Applicazione dell'Estrazione Visuale di Informazioni al Geomarketing
Bachelor degree
  • Arguments: Information Extraction, Geomarketing, GIS
  • Defense: 03/2011
Implementazione di un Modello Geometrico Generale per l'Estrazione Visuale di Informazioni
Bachelor degree
  • Arguments: Information Extraction
  • Technologies: Java
  • Defense: 03/2011
Rilevazione Automatica delle Vulnerabilità nelle Applicazioni Web
Bachelor degree
  • Arguments: Vulnerability Discovery
  • Technologies: Java
  • Defense: 03/2011
Generatore di Applicazioni CRUD Multipiattaforma
Bachelor degree
  • Arguments: Applicazioni CRUD, Generazione automatica di codice
  • Technologies: Java, PHP
  • Defense: 03/2011
Planning con Algoritmi Genetici
Master degree
  • Arguments: Planning, Algoritmi Genetici
  • Technologies: C++, PDDL+
  • Defense: 12/2010
Uso degli OBDD per la generazione di sistemi di controllo
Bachelor degree

Lo scopo della tesi e' quello di realizzare un algoritmo per la sintesi automatica di sistemi di controllo basato su un particolare tipo di OBDD (Ordered Binary Decision Diagram). L'algoritmo dovra' essere implementato come estensione di un tool gia' esistente che, data la specifica di un sistema, ne esplora il grafo di transizione memorizzando tutti i cammini minimi che lo portano ad un insieme di stati goal. L'insieme di questi cammini costituisce il sistema di controllo. L'introduzione degli OBDD all'interno di questo processo avra' lo scopo di aumentare la capacita' di esplorazione del tool comprimendo in maniera opportuna le strutture dati attualmente in uso, in particolare le hash tables.

  • Arguments: Model checking, Sistemi di controllo
  • Technologies: C++, CUDD
  • Defense: 07/2010
Studio comparativo di planner per sistemi ibridi
Bachelor degree
  • Arguments: Planning, Model Checking
  • Technologies: PDDL+
  • Defense: 03/2010
Analisi Strutturale di Documenti PDF
Bachelor degree
  • Arguments: Linguaggi Visuali, Portable Document format
  • Technologies: Java
  • Defense: 01/2010
Un Sistema Grafico per la Definizione Interattiva di Relazioni Spaziali
Master degree

Lo scopo della tesi e' la realizzazione di un applicativo Java la cui interfaccia permetta all'utente di definire graficamente, su un piano di dimensioni arbitrarie e rispetto a una serie predefinita di punti di riferimento, relazioni spaziali specificate attraverso aree aperte o limitate da contorni poligonali, eventualmente componendole tramite operazioni di somma e differenza. L'applicativo, infine, dovra' essere in grado di importare ed esportare la definizione delle aree cosi' specificate tramite un apposito linguaggio testuale. E' richiesta una buona preparazione di base sulla programmazione Java.

  • Arguments: Interfacce grafiche, Linguaggi visuali
  • Technologies: Java, Librerie Java SWING
  • Defense: 12/2009
Un Sistema Per L'estrazione Visuale Di Dati Da Shapefiles Geografici
Master degree
  • Arguments: GIS, Relazioni Spaziali, Linguaggi Formali, OpenMap
  • Technologies: Java
  • Defense: 10/2009
Pianificazione di un processo di produzione chimica tramite tecniche di planning basate su model checking
Master degree
  • Arguments: Planning, Model Checking
  • Technologies: PDDL+, UPMurphi
  • Defense: 10/2009
Tecniche di compressione per la verifica di hardware modulare
Master degree
  • Arguments: Model Checking, Hardware Description Languages
  • Technologies: C, Verolog
  • Defense: 03/2009
Un'applicazione per la gestione degli accessi in galleria nei Laboratori Nazionali del Gran Sasso ai sensi della legge 626
Bachelor degree
  • Arguments: Sicurezza del lavoro, Interfacce web
  • Technologies: PHP
  • Defense: 03/2009
L'interfaccia Apple iPhone: nuove frontiere nell'interazione uomo-macchina per i dispositivi mobili
Bachelor degree
  • Arguments: Interfacce grafiche, Interazione uomo-macchina
  • Technologies: ObjectiveC
  • Defense: 03/2009
Una Tecnica per l'Estrazione Visuale di Informazioni dal Web
Bachelor degree
  • Arguments: Interfacce grafiche, Relazioni Spaziali, Linguaggi Formali
  • Technologies: Java
  • Defense: 03/2009
Un framework web-based per la logistica collaborativa
Master degree

Lo scopo della tesi e' la realizzazione di un framework web-based per la gestione e l'ottimizzazione di un sistema di logistica collaborativa. Questo sistema si propone di gestire al meglio lo spostamento di merci all'interno di una comunita' di dimensioni medio-grandi, pianificando i trasporti con lo scopo di minimizzarne i costi. Il sistema di pianificazione, da realizzare in collaborazione con il gruppo di Ricerca Operativa, interagira' con gli utenti tramite un'interfaccia web intuitiva con la quale sara' possibile definire la richiesta e valutare le offerte dei trasportatori, realizzando un processo iterativo che converga ad una soluzione soddisfacente sia per i clienti che per i trasportatori. La tesi prendera' spunto da alcuni risultati gia' ottenuti in precedenti lavori, completando lo sviluppo della parte web e realizzando il sistema di pianificazione vero e proprio, che andra' opportunamente connesso al sistema web.

  • Arguments: Tecniche e tool di pianificazione, Applicazioni web
  • Technologies: C, PHP/Java servlets, Tool di ottimizzazione
  • Defense: 12/2008
Interfaccia Grafica Java per un Tool di Verifica
Bachelor degree

Lo scopo della tesi e' la realizzazione di un'interfaccia grafica scritta in linguaggio Java per il tool di verifica CMurphi. Quest'ultimo e' un programma C a linea di comando, e l'interfaccia da realizzare dovra' fornire un supporto piu' user-friendly al suo uso, realizzando le seguenti funzionalita': 1) editor (testuale) per le specifiche da passare in input al programma 2) sistema di lancio del tool con selezione semplificata delle opzioni da inserire nella linea di comando 3) analisi (parsing) in tempo reale del log generato dal programma e visualizzazione dello stato di avanzamento/risultato finale dello stesso.

  • Arguments: Interfacce grafiche
  • Technologies: Java, Librerie Java SWING
  • Defense: 12/2008
Un Sistema di Editing e Verifica per Centri di Controllo Spaziale
Bachelor degree

Scopo di questa tesi e' stato lo sviluppo di un'applicazione di supporto all'editing e alla verifica dei dati di telemetria e telecomando gestiti dai centri di controllo spaziale. Il sistema realizzato si interfaccia con le complesse strutture dati definite dagli standard ESA e permette di compilarle in maniera assistita ed eseguire automaticamente su di esse un gran numero di controlli di consistenza e correttezza.

  • Arguments: Applicazioni Web, Gestione Dati
  • Technologies: PHP
  • Defense: 12/2008
Un'Applicazione Web per il Loan Management nel contesto Micron
Bachelor degree

La tesi e' consistita nello sviluppo di un software, integrato nel sistema Micron ITInventory, in grado di gestire le richieste di materiale informatico all'interno dell'Azienda e seguirne il flusso d'approvazione, contattando automaticamente tutti i soggetti coinvolti ed operando nel rispetto dei rigidi protocolli aziendali.

  • Arguments: Applicazioni Web
  • Technologies: .NET framework
  • Defense: 10/2008
Un Servizio Web per il Dimensionamento di Impianti Solari Termici
Bachelor degree

La tesi e' consistita nello sviluppo di un servizio web che guida l'utente in un dettagliato processo di analisi e preventivazione del risparmio energetico ottenibile attraverso l'uso di energie alternative nella propria abitazione.

  • Arguments: Impianti Solari, Servizi Web
  • Technologies: Linguaggio Java, Google GWT
  • Defense: 10/2008
Un Universal Planner PDDL+ Basato su Tecniche di Model Checking
Master degree
  • Arguments: Model Checking, Planning
  • Technologies: Linguaggio C++, Linguaggio PDDL+
  • Defense: 10/2008
Trasformazione di lookup tables con codifica OBDD in codice C ottimizzato
Master degree

Lo scopo della tesi e' quello di realizzare un algoritmo per la trasformazione di un particolare tipo di OBDD (Ordered Binary Decision Diagram), che codifica una tabella di lookup, in un programma C e/o nella specifica logica di un circuito realizzata con linguaggi come il VHDL. A partire dall'OBDD, tramite trasformazioni logiche, si dovranno ottenere una serie di funzioni che restituiscano i singoli bit dei valori contenuti nella tabella di lookup. Queste funzioni dovranno poi essere codificate in linguaggio C e/o in una specifica circuitale. La realizzazione di una o entrambe queste trasformazioni determinera' il livello (base o specialistica) della tesi.

  • Arguments: Generazione automatica di codice
  • Technologies: C++, CUDD, VHDL
  • Defense: 07/2008
Backend Web per un Sistema di Gestione di Beni Culturali
Bachelor degree
  • Arguments: Basi di Dati, Web Programming
  • Technologies: Java
  • Defense: 12/2007
Tecnologie XML per il reporting nei sistemi SCADA
Master degree
  • Arguments: Estrazione e manipolazione di dati
  • Technologies: XML, XSLT, SVG, Java
  • Defense: 04/2007
Un Sistema per l'Aggiornamento Automatico di Applicazioni Basate sulla Piattaforma OSCommerce
Bachelor degree
  • Arguments: Programmazione PHP
  • Technologies: PHP
  • Defense: 04/2007
Steering Interattivo in un'Applicazione per la Simulazione della Dinamica Molecolare
Bachelor degree
  • Arguments: Informatica grafica
  • Technologies: Tcl/Tk
  • Defense: 04/2007
Traduzione Automatica di Controllori Tabulari in Diagrammi di Decisione Binari
Master degree
  • Arguments: Controller generation, Model Checking
  • Technologies: C++
  • Defense: 04/2007
Gestione Web di Processi di Calcolo su Piattaforma UNIX
Bachelor degree
  • Arguments: Sistemi Operativi, Web Programming
  • Technologies: PHP
  • Defense: 04/2007
Un Sistema di eCommerce per la Piccola Impresa: Gestione della Clientela
Master degree
  • Arguments: Design interfacce utente, Programmazione dispositivi mobili e wireless
  • Technologies: Java, C++, Mobile SDKs
  • Defense: 01/2007
Un Sistema di eCommerce per la Piccola Impresa: Backoffice Aziendale
Master degree
  • Arguments: Commercio elettronico, Programmazione dispositivi mobili e wireless
  • Technologies: Java, C++, Mobile SDKs
  • Defense: 01/2007
Un Framework Resource-Aware per la Realizzazione di Servizi di eBusiness
Master degree
  • Arguments: Mobile computing, eBusiness Applications
  • Technologies: Java
  • Defense: 01/2007
Una Componente per la Gestione di Connessioni Multiple nell'Architettura SEDA
Bachelor degree
  • Arguments: Architettura SEDA
  • Technologies: Java
  • Defense: 01/2007
Una Soluzione Basata sul Model Checking al Problema dell'Idle Speed Control
Bachelor degree
  • Arguments: Model checking
  • Technologies: Murphi
  • Defense: 01/2007
Tecnologie per la gestione automatica di help desk
Bachelor degree
  • Arguments: Applicazioni Web, Logica Fuzzy, Information Extraction, Design di Interfacce Utente
  • Technologies: PHP, Mysql
  • Defense: 07/2006
Proprieta' dei grafi di transizione di sistemi software
Bachelor degree
  • Arguments: Model Checking
  • Technologies: C++
  • Defense: 07/2006
FreeCity: una Guida Turistica Mobile
5-Year degree
  • Arguments: Basi di Dati, Mobile Programming
  • Technologies: Java, MySQL
  • Defense: 07/2006
Un'applicazione web per la gestione della modulistica elettronica
Bachelor degree

La tesi estende e completa la precedente tesi "Una metodologia per la definizione e la distribuzione della modulistica" fornendo un supporto lato server per la raccolta, la distribuzione, la compilazione assistita, la firma digitale e il recapito della modulistica.

  • Arguments: XML, Processi Documentali, eGoverment
  • Technologies: XML, Java Servlets, XML Signature, XSLT
  • Defense: 04/2006
Un'applicazione web per l'orientamento in ingresso degli studenti
Bachelor degree
  • Arguments: Applicazioni Web, Design di Interfacce Utente
  • Technologies: PHP, Mysql
  • Defense: 04/2006
Configurazione e gestione di un sistema Voice over IP
Bachelor degree
  • Arguments: Voice over IP, Protocolli di comunicazione, Design di Interfacce Utente
  • Technologies: Asterisk, Java
  • Defense: 04/2006
Sintesi automatica di controllori fuzzy con algoritmi genetici
5-Year degree
  • Arguments: Sistemi di controllo, Logica fuzzy, Algoritmi genetici
  • Technologies: C++
  • Defense: 04/2006
Algoritmi probabilistici per l'esplorazione del web
Bachelor degree
  • Arguments: Applicazioni Web, Algoritmi di Visita Probabilistici
  • Technologies: C++
  • Defense: 01/2006
Un sistema per il controllo e la validazione automatica dei piani di studio
Bachelor degree
  • Arguments: Applicazioni Web, Design di Interfacce Utente
  • Technologies: PHP, Mysql
  • Defense: 01/2006
Un sistema per il riconoscimento ottico dei veicoli in sosta
5-Year degree
  • Arguments: Logica Fuzzy, OCR, Algoritmi di manipolazione grafica
  • Technologies: C++
  • Defense: 12/2005
Un'Applicazione web per la Creazione e la Manipolazione di Scenari
Bachelor degree

La tesi consiste nello sviluppo di un framwework web-based che integra una serie di tool per la creazione e la manipolazione di scenari, basato sul formalismo SDML. Il framework implementa anche una serie di algoritmi che permettono di derivare state diagrams e test models direttamente dagli scenari, e offre una visualizzazione grafica dinamica su tutte le specifiche formali.

  • Arguments: XML, Ingengeria del Software, Java
  • Technologies: XML, Java Servlets, JSP, XSLT
  • Defense: 10/2005
Editor Visuale per codice OpenGL
Bachelor degree
  • Arguments: Grafica 2D e 3D, Design di Interfacce Utente
  • Technologies: C++, OpenGL
  • Defense: 10/2005
Editor visuale per interfacce XUL

XUL e' un linguaggio di definizione di interfacce sviluppato dal Mozilla group. Il linguaggio permette di generare interfacce molto sofisticate tramite una semplice descrizione XML interpretata a runtime. E' possibile aggiungere dinamica all'interfaccia usando JavaScript per catturare gli eventi e gestirli, ed eventualmente interfacciandosi con librerie esterne tramite opportune interfacce. Lo scopo di questa tesi e' realizzare un editor visuale che permetta di "comporre" una interfaccia (in maniera simile agli editor presenti in molti ambienti di sviluppo come JBuilder o Visual Studio) gestendo la generazione del file XUL corrispondente

  • Arguments: Tecnologie XML, Design di Interfacce Utente
  • Technologies: XML, Java
  • Defense: 07/2005
Un DBMS virtuale e distribuito
Bachelor degree
  • Arguments: Database
  • Technologies: Java, XML
  • Defense: 03/2005
Algoritmi genetici per lo user profiling
Bachelor degree
  • Arguments: Applicazioni Web, User Profiling, Algoritmi Genetici
  • Technologies: PHP, Mysql, Javascript, RSS
  • Defense: 03/2005
Strumenti per la Verifica e il Testing di Software per Telecomunicazioni
5-Year degree
  • Arguments: Model Checking, Definizione delle Specifiche Software
  • Technologies: C++, Verificatori Software
  • Defense: 12/2004
Algoritmi Distribuiti per la Verifica di Sistemi Software
Bachelor degree

La tesi consiste nello sviluppo di un approccio distribuito alla verifica esplicita di sistemi software, basato sul verificatore Murphi. L'architettura di verifica studiata si propone di realizzare una distribuzione efficiente e trasparente del lavoro di verifica tra vari client posti su meacchine diverse, con la possibilita' di variarne dinamicamente il numero.

  • Arguments: Model Cheching, Algoritmi Distribuiti
  • Technologies: C++
  • Defense: 12/2004
Un sistema di visualizzazione di State Diagrams basato sul Formalismo SVG
Bachelor degree
  • Arguments: XML, Scalable Vector Graphics
  • Technologies: XML, XSLT, SVG, Java
  • Defense: 12/2004
Un Sistema per la Gestione Intelligente del Relevance Feedback
Bachelor degree
  • Arguments: Applicazioni Web, Logica Fuzzy, Design di Interfacce Utente
  • Technologies: PHP, Mysql, Java
  • Defense: 10/2004
Un sistema per la generazione automatica delle prove scritte d'esame
Bachelor degree

La tesi ha come obiettivo la realizzazione di un'applicazione per la generazione automatica di test a risposta multipla o libera, altamente configurabile e adattabile alle esigenze specifiche dei singoli corsi, per fornire supporto ai docenti. L'applicazione offre anche supporto durante la correzione dei test e gestisce un archivio storico degli stessi.

  • Arguments: Database, Automazione della didattica
  • Technologies: MySQL, Java
  • Defense: 07/2004
Algoritmi di Verifica basati sull'apprendimento automatico
Bachelor degree
  • Arguments: Model Checking, Data Mining
  • Technologies: C++
  • Defense: 07/2004
Un news aggregator con profiling dinamico dell'utenza
5-Year degree
  • Arguments: Applicazioni Web, User Profiling
  • Technologies: PHP, Mysql, Javascript, RSS
  • Defense: 07/2004
Un sistema di gestione per i progetti d'esame
Bachelor degree

La tesi si propone di realizzare un sistema per la gestione automatica della consegna e della revisione dei progetti d'esame. Il sistema gestisce i gruppi di lavoro, le specifiche dei progetti, il loro versioning, la pubblicazione dei progetti piu' meritevoli in un'area pubblica, e la valutazione del docente.

  • Arguments: Database, Automazione della didattica, Web applications
  • Technologies: MySQL, PHP, Javascript
  • Defense: 04/2004
Sicurezza e crittorgafia in XML
Bachelor degree

La tesi analizza le caratteristiche della crittografia XML, intesa come sistema di standardizzazione delle numerose tecniche di crittografia esistenti e come metodologia specifica di crittografia applicata alle strutture XML. La tesi tratta sia gli aspetti teorici che quelli implementativi di questa nuova tecnologia.

  • Arguments: XML, Sicurezza, Crittografia
  • Technologies: XML
  • Defense: 04/2004
Firma digitale e crittografia a chiave pubblica in xml
Bachelor degree

La tesi analizza le tecniche di firma digitale per documenti XML e il protocollo XML per la gestione delle chiavi pubbliche. La tesi tratta sia gli aspetti teorici che quelli implementativi di questa nuova tecnologia.

  • Arguments: XML, Sicurezza, Firma Digitale
  • Technologies: XML
  • Defense: 04/2004
Una metodologia per la definizione e la distribuzione della modulistica
Bachelor degree

La tesi sviluppa un nuovo linguaggio XML per la descrizione uniforme di una vasta gamma di modulistica elettronica e cartacea. Vengono forniti due fogli di stile, capaci di generare dalla descrizione astratta del modulo una sua rappresentazione elettronica in HTML e una versione cartacea in PDF. In entrambi i casi vengono applicate le ottimizzazioni, le convenzioni strutturali e di formato tipiche dello specifico tipo di modulistica, ottenendo in output moduli molto compatti, leggibili e dalla struttura lineare. Viene inoltre fornita una terza trasformazione per la generazione di schemi XML per la validazione dei dati inseriti nei moduli elettronici.

  • Arguments: XML, Processi Documentali, eGoverment
  • Technologies: XML, Javascript, XSLT, XSL-FO
  • Defense: 04/2004
Un sistema di pubblicazione di tesi e curriculum per neolaureati
Bachelor degree

LA tesi sviluppa un sito web con il duplice intento di assistere lo studente neolaureato nella compliazione del suo curriculum e nella pubblicazione della sua tesi sulla rete, e di dare visibilita' a questi due importanti documenti, fornendo potenti strumenti di ricerca e catalogazione degli stessi.

  • Arguments: Database, Automazione della didattica, Web Applications
  • Technologies: Mysql, Javascript, PHP
  • Defense: 04/2004
Un servizio web per la condivisione dei documenti strutturati
Bachelor degree

La tesi si propone di sviluppare un servizio web generico e altamente configurabile per la gestione e la condivisione di documenti XML.

  • Arguments: Database, Web Services, XML
  • Technologies: Java, JWSDP, MySQL
  • Defense: 04/2004
Metodologie di sviluppo per web services su piattaforme java
5-Year degree

La tesi mette a confronto, tramite un caso di studio, le tecnologie piu' note per lo sviluppo di servizi web in ambiente Java.

  • Arguments: Web Services, XML
  • Technologies: Java, JWSDP, Apache AXIS
  • Defense: 04/2004
Generazione Automatica di Test Cases
Bachelor degree

Il lavoro di tesi si propone la definizione di un nuovo approccio finalizzato alla generazione semiautomatica dei software test, in particolare modo dei system e performance test, a partire dalle specifiche software formalizzate tramite il linguaggio SDML (Scenario Description Markup Language).

  • Arguments: Ingegneria del Software
  • Technologies: XSLT, XML
  • Defense: 12/2003
Generazione automatica di strutture relazionali a partire da diagrammi Entita'-Relazione
Bachelor degree
  • Arguments: Database
  • Technologies: XSLT, Modelli Entita' elazione e Relazionale
  • Defense: 12/2003
Un Ambiente di Editing per lo Scenario Description Markup Language
Bachelor degree

Il lavoro di tesi si propone la realizzazione di un editor visuale per la rappresentazione e la manipolazione degli elementi del linguaggio SDML (Scenario Description Markup Language).

  • Arguments: Design di Interfacce Utente, Ingegneria del Software
  • Technologies: Java, XML
  • Defense: 10/2003
Un Editor Visuale per State Diagrams
Bachelor degree

Il lavoro di tesi si propone la realizzazione di un editor visuale per la rappresentazione e la manipolazione degli elementi del linguaggio SCDML (Statechart Description Markup Language). L'editor dovra' supportare due diverse tipologie di creazione di statechart: sia attraverso le funzioni classiche dell'editor, sia importando documenti scritti in SDML.

  • Arguments: Design di Interfacce Utente, Ingegneria del Software
  • Technologies: Java, XML
  • Defense: 10/2003
Analisi del formalismo XML Schema nella Gerarchia di Chomsky
5-Year degree

La tesi si propone di analizzare la classificazione degli schemi XSLT, visti come un particolare formalismo grammaticale, all'interno della gerarchia dei linguaggi formali.

  • Arguments: XML, Linguaggi Formali
  • Defense: 10/2003
Mapping di documenti XML su strutture relazionali
Bachelor degree
  • Arguments: Database, Schemi XML
  • Technologies: XSLT, XML
  • Defense: 10/2003
Verifica automatica dei criteri di accessibilita' ai contenuti web
Bachelor degree
  • Arguments: Accessibilita', Applicazioni Web
  • Technologies: PHP, HTML
  • Defense: 03/2003