A type-theoretic framework for certified model transformations

Simple item page
dc.creatorCalegari, Danieles
dc.creatorLuna, Carloses
dc.creatorSzasz, Noraes
dc.creatorTasistro, Álvaroes
dc.date.accessioned2017-02-08T19:18:59Z
dc.date.available2017-02-08T19:18:59Z
dc.date.issued2010en
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.extent16 p.es
dc.identifier.citationCalegari, 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 https://rad.ort.edu.uy/handle/20.500.11968/2726es
dc.identifier.issn1688-8707es
dc.identifier.urihttp://hdl.handle.net/20.500.11968/2726
dc.languageenes
dc.publisherUniversidad ORT Uruguay. Facultad de Ingenieríaes
dc.relation.ispartofseriesDocumento de Investigaciónes
dc.relation.ispartofseriesnonro. 9es
dc.rights.licenseLicencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0)es
dc.rights.urihttps://creativecommons.org/licenses/by-nc-nd/4.0/es
dc.subjectTEOREMA AUTOMÁTICO-DEMOSTRACIÓNes
dc.subjectTEORÍA DE TIPOSes
dc.subjectSOFTWARE-DESARROLLOes
dc.subjectINGENIERÍA DIRIGIDA POR MODELOSes
dc.titleA type-theoretic framework for certified model transformationses
dc.typeDocumento de investigaciónes
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
documento9fi.pdf
Size:
265.26 KB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
Documentos de Investigación