Artículo
|
Formalizing the model transformation using metamodeling techniques :
|
Neil, Carlos Gerardo
|
(2004)
|
|
----------
|
Tesis
|
Generación de micromundos para transformaciones de modelos:
|
Castro Manacero, María Noel
|
(2007)
|
Sala
|
----------
|
Artículo
|
Generalization relation in UML model elements :
|
Pons, Claudia Fabiana
|
(2002)
|
|
----------
|
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)
|
|
----------
|
Artículo
|
Heuristics on the definition of UML refinement patterns :
|
Pons, Claudia Fabiana
|
(2006)
|
|
----------
|
Tesis
|
Impacto de reglas de refactorización en diagramas UML, con restricciones OCL:
|
Scolari, Santiago
|
(2010)
|
Sala
|
----------
|
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
|
----------
|
Apunte de cátedra
|
Metodologías de Programación. Curso 2004
|
Rossi, Gustavo Héctor
|
(2004)
|
|
----------
|
Artículo
|
Model evolution and system evolution :
|
Pons, Claudia Fabiana
|
(2000)
|
|
----------
|