Specifica e sintesi automatica di sistemi software: Una notazione in linguaggio z

De Simone, Fabio (2015) Specifica e sintesi automatica di sistemi software: Una notazione in linguaggio z. [Laurea specialistica], Università di Bologna, Corso di Studio in Ingegneria informatica [LS-DM509]
Documenti full-text disponibili:
[img]
Anteprima
Documento PDF
Download (1MB) | Anteprima

Abstract

L'attuale processo di sviluppo del software è abbastanza lontano dai canoni di sistematicità e correttezza propri di altre aree dell'ingegneria. L'obiettivo di questa Tesi è quello di fornire metodologie e strumenti realmente ingegneristici per la costruzione del software, attraverso l'introduzione di linguaggi general purpose per l'analisi e la progettazione, di robustezza industriale e con semantica formalmente definita. A partire da frasi corrette in tali linguaggi, le quali costituiscono a tutti gli effetti modelli di sistemi software, ci si propone la completa generazione del codice corrispondente.

Abstract
Tipologia del documento
Tesi di laurea (Laurea specialistica)
Autore della tesi
De Simone, Fabio
Relatore della tesi
Scuola
Corso di studio
Ordinamento Cds
DM509
Parole chiave
Z object-orientation generazione_codice MDSD
Data di discussione della Tesi
17 Marzo 2015
URI

Altri metadati

Statistica sui download

Gestione del documento: Visualizza il documento

^