graph transformation

Applying a Model Transformation Taxonomy to Graph Transformation Technology

Mens, T., Gorp, P V., Karsai, G., and Varró, D., "Applying a Model Transformation Taxonomy to Graph Transformation Technology", GraMot 2005, International Workshop on Graph and Model Transformations, vol. 152: Elsevier, pp. 143–159, 2006.

BibTex

Model Driven Software Engineering

Grunske, L., Geiger, L., Zündorf, A., Van Eetvelde, N., Gorp, P V., and Varró, D., Model Driven Software Engineering, : Springer, pp. 91–118, 2005.

BibTex

Graph Transformations in Relational Databases

Varró, G., Friedl, K., and Varró, D., "Graph Transformations in Relational Databases", Proc. GraBaTs 2004: International Workshop on Graph Based Tools, Rome, Italy, Elsevier, October, 2004.

BibTex

Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time

Gyapay, S., Schmidt, Á., and Varró, D., "Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time", Proc. GT-VMT 2004, International Workshop on Graph Transformation and Visual Modelling Techniques, vol. 109: Elsevier, pp. 137-147, 2004.

BibTex

Graph Transformation with Incremental Updates

Varró, G., and Varró, D., "Graph Transformation with Incremental Updates", Proc. GT-VMT 2004, International Workshop on Graph Transformation and Visual Modelling Techniques, vol. 109: Elsevier, pp. 71-83, 2004.

BibTex

Graph Transformation with Time

Gyapay, S., Heckel, R., and Varró, D., "Graph Transformation with Time", Fundamenta Informaticae, vol. 58, no. 1, pp. 1–22, November, 2003.

BibTex

{VPM}: A visual, precise and multilevel metamodeling framework for describing mathematical domains and {UML}

Varró, D., and Pataricza, A., "{VPM}: A visual, precise and multilevel metamodeling framework for describing mathematical domains and {UML}", Journal of Software and Systems Modeling, vol. 2, no. 3: Springer, pp. 187–210, October, 2003.

BibTex

Designing the Automatic Transformation of Visual Languages

Varró, D., Varró, G., and Pataricza, A., "Designing the Automatic Transformation of Visual Languages", Science of Computer Programming, vol. 44, no. 2: Elsevier, pp. 205–227, August, 2002.

BibTex

Mathematical Model Transformation for System Verification

Varró, D., and Pataricza, A., Mathematical Model Transformation for System Verification, : Budapest University of Technology and Economics, Dept. of Measurement and Information Systems, June, 2000.

BibTex

Visual Graph Transformation in System Verification

Varró, D., Varró, G., and Pataricza, A., "Visual Graph Transformation in System Verification", DDECS 2000 International IEEE Workshop on the Design and Diagnostics of Electronic Circuits and Systems, Bratislava, Slovakia, pp. 137–141, April 5–7, 2000.

BibTex

Primary Links

Applying a Model Transformation Taxonomy to Graph Transformation Technology

Model Driven Software Engineering

Graph Transformations in Relational Databases

Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time

Graph Transformation with Incremental Updates

Graph Transformation with Time

{VPM}: A visual, precise and multilevel metamodeling framework for describing mathematical domains and {UML}

Designing the Automatic Transformation of Visual Languages

Mathematical Model Transformation for System Verification

Visual Graph Transformation in System Verification

Languages

BME EduID Sign on

User login

Leírások

Navigation