Theses

Integrazione di funzionalità in un applicativo aziendale tramite REST API

Bachelor degree

Analisi E Profilazione Utenti In Un Gioco Didattico Online

Master degree

Intelligenza artificiale generativa per l'accessibilità e la navigazione web assistita

Bachelor degree

UniMARKET DISIM: analisi e completamento del processo di richiesta d'acquisto

Master degree

Eco Green Parking: Mobilità Sostenibile in Città

Bachelor degree

Oltre REST: Tecnologie Avanzate per lo Sviluppo di Web API

Master degree

Impatto delle tecniche di UI/UX design sulla soddisfazione utente per applicazioni web commerciali

Bachelor degree

Integrazione di funzionalità business e utente in un applicativo aziendale sviluppato in Xamarin

Bachelor degree

Reingegnerizzazione ed Estensione di un'Applicazione di Data Analytics

Bachelor degree

Progettazione ed implementazione di un aggregatore di servizi per l'analisi automatica del malware

Bachelor degree

Emissione di credenziali digitali tramite blockchain e NFTs

Bachelor degree

L'accessibilità dei siti web della PA percepita dagli utenti con disabilità

Bachelor degree

SAFETYFIRST: un sistema di gestione e controllo della documentazione sulla sicurezza sul lavoro per le imprese edili

Bachelor degree

L'accessibilità dei siti web della PA percepita dagli utenti con disabilità

Bachelor degree

Uno studio sulla dematerializzazione dei processi dipartimentali attraverso la piattaforma BonitaSoft​

Bachelor degree

Dal Web 3.0 al Metaverso: tecnologie e prospettive per lo sviluppo futuro del world wide web​

Bachelor degree

Implementazione di un motore di data quality per database MySQL e SQLServer

Bachelor degree

Evoluzione di un software per l'acquisizione e la verifica documentale

Bachelor degree

Estensione del supporto GraphQL in delle Instant Data API per MongoDB

Bachelor degree

Un'Applicazione Web per la gestione dei tirocini universitari

Bachelor degree

Modern Real Time ETL and Enrichment with Apache Kafka and Project Metamorphosis

Master degree

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.

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.

Reingegnerizzazione di un'Applicazione per la Generazione e la Condivisione di Dati di Modellizzazione Molecolare ​

Bachelor degree

Un framework per la modellazione, l'aggregazione e la pubblicazione di API RESTful per servizi in ambito agricolo ​​

Bachelor degree

Interfaccia per insegnanti di un videogioco educativo: CLAssroom Report And Supervision (CLARAS) ​​​

Bachelor degree

Un'applicazione Web per la produzione e la distribuzione di audiolibri ​​​

Bachelor degree

Un'applicazione web per l'organizzazione tecnica del palco nelle esibizioni musicali dal vivo​​​

Bachelor degree

Un'applicazione web di supporto alla generazione, analisi e condivisione di dati di modellizzazione molecolare​​​

Bachelor degree

CREAZIONE DI APPLICAZIONI MOBILI E WEB NATIVE CON IL FRAMEWORK FLUTTER

Bachelor degree

Un framework per l'estrazione e la rappresentazione di statistiche dal traffico di rete SDN

Bachelor degree

Sviluppo di un'applicazione mobile decentralizzata per lo scambio dei dati sui pazienti in ambito ospedaliero

Bachelor degree

Sicurezza nelle architetture a microservizi

Master degree

Internet of Things e Domotica: progettazione e prototipazione di uno Smart Plug Management System

Master degree

Integrazione delle piattaforme SPID e PagoPA in un applicativo web

Bachelor degree

Univaq Skill:Una skill di Amazon Alexa per essere informati sulla didattica del DISIM

Bachelor degree

Realizzazione di un sistema di descriptive analytics per l'analisi delle carriere scolastiche nella piattaforma MEProS

Master degree

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.

Deep Reinforcement Learning applicato alla Cybersecurity: un approccio automatico all'addestramento di reti neurali per il riconoscimento del malware

Master degree

Riconoscimento automatico di linguaggi non lieari

Bachelor degree

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.

Uno Studio Sull'uso Di Relazioni Spaziali Per La Specifica Grammaticale Di Linguaggi Multidimensionali

Master degree

Database NoSQL: quando e come usarli in sostituzione dei relazionali?

Bachelor degree

Sviluppo Di Applicazioni Per Blockchain Con Ethereum: Un Caso Di Studio Sul Catasto Distribuito

