Elenco Tesi di Laurea su JSetL (List of Degree Theses related to JSetL)

I file pdf delle tesi di seguito elencate possono essere scaricati qui
(The pdf files of the theses listed below can be downloaded here)

APPLICAZIONI (Applications)

Lorenzo Galafassi
Sviluppo di un prototipo del sistema ”TIS” partendo dalla sua specifica Z tramite l’utilizzo della libreria Java JSetL
Luglio 2021

Calderini Angela 
Implementazione della specifica Z del progetto 'Tokeneer ID Station in Java tramite l'utilizzo della libreria JSetL
Marzo 2021

Mordonini Matteo
Generazione di programmi Java da specifiche formali Z tramite la libreria JSetL 
Dicembre 2020 

De Santis Lorenzo
Da specifiche Z a programmi Java tramite JsetL
Settembre 2017

Davide Allevi
Implementazione di specifiche Minizinc tramite il linguaggio Java esteso con la libreria Jsetl
Marzo 2016

Alessio Bortolotti
Analisi e progettazione delle regole di traduzione per l'esecuzione del linguaggio a vincoli Charme tramite JSetL
Marzo 2015

Fabio Biselli
Contributo alla Specifica JSR-331 mediante un'Implementazione basata su JSetL. 
(Relatore: Federico Bergenti)
Aprile 2012

Andrea Longo
Realizzazione di Definite Clause Grammar in Java tramite JSetL
Aprile 2012

Alberto Dallavalle
Implementazione di una interfaccia standard per la programmazione a vincoli in Java basata sulla libreria JSetl.
Aprile 2011

Michele Giacomo Filippi
Un'interfaccia uniforme per la programmazione con insiemi e vincoli insiemistici in Java. 
Settembre 2008

Delia Di Giorgio
Gestione di insiemi ed operazioni insiemistiche in Java tramite l'integrazione tra la libreria JSetL e l'interfaccia Set di Java
Aprile 2007

ESTENSIONI e MIGLIORAMENTI (Extensions and improvements)                     

Marchi Federico
Implementazione e valutazione di regole di riscrittura per vincoli insiemistici nella libreria Java JSetL
Ottobre 2020

Magnani Giulia
Un solver parallelo per vincoli insiemistici per la libreria Java JSetL
Ottobre 2019

Ghezzi Marco
Trattamento ed uso del Prodotto Cartesiano tra insiemi tramite la libreria Java JSetL
Marzo 2019

Cobianchi Michael
Trattamento di vincoli su insiemi e relazioni binarie nella libreria Java JSetL
Dicembre 2018

Fois Andrea
Estensioni ed uso degli Insiemi Intensionali Ristretti in JSetL
Luglio 2018

Guerra Andrea
Estensione della libreria Java JSetL con gli Insiemi Intensionali Ristretti
Marzo 2018

Gianluca Lutero 
Estensione della libreria Java Jsetl con vincoli su funzioni parziali
Marzo 2016

Lorenzo Furini
Progettazione e sviluppo di un preprocessore Java per la libreria JSetL
Marzo 2015

Giuseppe Mollica
Progettazione e Realizzazione di un Front End Interattivo per JSetL basato su ANTLR 
(Relatore: Federico Bergenti)
Settembre 2014

Roberto Amadini
Studio e realizzazione in Java di domini e regole per la risoluzione di vincoli su interi e insiemi di interi. 
Novembre 2011

Luca Pedrelli
Trattamento uniforme di insiemi, multi-insiemi e liste nella libreria JSetl
Aprile 2009

Daniele Pandini
Progettazione e realizzazione in Java di un risolutore di vincoli su domini finiti. 
Febbraio 2008

Roberto Amadini
Inserimento del vincolo di cardinalità insiemistica nella libreria JSetL. 
Ottobre 2007

Nadia Toledi
Un'estensione alla libreria JsetL per il trattamento di vincoli su multi-insiemi
Aprile 2006

Elisabetta Poleo
JavaSet: una libreria Java per la programmazione con vincoli (insiemistici) 
Dicembre 2002


TESTING e VALUTAZIONI EMPIRICHE (Testing and empirical assessments)

Marchiani Michele
Valutazione e miglioramento di un constraint solver parallelo per la libreria Java JSetL
Ottobre 2020

Vetere Francesco
Generazione automatica ed esecuzione di casi di test per la libreria Java JsetL
Settembre 2019

Federica Belli
Classi "Collezione" in Java e JSetL: confronti ed implementazioni
Dicembre 2014

Michele Giacobini
Test della libreria JSetL tramite JUnit
Luglio 2013

Riccardo Zangrandi
Automatizzazione e controllo delle soluzioni per i test dello strumento TCK di JSR331. 
Aprile 2013

Lucia Guglielmetti
Progettazione e realizzazione in Java di programmi di test per la libreria JSetl
Aprile 2011