TY - JOUR 
A1 - Rosique Contreras, María Francisca
AU - Sánchez Palma, Pedro
AU - Alonso Cáceres, Diego
T1 - Formalización de transformaciones de refinamiento de componentes
Y1 - 2011
SN - 1888-8356
UR - http://hdl.handle.net/10317/1723
AB - 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.
KW - Ingeniería del Software
KW - Refinamiento
KW - Formalismo lógico
KW - Metamodelos
KW - MDA
LA - spa
PB - Universidad Politécnica de Cartagena
ER -