Por favor, use este identificador para citar o enlazar este ítem:
https://hdl.handle.net/20.500.12008/3450
Cómo citar
Registro completo de metadatos
Campo DC | Valor | Lengua/Idioma |
---|---|---|
dc.contributor.author | López, Horacio | es |
dc.contributor.author | Varesi, Fernando | es |
dc.contributor.author | Viñolo, Marcelo | es |
dc.contributor.author | Calegari, Daniel | es |
dc.contributor.author | Luna, Carlos | es |
dc.date.accessioned | 2014-12-02T16:06:12Z | - |
dc.date.available | 2014-12-02T16:06:12Z | - |
dc.date.issued | 2010 | es |
dc.date.submitted | 20141202 | es |
dc.identifier.citation | LÓPEZ, H., VARESI, F., VIÑOLO, M., y otros. "Estado del arte de verificación de transformación de modelos". Reportes Técnicos 10-07. UR. FI – INCO, 2010. | es |
dc.identifier.issn | 0797-6410 | es |
dc.identifier.uri | http://hdl.handle.net/20.500.12008/3450 | - |
dc.description.abstract | El Desarrollo de Software Guiado por Modelos (Model-Driven Development, MDD) es un enfoque de ingeniería de software basado en el modelado de un sistema como la principal actividad del desarrollo y la construcción del mismo guiada por transformaciones de dichos modelos. Su éxito depende fuertemente de la disponibilidad de lenguajes y herramientas apropiados para realizar las transformaciones y validar su corrección. En relación a este último punto, este documento presenta un relevamiento del estado del arte de los diferentes enfoques y técnicas de verificación de transformaciones de modelos empleados para MDD. Se analizan las principales características de los enfoques existentes, a saber: basado en casos de prueba, model checking y métodos deductivos. Así mismo se estudian las diferentes técnicas existentes para cada enfoque y se presentan las herramientas utilizadas en la bibliografía, ejemplificando su uso. | es |
dc.format.extent | 35 p. | es |
dc.format.mimetype | application/pdf | es |
dc.language | es | es |
dc.publisher | UR. FI – INCO. | es |
dc.relation.ispartof | Reportes Técnicos 10-07 | es |
dc.rights | Las obras depositadas en el Repositorio se rigen por la Ordenanza de los Derechos de la Propiedad Intelectual de la Universidad De La República. (Res. Nº 91 de C.D.C. de 8/III/1994 – D.O. 7/IV/1994) y por la Ordenanza del Repositorio Abierto de la Universidad de la República (Res. Nº 16 de C.D.C. de 07/10/2014) | es |
dc.subject | Modelado de Sistemas | es |
dc.subject | Model Driven Development | es |
dc.subject | MDD | es |
dc.subject | Software Guiado por Modelos | es |
dc.subject | Ingeniería de Software | es |
dc.title | Estado del arte de verificación de transformación de modelos | es |
dc.type | Reporte técnico | es |
dc.rights.licence | Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0) | es |
Aparece en las colecciones: | Reportes Técnicos - Instituto de Computación |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | ||
---|---|---|---|---|---|
TR1007.pdf | 625,94 kB | Adobe PDF | Visualizar/Abrir |
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons