Las bibliotecas se adaptan a los tiempos de COVID-19.
Estamos disponibles de lunes a jueves de 9:00 a 18:00hs. y viernes de 9.00 a 17:00hs.
Si necesitas retirar libros no disponibles en las colecciones de ebooks puedes llamar al 29021505 o enviar un email a consulta_bibcen@ort.edu.uy / consulta_bibpoc@ort.edu.uy para coordinar día y hora en que puedas venir a buscarlos.

Desde el martes 16 de junio habilitamos la lectura individual en sala, previa reserva y limitada a materiales de uso restringido, que no puedan retirarse en préstamo. Agenda tu turno por un máximo de 2 horas.
Nos cuidamos entre todos.

Detalles de la obra

Título:
Experiment with a type-theoretic approach to the verification of model transformations
Autor(es):
Calegari, Daniel; Luna, Carlos; Szasz, Nora; Tasistro, Álvaro
Pie de imprenta:
Montevideo: Universidad ORT Uruguay. Facultad de Ingeniería, 2009
Descripción física:
[20] p. ill., graf. 22 x 28 cm.
Idioma:
Inglés
ISSN:
1688-8707 (en línea)
Resumen:
"This paper presents ongoing work on the application of constructive type theory for safe development in Model-Driven Engineering. In particular, we put into practice a certification framework based on the Calculus of Inductive Constructions (CIC) as follows: we first describe methods for representing metamodels and specifications of model transformations as types and then outline principles for representing given transformations, written in a certain transformation language, as functions in CIC. Then properties of these functions are proven, including their correctness with respect to sufficiently expressive specifications, thereby providing a semiformal way to verify the original transformations. We carry out a concrete case taken from an on-line base of basic examples and patterns of use of the ATL transformation language, implementing it on machine using the Coq proof assistant." [Abstract]
Referencias bibliográficas:
Incluye Bibliografía.
Título serie:
Documento de Investigación / ; n.8
Ubicación física:
005.13 / CALe
Tipo de material:
[Material Impreso]

Archivos asociados:

Archivo Tamaño Formato
Acceda al texto completo N/A application/pdf