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:
model query
Translating OCL to Graph Patterns
graph pattern matching
IncQuery
model query
OCL
Bergmann, G.
,
"
Translating OCL to Graph Patterns
",
ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems, MODELS 2014
, Valencia, Spain, Springer, 2014.
PDF:
Full text
BibTex
Implementing Efficient Model Validation in EMF Tools: Tool Demonstration
EMF
incremental evaluation
model query
model validation
Bergmann, G.
,
Hegedüs, Á.
,
Horváth, Á.
,
Ráth, I.
,
Ujhelyi, Z.
, and
Varró, D.
,
"
Implementing Efficient Model Validation in EMF Tools: Tool Demonstration
",
26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)
, Lawrence, Kansas, USA, IEEE Computer Society, 11/2011.
PDF:
Full text
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
