Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,151,373 papers from all fields of science
Search
Sign In
Create Free Account
VIATRA
The VIATRA (VIsual Automated model TRAnsformations) framework is the core of a transformation-based verification and validation environment for…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
17 relations
ATLAS Transformation Language
Eclipse
GReAT
Graph rewriting
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Java Refactoring Case: A VIATRA Solution
D. Stein
,
Gábor Szárnyas
,
I. Ráth
TTC@STAF
2015
Corpus ID: 43500597
This paper describes a solution for the extended version of the TTC 2015 Java Refactoring Case. The source code of the solution…
Expand
2009
2009
Model Transformations for Performability Analysis of Service Configurations
László Gönczy
,
Zsolt Déri
,
Dániel Varró
ACM/IEEE International Conference on Model Driven…
2009
Corpus ID: 12285875
As more and more business-critical systems are based upon services deployed over flexible and dynamic platforms like Service…
Expand
2009
2009
BPMN to BPEL case study solution in V IATRA 2
Gábor Bergmann
,
Á. Horváth
2009
Corpus ID: 17582238
Automated model transformations play an important role in modern model-driven system engineering in order to query, derive and…
Expand
2009
2009
TUDOOR - Ein Java Adapter für Telelogic DOORS.
Jae-Won Choi
,
Anna Trögel
,
Ingo Stürmer
2009
Corpus ID: 723674
Im Bereich des Requirements Engineering hat sich DOORS® der Firma Telelogic als Marktführer durchgesetzt. Externe Applikationen…
Expand
Review
2006
Review
2006
The VIATRA 2 Transformation Framework Model Transformation by Graph Transformation
Dániel Varró
,
A. Balogh
,
A. Pataricza
2006
Corpus ID: 15118435
Viatra2 (VIsual Automated model TRAnsformations) is a general-purpose model transformation engineering framework that aims at…
Expand
2006
2006
MODEL BASED DEPLOYMENT OF WEB SERVICES TO STANDARDS-COMPLIANT RELIABLE MIDDLEWARE
László Gönczy
,
János Ávéd
2006
Corpus ID: 17224103
Nowadays, due to the rapid increase in the number of available web services, more and more emphasis is put on their reliability…
Expand
2004
2004
Static Safety Analysis of UML Action Semantics for Critical Systems Development
Zsigmond Pap
,
Dániel Varró
GI Jahrestagung
2004
Corpus ID: 2275452
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable…
Expand
2003
2003
VPM: Mathematics of Metamodeling is Metamodeling Mathematics
Dániel Varró
,
A. Pataricza
2003
Corpus ID: 59807449
As UML 2.0 is evolving into a family of languages with individually specified semantics, there is an increasing need forautomated…
Expand
2002
2002
AUTOMATED PROGRAM GENERATION IN VIATRA
Dániel Varró
2002
Corpus ID: 14483686
Although the Unified Modeling Language (UML) has become the d e facto standard visual modeling language of object–oriented design…
Expand
2001
2001
VISUAL AUTOMATED MODEL TRANSFORMATION
Dániel Varró
2001
Corpus ID: 15764468
During the design process of dependable computer controlled systems the verification process aiming to assess whether the system…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE