Derechos:
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 aplicaEste 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 aplicaciones empresariales y el servidor de aplicaciones de código libre Glassfish de Sun. Este proyecto comprende además el diseño e implementación de la aplicación, utilizando las tecnologías analizadas, así como pruebas de rendimiento para conocer los límites de dicho sistema en un curso real. __________________________________________________________________________________________________________[+][-]
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 applicationThis 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 applications and the Glassfish application server developed by Sun which is open source. This project includes, in addition, the design and implementation of the entire application using the analyzed technologies, as well as performance tests to find its limits on real course.[+][-]