ETD system

Electronic theses and dissertations repository

 

Tesi etd-05202010-105139


Thesis type
Tesi di laurea specialistica
Author
REXHA, ANDI
URN
etd-05202010-105139
Title
Anslisi comportamentali dei contratti di servizio
Struttura
SCIENZE MATEMATICHE, FISICHE E NATURALI
Corso di studi
INFORMATICA
Supervisors
relatore Prof. Degano, Pierpaolo
relatore Ferrari, Gian Luigi
Parole chiave
  • Contratti di servizio
Data inizio appello
04/06/2010;
Consultabilità
Parziale
Data di rilascio
04/06/2050
Riassunto analitico
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