Aviso: para depositar documentos, por favor, inicia sesión e identifícate con tu cuenta de correo institucional de la UCM con el botón MI CUENTA UCM. No emplees la opción AUTENTICACIÓN CON CONTRASEÑA
 

Interfaz Web para Maude

Loading...
Thumbnail Image

Official URL

Full text at PDC

Publication date

2024

Advisors (or tutors)

Editors

Journal Title

Journal ISSN

Volume Title

Publisher

Citations
Google Scholar

Citation

Abstract

Este proyecto busca una forma alternativa más accesible de utilizar el lenguaje de programación Maude. Actualmente, el diseño de este leguaje está orientado prinicpalmente para entornos de Linux y macOS, y puede resultar menos accesible para algunos desarrolladores. A través de una interfaz web, este programa ofrece una alternativa para utilizar los módulos y comandos de Maude, evitando al usuario todo el proceso de instalación y configuración de softwares adiccionales y simplificando su uso. También permite al usuario iniciar sesión y almacenar el historial de comandos y módulos, facilitando el seguimiento de fallos recurrentes, la identificación de patrones y el análisis de estadísticas de errores.
The aim of this project is to create an alternative and more accessible way of using the Maude Programming Language. Currently, Maude is primarily designed for Linux and macOS environments, which can make it less approachable to some developers. Through a web interface, this program offers another way of using Maude modules and commands while sparing the user of the whole process of installing and setting up any needed software and simplifying its use. It also allows the user to log in and store command and module history, facilitating the tracking of recurring mistakes, identification of patterns, and analyzing error statistics.

Research Projects

Organizational Units

Journal Issue

Description

Trabajo de Fin de Grado en Ingeniería Informática, Facultad Informática UCM, Departamento de Sistemas Informáticos y Computación, curso 2023/2024

Keywords