Contains the keyword model transformation
{VPM}: A visual, precise and multilevel metamodeling framework for describing mathematical domains and {UML}. Journal of Software and Systems Modeling. 2003;2:187-210. Abstract
Designing the Automatic Transformation of Visual Languages. Science of Computer Programming. 2002;44:205-27. Abstract
Automatic Transformation of {UML} Models for System Verification. In: Whittle J, editor. WTUML'01: Workshop on Transformations in UML. Genova, Italy; 2001. p. 123-7. Abstract
Mathematical Model Transformation for System Verification. Budapest University of Technology and Economics, Dept. of Measurement and Information Systems; 2000. Abstract
