Beneficios del uso de Maude para desarrollar sistemas adaptativos
Ver/
Compartir
Métricas
Estadísticas
Ver Estadísticas de usoMetadatos
Mostrar el registro completo del ítemPatrocinadores
Centro Universitario de la Defensa. Escuela de Turismo de Cartagena. Escuela Técnica Superior de Ingeniería Industrial UPCT. Escuela Técnica Superior de Ingeniería de Telecomunicación (ETSIT). Escuela de Ingeniería de Caminos y Minas (EICM). Escuela de Arquitectura e Ingeniería de Edificación (ARQ&IDE). Parque Tecnológico de Fuente Álamo. Navantia. Campus Mare Nostrum. Estación Experimental Agroalimentaria Tomás FerroFecha de publicación
2013-04Editorial
Universidad Politécnica de CartagenaCita bibliográfica
INGLÉS ROMERO, Juan F., VICENTE CHICOTE, Cristina. Beneficios del uso de Maude para desarrollar sistemas adaptivos. En VI Jornadas de introducción a la investigación de la UPCT, abril 2013, nº 6, 106-108 p. ISSN:1888-8356Palabras clave
MaudeLenguaje de especificación formal
Lógica ecuacional
Sistemas auto-adaptativos
Resumen
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.
Colecciones
El ítem tiene asociados los siguientes ficheros de licencia:
Redes sociales