Artículo
|
Definición formal de la semántica de UML-OCL a través de su traducción a Object-Z :
|
Becker, Valeria
|
(2003)
|
|
----------
|
Artículo
|
Formalizing the model transformation using metamodeling techniques :
|
Neil, Carlos Gerardo
|
(2004)
|
|
----------
|
Tesis
|
Herramienta para automatizar la transformación UML/OCL a Object-Z:
|
Becker, Valeria
|
(2006)
|
Sala
|
----------
|
Artículo
|
Herramientas CASE para la validación de modelos UML a través de invariantes OCL :
|
Pesce, Pablo
|
(2004)
|
|
----------
|
Tesis
|
Impacto de reglas de refactorización en diagramas UML, con restricciones OCL:
|
Scolari, Santiago
|
(2010)
|
Sala
|
----------
|
Tesis
|
Implementación de técnicas de evaluación y refinamiento para OCL 2.0 sobre múltiples lenguajes basados en MOF:
|
García, Carlos Diego
|
(2008)
|
Sala
|
----------
|
Artículo
|
Improving the OCL semantics definition by applying dynamic meta modeling and design patterns :
|
Chiaradía, Juan Martín
|
(2006)
|
|
----------
|
Tesis
|
Lenguajes formales y derivación automática de código de pruebas a partir de modelos de software con restricciones OCL:
|
Rosenfeld, Ilan
|
(2015)
|
Sala
|
----------
|
Tesis
|
Representación de espacios indoor utilizando la herramienta de desarrollo de metamodelos ADOxx
|
Poch, Karen
|
(2015)
|
Sala
|
----------
|
Tesis
|
Verificación de modelos independientes de la plataforma: un caso de estudio
|
Actis, Carolina Inés
|
(2017)
|
Sala
|
----------
|