Bachelor degree

Uuoden: Automatic Generation Of Web Applications Based On Php Models

Bachelor degree

Interoperabilita' Tra Applicazioni E-Larning e Servizi Esterni Tramite Tecnologia LTI: Un'estensione Moodle Per La Didattica Interattiva

Bachelor degree

Contronto tra Tool di Data Analytics

Bachelor degree

BeTechnology: Uso di Sensori di Prossimita' per la Personalizzazione dell'esperienza In-Shop

Bachelor degree

Il Framework Unity per lo sviluppo di Giochi in HTML5

Bachelor degree

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.

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.

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.

Uno studio sulla rappresentazione dell'informazione spaziale

Bachelor degree

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.

Analisi e riscrittura di un framework aziendale in PHP: i vantaggi di una corretta applicazione del paradigma a oggetti

Master degree

Studio e sperimentazione di techiche per la reingegnerizzazione di database DB2 di grandi dimensioni

Master degree

WebMiddle: JSX Framework fur multi-layer web data integration

Master degree

Un'applicazione web per la registrazione spese e la gestione flusso di cassa

Bachelor degree

EasyMove, Un'Applicazione Web per migliorare la Mobilita' Quotidiana

Bachelor degree

AskUnivAQ: un sistema collaborativo per il tutoraggio e l'orientamento, prima parte

Bachelor degree

AskUnivAQ: un sistema collaborativo per il tutoraggio e l'orientamento, seconda parte

Bachelor degree

Gestione del ciclo di sviluppo di un sistema IVR su piattaforma plivo per la gestione di consegne domiciliari

Master degree

Un servizio per l'analisi, la classificazione e il riconoscimento dei documenti di identita'

Master degree

Il Framework Microsoft Xamarin per lo Sviluppo di App Crossplatform

Bachelor degree

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.

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.

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

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.

Gestione Web di Associazioni Culturali

Bachelor degree

Studio delle problematiche di sicurezza per server e servizi RESTful

Master degree

ReST: Una App per Appassionati di Serie TV

Bachelor degree

Studio sull'Armonizzazione dei Web di Ateneo

Master degree

Un Sistema Gestionale per i vigili del Fuoco

Bachelor degree

Un confronto tra i game engine per il web 2.0

Bachelor degree

Aggiornamento della piattaforma tecnologica di un'applicazione J2EE

Master degree

Un applicativo per la gestione delle fatture elettroniche verso la pubblica amministrazione

Bachelor degree

Cook together: un'applicazione social per la condivisione di ricette

Bachelor degree

Progettazione di un social operating system

Bachelor degree

Sviluppo di un gioco con il framework unity: programmazione della logica di gioco

Bachelor degree

Sviluppo di un Gioco con il framework Unity: programmazione della GPU con il linguaggio CG

Bachelor degree

Gestione remota via web di un applicativo di housekeeping

Bachelor degree

Grafica dinamica e interattiva nel web 2.0 : WEBGL & SVG

Bachelor degree

Automatizzazione delle procedure gestionali aziendali in conformità con la normativa ISO 9001

Bachelor degree

Progettazione e implementazione di un software gestionale per autonoleggi

Bachelor degree

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.

Un linguaggio grafico per la definizione e l'esecuzione di processi di trasferimento dati

Master degree

Uno studio su query parametriche per l'estrazione visuale di informazioni

Bachelor degree

eLearning 2.0: le nuove frontiere dell'apprendimento online con la piattaforma eLQ

Master degree

Sviluppo di un'Applicazione sulla Multimedia Home Platform Per La Televisone Digitale

Bachelor degree

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

Un'applicazione Java ME per gli studenti del corso di laurea in Informatica

Bachelor degree

Realizzazione di un editor modulare per un linguaggio XML

Bachelor degree

Il Real Time secondo HTML5: le WebSocket

Bachelor degree

Un framework Java per il web advertising

Bachelor degree

un sistema di telediagnosi OBD basato su dispositivi mobili Android

Master degree

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

Un libretto universitario elettronico per dispositivi Android

Bachelor degree

Un'applicazione Android per gli studenti del corso di laurea in Informatica

Bachelor degree

Generazione assistita di documenti legali nell'ambito della compravendita di aziende

Bachelor degree

Un UI toolkit adattabile per applicazioni Java su trminali mobili

Bachelor degree

Un'applicazione iPhone per gli studenti del corso di laurea in Informatica

