Interfaz Web para Maude

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.