Tesi etd-05202010-105139 |
Link copiato negli appunti
Tipo di tesi
Tesi di laurea specialistica
Autore
REXHA, ANDI
URN
etd-05202010-105139
Titolo
Anslisi comportamentali dei contratti di servizio
Dipartimento
SCIENZE MATEMATICHE, FISICHE E NATURALI
Corso di studi
INFORMATICA
Relatori
relatore Prof. Degano, Pierpaolo
relatore Ferrari, Gian Luigi
relatore Ferrari, Gian Luigi
Parole chiave
- Contratti di servizio
Data inizio appello
04/06/2010
Consultabilità
Non consultabile
Data di rilascio
04/06/2050
Riassunto
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.
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. |
|