Fault Tolerant Systems Research Group
Department of Measurement and Information Systems
Primary Links
Home
Events
Education
Critical Embedded Systems
System Modelling
Software and Systems Verification
Formal Methods
Software Verification and Validation
Research
Research Directions
Application Areas
Projects
Tools
Publications
Authors
Keywords
About Us
Members
Location
Partners and Sponsors
Search this site:
Static Type Checking of Model Transformation Programs
›
Ecore to Genmodel case study solution using the Viatra2 framework
›
A model-driven framework for guided design space exploration
›
Recursive Graph Pattern Matching: With Magic Sets and Global Search Plans
›
Graph Query by Example
›
system verification
Designing the Automatic Transformation of Visual Languages
dependability
graph transformation
model transformation
planner algorithms
system verification
UML
validation
verification
visual languages
XMI
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
graph transformation
model transformation
system verification
UML
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
Languages
BME EduID Sign on
Login
User login
Username:
*
Password:
*
Leírások
Submitting homework and lab assignments
IT Services
Egyéb leírások
Navigation
Conference materials