Evangelisti, Samuele
(2024)
analisi di contratti legali in stipula.
[Laurea magistrale], Università di Bologna, Corso di Studio in
Informatica [LM-DM270]
Documenti full-text disponibili:
![[img]](http://amslaurea.unibo.it/style/images/fileicons/application_pdf.png) |
Documento PDF (Thesis)
Disponibile con Licenza: Salvo eventuali più ampie autorizzazioni dell'autore, la tesi può essere liberamente consultata e può essere effettuato il salvataggio e la stampa di una copia per fini strettamente personali di studio, di ricerca e di insegnamento, con espresso divieto di qualunque utilizzo direttamente o indirettamente commerciale. Ogni altro diritto sul materiale è riservato
Download (380kB)
|
Abstract
I contratti legali sono insiemi di clausole che specificano protocolli in grado di regolare le interazioni tra le diverse parti. Queste clausole possono dipendere da vincoli, temporali e non, non soddisfacibili. Quindi è importante poter riconoscere ed eliminare queste clausole errate in quanto non daranno nessun apporto al contratto.
In questa trattazione analizzeremo il problema delle clausole errate presenti nei contratti legali scritti in Stipula, un linguaggio specifico per la progettazione di contratti legali. In particolare verrà riportata l'attenzione sul linguaggio Stipula, verrà presentata la teoria della raggiungibilità, verrà presentata l'implementazione dell'analizzatore e, infine, verranno eseguiti alcuni test.
Abstract
I contratti legali sono insiemi di clausole che specificano protocolli in grado di regolare le interazioni tra le diverse parti. Queste clausole possono dipendere da vincoli, temporali e non, non soddisfacibili. Quindi è importante poter riconoscere ed eliminare queste clausole errate in quanto non daranno nessun apporto al contratto.
In questa trattazione analizzeremo il problema delle clausole errate presenti nei contratti legali scritti in Stipula, un linguaggio specifico per la progettazione di contratti legali. In particolare verrà riportata l'attenzione sul linguaggio Stipula, verrà presentata la teoria della raggiungibilità, verrà presentata l'implementazione dell'analizzatore e, infine, verranno eseguiti alcuni test.
Tipologia del documento
Tesi di laurea
(Laurea magistrale)
Autore della tesi
Evangelisti, Samuele
Relatore della tesi
Correlatore della tesi
Scuola
Corso di studio
Indirizzo
Curriculum C: Sistemi e reti
Ordinamento Cds
DM270
Parole chiave
Stipula,contratto legale,analisi statica,Antlr,Python,raggiungibilità
Data di discussione della Tesi
14 Marzo 2024
URI
Altri metadati
Tipologia del documento
Tesi di laurea
(NON SPECIFICATO)
Autore della tesi
Evangelisti, Samuele
Relatore della tesi
Correlatore della tesi
Scuola
Corso di studio
Indirizzo
Curriculum C: Sistemi e reti
Ordinamento Cds
DM270
Parole chiave
Stipula,contratto legale,analisi statica,Antlr,Python,raggiungibilità
Data di discussione della Tesi
14 Marzo 2024
URI
Statistica sui download
Gestione del documento: