Search

Now showing items 1-8 of 8

Graph transformation with time

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

Modeling and Validation of Service-Oriented Architectures: Application vs. Style

Baresi L; Heckel R; Thöne S; Varró, Dániel (ACM Press, 2003)

Towards symbolic analysis of visual modeling languages

Varró, Dániel (2003)

Nyílt SVG alapú keretrendszer

P Domokos; Varró, Dániel (Erdélyi Múzeum-Egyesület (EME), 2003)

VPM: A visual and precise multilevel metamodeling framework describing mathematical domains and UML

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

Automated Formal Verification of Model Transformations

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

Modeling and Analysis of Architectural Styles Based on Graph Transformation

L Baresi; R Heckel; S Thöne; Varró, Dániel (2003)

CheckVML: A tool for model checking visual modeling languages

Schmidt A; Varró, Dániel (2003)