%0 Journal Article %A Rosique Contreras, María Francisca %A Sánchez Palma, Pedro %A Alonso Cáceres, Diego %T Formalización de transformaciones de refinamiento de componentes %D 2011 %@ 1888-8356 %U http://hdl.handle.net/10317/1723 %X 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. %K Ingeniería del Software %K Refinamiento %K Formalismo lógico %K Metamodelos %K MDA %~ GOEDOC, SUB GOETTINGEN