Bachelor degree

Confronto tra le piattaforme J2EE e .NET per lo sviluppo di applicazioni Web

Bachelor degree

Estrazione Visuale di Informazioni da Dati Biomedici

Master degree

Un'Applicazione dell'Estrazione Visuale di Informazioni al Geomarketing

Bachelor degree

Implementazione di un Modello Geometrico Generale per l'Estrazione Visuale di Informazioni

Bachelor degree

Rilevazione Automatica delle Vulnerabilità nelle Applicazioni Web

Bachelor degree

Generatore di Applicazioni CRUD Multipiattaforma

Bachelor degree

Planning con Algoritmi Genetici

Master degree

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.

Studio comparativo di planner per sistemi ibridi

Bachelor degree

Analisi Strutturale di Documenti PDF

Bachelor degree

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.

Un Sistema Per L'estrazione Visuale Di Dati Da Shapefiles Geografici

Master degree

Pianificazione di un processo di produzione chimica tramite tecniche di planning basate su model checking

Master degree

Tecniche di compressione per la verifica di hardware modulare

Master degree

Un'applicazione per la gestione degli accessi in galleria nei Laboratori Nazionali del Gran Sasso ai sensi della legge 626

Bachelor degree

L'interfaccia Apple iPhone: nuove frontiere nell'interazione uomo-macchina per i dispositivi mobili

Bachelor degree

Una Tecnica per l'Estrazione Visuale di Informazioni dal Web

Bachelor degree

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.

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.

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.

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.

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.

Un Universal Planner PDDL+ Basato su Tecniche di Model Checking

Master degree

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.

Backend Web per un Sistema di Gestione di Beni Culturali

Bachelor degree

Tecnologie XML per il reporting nei sistemi SCADA

Master degree

Un Sistema per l'Aggiornamento Automatico di Applicazioni Basate sulla Piattaforma OSCommerce

Bachelor degree

Steering Interattivo in un'Applicazione per la Simulazione della Dinamica Molecolare

Bachelor degree

Traduzione Automatica di Controllori Tabulari in Diagrammi di Decisione Binari

Master degree

Gestione Web di Processi di Calcolo su Piattaforma UNIX

Bachelor degree

Un Sistema di eCommerce per la Piccola Impresa: Gestione della Clientela

Master degree

Un Sistema di eCommerce per la Piccola Impresa: Backoffice Aziendale

Master degree

Un Framework Resource-Aware per la Realizzazione di Servizi di eBusiness

Master degree

Una Componente per la Gestione di Connessioni Multiple nell'Architettura SEDA

Bachelor degree

Una Soluzione Basata sul Model Checking al Problema dell'Idle Speed Control

Bachelor degree

Tecnologie per la gestione automatica di help desk

Bachelor degree

Proprieta' dei grafi di transizione di sistemi software

Bachelor degree

FreeCity: una Guida Turistica Mobile

5-Year degree

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.

Un'applicazione web per l'orientamento in ingresso degli studenti

Bachelor degree

Configurazione e gestione di un sistema Voice over IP

Bachelor degree

Sintesi automatica di controllori fuzzy con algoritmi genetici

5-Year degree

Algoritmi probabilistici per l'esplorazione del web

Bachelor degree

Un sistema per il controllo e la validazione automatica dei piani di studio

Bachelor degree

Un sistema per il riconoscimento ottico dei veicoli in sosta

5-Year degree

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.

Editor Visuale per codice OpenGL

Bachelor degree

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

Un DBMS virtuale e distribuito

Bachelor degree

Algoritmi genetici per lo user profiling

Bachelor degree

Strumenti per la Verifica e il Testing di Software per Telecomunicazioni

5-Year degree

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.

Un sistema di visualizzazione di State Diagrams basato sul Formalismo SVG

Bachelor degree

Un Sistema per la Gestione Intelligente del Relevance Feedback

Bachelor degree

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.

Algoritmi di Verifica basati sull'apprendimento automatico

Bachelor degree

Un news aggregator con profiling dinamico dell'utenza

5-Year degree

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.

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.

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.

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.

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.

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.

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.

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

Generazione automatica di strutture relazionali a partire da diagrammi Entita'-Relazione

Bachelor degree

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

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.

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.

Mapping di documenti XML su strutture relazionali

Bachelor degree

Verifica automatica dei criteri di accessibilita' ai contenuti web

Bachelor degree