Materie universitarie in cui l'argomento è contenuto:
Sistemi Informativi

Categorie in cui l'argomento è contenuto:
TESI PDF
JAVA

Autore: Graziano Nardelli

Relatore: Prof. Eugenio Di Sciascio

Università: Politecnico di Bari

Correlatore: Dott.ssa Marina Mongiello

La verifica delle proprietà di siti web sia statici che dinamici, mediante l'uso di metodi formali garantisce la correttezza del progetto sulla base della verifica matematica del modello del sistema.

voto :   

Il codice sorgente DOWNLOAD   Numero di click: 15 Descrizione: Non è semplice poter eseguire DAWEB con il codice sorgente messo a disposizione. Questi file tuttavia potrebbero essere utili per chi sta imparando a programmare in Java           TESI VISUALIZZA   Numero di click: 60           DOWNLOAD JAVA JDK VISUALIZZA   Numero di click: 6 Descrizione: Per poter eseguire il programma occorre avere installato sul computer una versione JDK. La versione JDK 1.3 è stata quella utilizzata durante lo svolgimento della tesi.           ESEGUIBILE JAVA DEL PROGETTO DOWNLOAD   Numero di click: 8 Descrizione: Per eseguire il progetto occorre: Installare una versione JDK (vedere l'allegato precedente) decomprimere l'archivio zip presente in questo allegato eseguire le semplici istruzioni del file leggimi presente all'esterno della directory principale

Data inserimento: 13/07/2007