model transformation

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

Automatic Transformation of {UML} Models for System Verification

Varró, D., Gyapay, S., and Pataricza, A., "Automatic Transformation of {UML} Models for System Verification", WTUML'01: Workshop on Transformations in UML, Genova, Italy, pp. 123–127, April 7th, 2001.

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

Ecore to Genmodel case study solution using the Viatra2 framework

Hegedüs, Á., Ujhelyi, Z., Bergmann, G., and Horváth, Á., "Ecore to Genmodel case study solution using the Viatra2 framework", Transformation Tool Contest (TTC '10), Malaga, Spain, 07/2010.

PDF:

Full text

BibTex

Primary Links

Designing the Automatic Transformation of Visual Languages

Automatic Transformation of {UML} Models for System Verification

Mathematical Model Transformation for System Verification

Ecore to Genmodel case study solution using the Viatra2 framework

Languages

BME EduID Sign on

User login

Leírások

Navigation