Search

Filters

Use filters to refine the search results.

Now showing items 1-4 of 4

Experiment with a type-theoretic approach to the verification of model transformations

Calegari, Daniel; Luna, Carlos; Szasz, Nora; Tasistro, Álvaro (Universidad ORT Uruguay. Facultad de Ingeniería, 2009)
Especificación del comportamiento de líneas de productos mediante modelos de funcionalidades y máquinas de estados con variabilidades

Luna, Carlos; González, Ariel (Universidad ORT Uruguay. Facultad de Ingeniería, 2007)
Extended UML stratecharts and product lines

González, Ariel; Luna, Carlos (Universidad ORT Uruguay. Facultad de Ingeniería, 2009)
A type-theoretic framework for certified model transformations

Calegari, Daniel; Luna, Carlos; Szasz, Nora; Tasistro, Álvaro (Universidad ORT Uruguay. Facultad de Ingeniería, 2010)

Now showing items 1-4 of 4