Search

Now showing items 1-7 of 7

An open visualization framework for metamodel-based modeling languages

Domokos P; Varró, Dániel (2002)

VIATRA: Visual Automated Transformations for Formal Verification and Validation of UML Models

Csertán, György; Huszerl, Gábor; Majzik, István; Pap Zs; Pataricza, András; Varró, Dániel (IEEE Press, 2002)

Designing The Automatic Transformation of Visual Languages

Varró, Dániel; Varró, Gergely György; Pataricza, András (2002)

A formal semantics of UML statecharts by model transition systems

Varró, Dániel (2002)

Graph transformation with time: Causality and logical clocks

Varró-Gyapay, Szilvia; Heckel R; Varró, Dániel (2002)

Automatic Program Generation for and by Model Transformation Systems

Varró, Dániel (2002)

Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models

Varró, Dániel; Pataricza, András (2002)