Universidad ORT Uruguay

Show simple item record

dc.contributor.author Calegari, Daniel es
dc.contributor.author Luna, Carlos es
dc.contributor.author Szasz, Nora es
dc.contributor.author Tasistro, Álvaro es
dc.date.accessioned 2017-02-08T19:18:59Z
dc.date.available 2017-02-08T19:18:59Z
dc.date.issued 2010 en
dc.identifier.citation Calegari, D., Luna, C., Szasz, N., & Tasistro, Á. (2010). A type-theoretic framework for certified model transformations. (Documento de Investigación nro. 9). Montevideo: Universidad ORT Uruguay. Facultad de Ingeniería. Recuperado de http://dspace.ort.edu.uy/handle/20.500.11968/2726 es
dc.identifier.issn 1688-8707 es
dc.identifier.uri http://hdl.handle.net/20.500.11968/2726
dc.description.abstract "We present a framework based on the Calculus of Inductive Constructions (CIC) and its associated tool the Coq proof assistant to allow certification of model transformations in the context of Model-Driven Engineering (MDE). The approached is based on a semi-automatic translation process from metamodels, models and transformations of the MDE technical space into types, propositions and functions of the CIC technical space. We describe this translation and illustrate its use in a standard case study." [Abstract] es
dc.format.extent 16 p. es
dc.language en es
dc.publisher Universidad ORT Uruguay. Facultad de Ingeniería es
dc.relation.ispartofseries Documento de Investigación es
dc.rights.uri https://creativecommons.org/licenses/by-nc-nd/4.0/ es
dc.subject TEOREMA AUTOMÁTICO-DEMOSTRACIÓN es
dc.subject TEORÍA DE TIPOS es
dc.subject SOFTWARE-DESARROLLO es
dc.subject INGENIERÍA DIRIGIDA POR MODELOS es
dc.title A type-theoretic framework for certified model transformations es
dc.type Documento de investigación es
dc.rights.license Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0) es
dc.relation.ispartofseriesno nro. 9 es


Files in this item

Icon
Name: documento9fi.pdf
Size: 265.2Kb
Format: PDF
View/Open

This item appears in the following Collection(s)

Show simple item record

https://creativecommons.org/licenses/by-nc-nd/4.0/ Except where otherwise noted, this item's license is described as https://creativecommons.org/licenses/by-nc-nd/4.0/