Estado del arte de verificación de transformación de modelos
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...
Gardado en:
| Autor Principal: | |
|---|---|
| Outros autores: | , , , |
| Formato: | report |
| Idioma: | Lingua castelá |
| Publicado: |
2010
|
| Subjects: | |
| Acceso en liña: | http://hdl.handle.net/20.500.12008/3450 |
| Tags: |
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
| _version_ | 1868890127132000256 |
|---|---|
| author | López, Horacio |
| author2 | Varesi, Fernando Viñolo, Marcelo Calegari, Daniel Luna, Carlos |
| author2_role | author author author author |
| author_browse | Calegari, Daniel Luna, Carlos López, Horacio Varesi, Fernando Viñolo, Marcelo |
| author_facet | López, Horacio Varesi, Fernando Viñolo, Marcelo Calegari, Daniel Luna, Carlos |
| author_role | author |
| collection | COLIBRI |
| dc.creator.none.fl_str_mv | López, Horacio Varesi, Fernando Viñolo, Marcelo Calegari, Daniel Luna, Carlos |
| dc.date.none.fl_str_mv | 2010 2014-12-02T16:06:12Z 2014-12-02T16:06:12Z 20141202 |
| dc.format.none.fl_str_mv | 35 p. application/pdf |
| dc.identifier.none.fl_str_mv | 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. 0797-6410 http://hdl.handle.net/20.500.12008/3450 |
| dc.language.none.fl_str_mv | es spa |
| dc.publisher.none.fl_str_mv | UR. FI – INCO. |
| dc.relation.none.fl_str_mv | Reportes Técnicos 10-07 |
| dc.rights.none.fl_str_mv | info:eu-repo/semantics/openAccess Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0) |
| dc.source.none.fl_str_mv | reponame:COLIBRI instname:Universidad de la República instacron:Universidad de la República |
| dc.subject.none.fl_str_mv | Modelado de Sistemas Model Driven Development MDD Software Guiado por Modelos Ingeniería de Software |
| dc.title.none.fl_str_mv | Estado del arte de verificación de transformación de modelos |
| dc.type.none.fl_str_mv | Reporte técnico info:eu-repo/semantics/report info:eu-repo/semantics/publishedVersion |
| description | 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. |
| eu_rights_str_mv | openAccess |
| format | report |
| id | anni_8d04ae3ad46e6e6aa9f05ce8dfe5e06f |
| identifier_str_mv | 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. 0797-6410 |
| instacron_str | Universidad de la República |
| institution | Universidad de la República |
| instname_str | Universidad de la República |
| language | spa |
| language_invalid_str_mv | es |
| network_acronym_str | anni |
| network_name_str | oai-lr-anni |
| oai_identifier_str | oai:colibri.udelar.edu.uy:20.500.12008/3450 |
| publishDate | 2010 |
| publishDateSort | 2010 |
| publisher.none.fl_str_mv | UR. FI – INCO. |
| reponame_str | COLIBRI |
| repository.mail.fl_str_mv | |
| repository.name.fl_str_mv | |
| repository_id_str | |
| rights_invalid_str_mv | Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0) |
| spelling | Estado del arte de verificación de transformación de modelosLópez, HoracioVaresi, FernandoViñolo, MarceloCalegari, DanielLuna, CarlosModelado de SistemasModel Driven DevelopmentMDDSoftware Guiado por ModelosIngeniería de SoftwareEl 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.UR. FI – INCO.2014-12-02T16:06:12Z2014-12-02T16:06:12Z201020141202Reporte técnicoinfo:eu-repo/semantics/reportinfo:eu-repo/semantics/publishedVersion35 p.application/pdfLÓ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.0797-6410http://hdl.handle.net/20.500.12008/3450reponame:COLIBRIinstname:Universidad de la Repúblicainstacron:Universidad de la RepúblicaesspaReportes Técnicos 10-07Las 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)info:eu-repo/semantics/openAccessLicencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0)oai:colibri.udelar.edu.uy:20.500.12008/34502026-04-14T10:16:11Z |
| spellingShingle | Estado del arte de verificación de transformación de modelos López, Horacio Modelado de Sistemas Model Driven Development MDD Software Guiado por Modelos Ingeniería de Software |
| status_str | publishedVersion |
| title | Estado del arte de verificación de transformación de modelos |
| title_full | Estado del arte de verificación de transformación de modelos |
| title_fullStr | Estado del arte de verificación de transformación de modelos |
| title_full_unstemmed | Estado del arte de verificación de transformación de modelos |
| title_short | Estado del arte de verificación de transformación de modelos |
| title_sort | Estado del arte de verificación de transformación de modelos |
| topic | Modelado de Sistemas Model Driven Development MDD Software Guiado por Modelos Ingeniería de Software |
| url | http://hdl.handle.net/20.500.12008/3450 |