| |
|
|
| |
Corsi |
|
| |
|
|
| |
Anno Accademico 2008/2009
|
|
| |
|
|
| |
Anno Accademico 2007/2008
|
|
| |
|
|
| |
Anno Accademico 2006/2007
|
|
| |
|
|
| |
|
|
| |
|
|
| |
Tesi Disponibili |
|
| |
|
|
| |
| 1. |
Titolo: Strumenti di validazione per l'"audizione" di Web Services
|
| |
La tesi intende sviluppare alcuni meccanismi di validazione di servizi web in particolare da associare alla
fasi di registrazione in appositi directory (e.g. UDDI). Una versione prototipale del software è
già esistente.
|
| |
|
| 2. |
Titolo: Meccanismi e protocolli per il discovery di servizi in sistemi aperti
|
| |
La tesi intende fornire una rassegna sui meccanismi di discovery di servizi in ambienti aperti, e/o
semi-aperti, esistenti in letteratura. Successivamente alcune sperimentazioni saranno condotte al fine
di evidenziare differenze e possibili ambiti applicativi.
|
| |
|
| 3. |
Titolo: Derivazione di casi di test da specifiche BPEL tramite definizione di controesempi
|
| |
La tesi intende mettere a punto strumenti per la derivazione di casi di test per la validazione di
servizi utilizzati all'interno di composizioni definite tramite WS-BPEL. Le tecniche di derivazione dei
casi di test da indagare riguarderanno principalmente la definizione di controesempi e l'applicazione di
strumenti di Model-Checking
|
| |
|
| |
| |
Tesi Supervisionate |
|
| |
|
|
| |
Laurea Magistrale |
| |
| - |
Federica Ciotti (MSc) |
| |
WS-Guard - enhancing UDDI registries with on-line testing capabilities |
| |
Università di Pisa - Giugno 2007 |
| - |
Annalisa Bacherotti (MSc) |
| |
Ulisse - un tool per l'esecuzione ed il monitoring architetturale di sistemi a componenti distribuiti |
| |
Università di Pisa - Dicembre 2006 |
| - |
Daniele Bonuccelli (MSc) |
| |
Creazione ed integrazione di web services da applicazioni stand-alone |
| |
Università di Pisa - Luglio 2005 |
| - |
Ramiro Stracci (MSc) |
| |
Monitoring di sistemi a componenti tramite tecnologie Aspect-Oriented |
| |
Università di L'Aquila - Giugno 2005 |
|
|
| |
Laurea |
| |
| - |
Andrea Baiocco (BSc) |
| |
Il sito Web del Corso di Laurea in Informatica |
| |
Università di Camerino - Luglio 2008 |
| - |
Alex Luciani (BSc) |
| |
Porting di servizi da Axis 1.4 ad Axis 2.0 |
| |
Università di Camerino - Luglio 2008 |
| - |
Francesca Pratesi (BSc) |
| |
Strumenti di validazione per web services |
| |
Università di Pisa - Dicembre 2006 |
| - |
Gianluca D'Andrea (BSc) |
| |
Popolamento automatico di classi da codifiche XML |
| |
Università di L'Aquila - Dicembre 2005 |
| - |
Alessia Bardi (BSc) |
| |
Teseo - un tool per la derivazione di tracce di esecuzione di sistemi a componenti |
| |
Università di Pisa - Giugno 2005 |
| - |
Marco Puccetti (BSc) |
| |
Integrazione di strumenti di modellazione e validazione di documenti XML |
| |
Università di Pisa - Luglio 2004 |
|
|
| |
|
|
