Formalización de transformaciones de refinamiento de componentes
Ver/
Compartir
Métricas
Estadísticas
Ver Estadísticas de usoMetadatos
Mostrar el registro completo del ítemGrupo de investigación
División de Sistemas e Ingeniería electrónica (DSIE)Patrocinadores
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 NostrumFecha de publicación
2011-05-27Editorial
Universidad Politécnica de CartagenaCita bibliográfica
ROSIQUE CONTRERAS, Francisca; SÁNCHEZ PALMA, Pedro y ALONSO CÁCERES, Diego. Formalización de transformaciones de refinamiento de componentes. En: IV Jornadas de introducción a la investigación de la UPCT, mayo 2011, nº 4. Pp. 73-75. ISSN:1888-8356Palabras clave
Ingeniería del SoftwareRefinamiento
Formalismo lógico
Metamodelos
MDA
Resumen
En el proceso de desarrollo de software dirigido por modelos es posible encontrar
situaciones en las que las transformaciones entre modelos de distintos niveles de abstracción necesitan un tratamiento previo que facilite la transformación, sobre todo cuando se dispone de varios modelos especificas de la plataforma. En este documento se propone como solución la realización de una transformación de refinamiento, previa a la obtención del modelo especifico de la plataforma.
Colecciones
El ítem tiene asociados los siguientes ficheros de licencia:
Redes sociales