Hibatűrő Rendszerek Kutatócsoport
Méréstechnika és Információs Rendszerek Tanszék
Elsődleges linkek
Kezdőlap
Események
Oktatás
Specializációválasztás
BSc tárgyak (Új képzés)
MSc tárgyak (Új képzés)
Önálló munka
Választható tárgyak
Doktori tárgyak
Korábbi tárgyak
Kutatás
Kutatási területek
Alkalmazási területek
Projektek
Eszközök
Publikációk
Hallgatóink sikerei
Kari TDK eredmények
Országos TDK eredmények
Magunkról
Munkatársak
Megközelítés
Partnereink
IBM Center of Advanced Studies
Primary Links
Keresés a webhelyen:
model transformation
The Model Transformation Language of the {VIATRA2} Framework
abstract state machines
graph transformation
model transformation
Viatra
Varró, D.
, and
Balogh, A.
,
"
The Model Transformation Language of the {VIATRA2} Framework
",
Science of Computer Programming
, vol. 68, no. 3, pp. 214–234, October, 2007.
BibTex
Automating Model Transformation by Example Using Inductive Logic Programming
by-example synthesis
inductive logic programming
model transformation
Viatra
Varró, D.
, and
Balogh, Z.
,
"
Automating Model Transformation by Example Using Inductive Logic Programming
",
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC 2007), Seoul, Korea, March 11-15, 2007
: ACM Press, pp. 978-984, 2007.
BibTex
Model Transformation by Example
model transformation
transformation rule derivation
Varró, D.
,
"
Model Transformation by Example
",
Proc. Model Driven Engineering Languages and Systems (MODELS 2006)
, vol. 4199, Genova, Italy, Springer, pp. 410–424, 2006.
BibTex
Tool Integration by Model Transformations based on the {Eclipse Modeling Framework}
Eclipse
graph transformation
model transformation
tool integration
Ehrig, K.
,
Taentzer, G.
, and
Varró, D.
,
"
Tool Integration by Model Transformations based on the {Eclipse Modeling Framework}
",
EASST Newsletter
, vol. 12, 2006.
BibTex
Termination Analysis of Model Transformations by {Petri} Nets
graph transformation
model transformation
Petri nets
termination
Varró, D.
,
Varró-Gyapay, S.
,
Ehrig, H.
,
Prange, U.
, and
Taentzer, G.
,
"
Termination Analysis of Model Transformations by {Petri} Nets
",
Proc. Third International Conference on Graph Transformation (ICGT 2006)
, vol. 4178, Natal, Brazil, Springer, pp. 260–274, 2006.
BibTex
Compiling Model Transformations to {EJB3}-Specific Transformer Plugins
abstract state machines
EJB 3.0
graph transformation
model transformation
platform-specific transformers
Balogh, A.
,
Varró, G.
,
Varró, D.
, and
Pataricza, A.
,
"
Compiling Model Transformations to {EJB3}-Specific Transformer Plugins
",
ACM Symposium on Applied Computing –- Model Transformation Track (SAC 2006)
, Dijon, France, ACM Press, pp. 1288-1295, April, 2006.
BibTex
Applying a Model Transformation Taxonomy to Graph Transformation Technology
graph transformation
MDA
MDD
MDE
model transformation
taxonomy
Mens, T.
,
Gorp, P V.
,
Karsai, G.
, and
Varró, D.
,
"
Applying a Model Transformation Taxonomy to Graph Transformation Technology
",
GraMot 2005, International Workshop on Graph and Model Transformations
, vol. 152: Elsevier, pp. 143–159, 2006.
BibTex
Model Driven Software Engineering
graph transformation
Model Driven Engineering
model transformation
Grunske, L.
,
Geiger, L.
,
Zündorf, A.
,
Van Eetvelde, N.
,
Gorp, P V.
, and
Varró, D.
,
Model Driven Software Engineering
,
: Springer, pp. 91–118, 2005.
BibTex
Generic and Meta-Transformations for Model Transformation Engineering
generic transformation
meta-transformation
metamodeling
model transformation
Varró, D.
, and
Pataricza, A.
,
"
Generic and Meta-Transformations for Model Transformation Engineering
",
Proc. UML 2004: 7th International Conference on the Unified Modeling Language
, vol. 3273, Lisbon, Portugal, Springer, pp. 290–304, October 10–15, 2004.
BibTex
{VPM}: A visual, precise and multilevel metamodeling framework for describing mathematical domains and {UML}
formal semantics
graph transformation
metamodeling
model transformation
refinement
Varró, D.
, and
Pataricza, A.
,
"
{VPM}: A visual, precise and multilevel metamodeling framework for describing mathematical domains and {UML}
",
Journal of Software and Systems Modeling
, vol. 2, no. 3: Springer, pp. 187–210, October, 2003.
BibTex
1
2
következő ›
utolsó »
Nyelvek
BME Címtár belépés
Belépés
Felhasználói név:
*
Jelszó:
*
Leírások
Dokumentáció és mérési jegyzőkönyvek készítése
Házi feladatok és jegyzőkönyvek leadása
IT szolgáltatások
Egyéb leírások
Navigáció
Conference materials