Complutense University Library

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

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

[img]
Preview
PDF
3MB
View download statistics for this eprint

==>>> Export to other formats

Abstract

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.

Item Type:Coursework
Additional Information:Trabajo de clase de la asignatura Sistemas Informáticos (Facultad de Informática, Curso 2008-2009)
Uncontrolled Keywords:Compilador, Safe, Html, Php, Javascript, Xml, Xlst, Css
Subjects:Sciences > Computer science > Expert systems (Computer science)
ID Code:9459
Deposited On:21 Sep 2009 16:59
Last Modified:06 Feb 2014 08:25

Repository Staff Only: item control page