Módulo empresarial para Java Path Finder

Repositorio e-Archivo

Módulo empresarial para Java Path Finder

Autor(es): Martín Gutiérrez, Manuel Jesús
Director(es): Basanta Val, Pablo
Departamento/Instituto: Universidad Carlos III de Madrid. Departamento de Ingeniería Telemática
Titulación: Ingeniería Técnica en Telemática
Fecha de edición: 2011-03
Fecha de defensa: 2011-03-11
Palabras clave: Programación concurrente , Java (Lenguaje de programación) , Herramientas de software
URI: http://hdl.handle.net/10016/11937
Derechos: Atribución-NoComercial-SinDerivadas 3.0 España
Atribución-NoComercial-SinDerivadas 3.0 España

Resumen:

 
Este proyecto consiste en hacer accesible vía web una herramienta de validación formal de aplicaciones Java, como es Java Path Finder, desarrollada por la NASA. Para este objetivo se analizan en profundidad la herramienta JPF, la tecnología Java EE para aplica [+]
 
This project deals with getting web access to a formal validation tool for Java applications called Java Path Finder, developed by NASA. For that aim, different technologies are analyzed in depth: the JPF tool, the Java EE technology for enterprise application [+]
 

Mostrar el registro completo del ítem

Impacto:

G o o g l e ™ Académico:Otros documentos del autor Módulo empresarial para Java Path Finder
 

Ficheros en el ítem

ADOBE PDF PREVIEW
Nombre: PFC_ManuelJesus_M ...
Tamaño: 2.809Mb
Formato: PDF
OPENACCESS
*Click en la imagen del fichero para previsualizar.(Los elementos embargados carecen de esta funcionalidad)


Find Full text

Este ítem aparece en la(s) siguiente(s) colección(es)