Mostrando 1 - 8 resultados de 8 para la búsqueda [ Szasz, Nora ] Filtros
  1. 1
    Reporte técnico Behavioral refinements of UML-statecharts Szasz, Nora - Vilanova, Pedro
    2010
    Universidad de la República
  2. 2
    Reporte técnico An institution for UML 2.0 state machines Calegari García, Daniel - Szasz, Nora
    2011
    Universidad de la República
    Otros Autores: “…Szasz, Nora…”
  3. 3
    Reporte técnico Institution-based semantics for MOF and QVT-relations :Extended version Calegari, Daniel - Szasz, Nora
    2013
    Universidad de la República
    Otros Autores: “…Szasz, Nora…”
  4. 4
    Reporte técnico Internal program extraction in the calculus of inductive constructions Severi, Paula - Szasz, Nora
    2002
    Universidad de la República
    Otros Autores: “…Szasz, Nora…”
  5. 5
    Reporte técnico Verification of model transformations : A survey of the state-of-the-art (Extended version) Calegari, Daniel - Szasz, Nora
    2012
    Universidad de la República
    Otros Autores: “…Szasz, Nora…”
  6. 6
    Reporte técnico Representation of metamodels using inductive types in a type-theoretic framework for MDE Calegari García, Daniel - Luna, Carlos - Szasz, Nora - Tasistro, Alvaro
    2010
    Universidad de la República
    Otros Autores:
  7. 7
    Reporte técnico Experiment with a type-theoretic approach to the verification of model transformations Calegari, Daniel - Luna, Carlos - Szasz, Nora - Tasistro, Álvaro
    2009
    Universidad ORT Uruguay
    Otros Autores:
  8. 8
    Reporte técnico A type-theoretic framework for certified model transformations Calegari, Daniel - Luna, Carlos - Szasz, Nora - Tasistro, Álvaro
    2010
    Universidad ORT Uruguay
    Otros Autores: