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 |
