Nora Szasz

Nora Szasz

Universidad ORT Uruguay - Montevideo / Uruguay
Others
AD Scientific Index ID: 843914
URUGUAY UNIVERSITY
person_outline Nora Szasz's MOST POPULAR ARTICLES
1-) Verification of model transformations: A survey of the state-of-the-artD Calegari, N SzaszElectronic notes in theoretical computer science 292, 5-25, 2013762013
2-) A type-theoretic framework for certified model transformationsD Calegari, C Luna, N Szasz, Á TasistroBrazilian Symposium on Formal Methods, 112-127, 2010502010
3-) Statecharts and Variabilities.N Szasz, P VilanovaVaMoS, 131-140, 2008202008
4-) Alpha-structural induction and recursion for the lambda calculus in constructive type theoryE Copello, Á Tasistro, N Szasz, A Bove, M FernándezElectronic Notes in Theoretical Computer Science 323, 109-124, 2016172016
5-) UML 2.0 interactions with OCL/RT constraintsDC García, MV Cengarle, N Szasz2008 Forum on Specification, Verification and Design Languages, 167-172, 2008162008