RT Generic
T1 wSafe: Entorno de compilación para SAFE en la red
A1 Hidalgo Garrido-Lestache, Lope Javier
A1 Huidobro Moradillo, Enrique Omar
A1 Masa González, Juan Antonio
AB 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.
YR 2009
FD 2009
LK https://hdl.handle.net/20.500.14352/54442
UL https://hdl.handle.net/20.500.14352/54442
LA spa
NO Trabajo de clase de la asignatura Sistemas Informáticos (Facultad de Informática, Curso 2008-2009)
DS Docta Complutense
RD 7 abr 2025