Biblioteca de la Universidad Complutense de Madrid

wSafe: Entorno de compilación para SAFE en la red

Impacto



Hidalgo Garrido-Lestache, Lope Javier y Huidobro Moradillo, Enrique Omar y Masa González, Juan Antonio (2009) wSafe: Entorno de compilación para SAFE en la red. [Trabajo de curso] (No publicado)

[img]
Vista previa
PDF
3MB


Resumen

El proyecto desarrollado se trata de una aplicación web que controla principalmente el compilador safe, pudiendo interactuar con otras herramientas como Isabelle, Jasmin…
La aplicación gestionará las correspondientes etapas del compilador safe o de las herramientas externas, ejecutando todas las fases, las fases deseadas o una demostración que ejecutará todas las fases con un fichero .safe establecido por defecto como entrada.
Proporciona a los ficheros generados de estas etapas una “vista” que permite visualizarlos de una manera más amigable usando para ello las transformaciones xslt que se realizan sobre los ficheros xml.
Permite también la descarga de estos ficheros en formato xml para la edición por parte de usuarios avanzados y posterior carga en el servidor para la ejecución de los ficheros modificados.
[ABSTRACT]
The developed Project is a web application that controls the safe compiler, with interaction with other tools like Isabelle, Jasmin… The application manages the several safe-compiler stages or external tools, executing all the Stages, the wanted stages or a demo that executes all the stages with a .safe file established by default like input.
It provides the generated files from these stages with a view that allows visualizing them in a friendly interface through xslt transformations made in the xml files.
As well, it allows to download the xml files for editing by advanced users and uploading for execution the modified files later.


Tipo de documento:Trabajo de curso
Información Adicional:

Trabajo de clase de la asignatura Sistemas Informáticos (Facultad de Informática, Curso 2008-2009)

Palabras clave:Compilador, Safe, Html, Php, Javascript, Xml, Xlst, Css
Materias:Ciencias > Informática > Sistemas expertos
Código ID:9459
Depositado:21 Sep 2009 16:59
Última Modificación:06 Feb 2014 08:25

Sólo personal del repositorio: página de control del artículo