TY - JOUR 
A1 - Inglés Romero, Juan Francisco
AU - Vicente Chicote, Cristina
T1 - Beneficios del uso de Maude para desarrollar sistemas adaptativos
Y1 - 2013
SN - 1888-8356
UR - http://hdl.handle.net/10317/3416
AB - 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.
KW - Maude
KW - Lenguaje de especificación formal
KW - Lógica ecuacional
KW - Sistemas auto-adaptativos
LA - spa
PB - Universidad Politécnica de Cartagena
ER -