%0 Journal Article %A Inglés Romero, Juan Francisco %A Vicente Chicote, Cristina %T Beneficios del uso de Maude para desarrollar sistemas adaptativos %D 2013 %@ 1888-8356 %U http://hdl.handle.net/10317/3416 %X La adaptación del software en tiempo de ejecución se está convirtiendo en un reto cada vez más importante a medida que las aplicaciones necesitan ajustarse dinámicamente para hacer frente a los continuos cambios que se producen en su entorno de ejecución, en los recursos computacionales disponibles en cada momento, o en los requisitos de los usuarios. Maude es un lenguaje de especificación formal, basado en lógica ecuacional y lógica de reescritura, que permite la programación de una amplia gama de aplicaciones. En este trabajo describimos nuestra experiencia en el uso de Maude para la creación de prototipos de sistemas auto-adaptativos. %K Maude %K Lenguaje de especificación formal %K Lógica ecuacional %K Sistemas auto-adaptativos %~ GOEDOC, SUB GOETTINGEN