Mostrar el registro sencillo del ítem

dc.contributor.authorInglés Romero, Juan Francisco 
dc.contributor.authorVicente Chicote, Cristina 
dc.date.accessioned2013-10-02T07:13:47Z
dc.date.available2013-10-02T07:13:47Z
dc.date.issued2013-04
dc.identifier.citationINGLÉ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-8356es_ES
dc.identifier.issn1888-8356
dc.description.abstractLa 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.es_ES
dc.description.sponsorshipCentro 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 Ferroes_ES
dc.formatapplication/pdfes_ES
dc.language.isospaes_ES
dc.publisherUniversidad Politécnica de Cartagenaes_ES
dc.rightsAtribución-NoComercial-SinDerivadas 3.0 España*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/es/*
dc.titleBeneficios del uso de Maude para desarrollar sistemas adaptativoses_ES
dc.typeinfo:eu-repo/semantics/articlees_ES
dc.subjectMaudees_ES
dc.subjectLenguaje de especificación formales_ES
dc.subjectLógica ecuacionales_ES
dc.subjectSistemas auto-adaptativoses_ES
dc.identifier.urihttp://hdl.handle.net/10317/3416
dc.rights.accessRightsinfo:eu-repo/semantics/openAccesses_ES


Ficheros en el ítem

untranslated

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem

Atribución-NoComercial-SinDerivadas 3.0 España
Excepto si se señala otra cosa, la licencia del ítem se describe como Atribución-NoComercial-SinDerivadas 3.0 España