ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Tesi etd-05202010-105139

Tipo di tesi

Tesi di laurea specialistica

URN

etd-05202010-105139

Titolo

Anslisi comportamentali dei contratti di servizio

Dipartimento

SCIENZE MATEMATICHE, FISICHE E NATURALI

Corso di studi

INFORMATICA

Parole chiave

Contratti di servizio

Data inizio appello

04/06/2010

Consultabilità

Non consultabile

Data di rilascio

04/06/2050

Riassunto (Inglese)

Riassunto (Italiano)

La tesi affronta il problema di analizzare da un punto di vista formale i
linguaggi proposti per la
descrizione dei contratti di servizio. In particolare, la tesi propone un modello
comportamentale che permette di verificare
formalmente la nozione di "compliance" di un contratto di servizio.

File

Nome file	Dimensione
La tesi non è consultabile. Contatta l’autore