Listar por Autor Szasz, Nora
Mostrando resultados 1 a 6 de 6
Fecha de publicación | Título | Autor(es) |
2011 | An institution for UML 2.0 state machines | Calegari García, Daniel; Szasz, Nora |
2010 | Behavioral refinements of UML-statecharts | Szasz, Nora; Vilanova, Pedro |
2013 | Institution-based semantics for MOF and QVT-relations :Extended version | Calegari, Daniel; Szasz, Nora |
2002 | Internal program extraction in the calculus of inductive constructions | Severi, Paula; Szasz, Nora |
2010 | Representation of metamodels using inductive types in a type-theoretic framework for MDE | Calegari García, Daniel; Luna, Carlos; Szasz, Nora; Tasistro, Alvaro |
2012 | Verification of model transformations : A survey of the state-of-the-art (Extended version) | Calegari, Daniel; Szasz, Nora |