עקוב אחר
Daniel Varro
Daniel Varro
Professor of Software Engineering at Linköping University / Adjunct Professor at McGill
כתובת אימייל מאומתת בדומיין liu.se
כותרת
צוטט על ידי
צוטט על ידי
שנה
The model transformation language of the VIATRA2 framework‏
D Varró, A Balogh‏
Science of computer programming 68 (3), 214-234, 2007‏
3332007
VIATRA-visual automated transformations for formal verification and validation of UML models‏
G Csertán, G Huszerl, I Majzik, Z Pap, A Pataricza, D Varró‏
Automated Software Engineering, 2002. Proceedings. ASE 2002. 17th IEEE …, 2002‏
3222002
Designing the Automatic Transformation of Visual Language‏
D Varró, A Varró, Gergely Pataricza‏
Science of Computer Programming 44 (2), 205-227, 2002‏
2562002
Model transformation by example‏
D Varró‏
Model Driven Engineering Languages and Systems: 9th International Conference …, 2006‏
2342006
Modeling and validation of service-oriented architectures: Application vs. style‏
L Baresi, R Heckel, S Thöne, D Varró‏
ACM SIGSOFT Software Engineering Notes 28 (5), 68-77, 2003‏
2252003
Generic and meta-transformations for model transformation engineering‏
D Varró, A Pataricza‏
International Conference on the Unified Modeling Language, 290-304, 2004‏
2112004
A research roadmap towards achieving scalability in model driven engineering‏
DS Kolovos, LM Rose, N Matragkas, RF Paige, E Guerra, JS Cuadrado, ...‏
Proceedings of the Workshop on Scalability in Model Driven Engineering, 1-10, 2013‏
2072013
VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML (The Mathematics of Metamodeling is Metamodeling Mathematics)‏
D Varró, A Pataricza‏
Software & Systems Modeling 2, 187-210, 2003‏
2012003
Survey and classification of model transformation tools‏
N Kahani, M Bagherzadeh, JR Cordy, J Dingel, D Varró‏
Software & Systems Modeling 18, 2361-2397, 2019‏
1912019
Termination criteria for model transformation‏
H Ehrig, K Ehrig, J De Lara, G Taentzer, D Varró, S Varró-Gyapay‏
Fundamental Approaches to Software Engineering: 8th International Conference …, 2005‏
1882005
Advanced model transformation language constructs in the VIATRA2 framework‏
A Balogh, D Varró‏
Proceedings of the 2006 ACM symposium on Applied computing, 1280-1287, 2006‏
1872006
EMF-IncQuery: An integrated development environment for live model queries‏
Z Ujhelyi, G Bergmann, Á Hegedüs, Á Horváth, B Izsó, I Ráth, Z Szatmári, ...‏
Science of Computer Programming 98, 80-99, 2015‏
1862015
Model transformation by graph transformation: A comparative study‏
G Taentzer, K Ehrig, E Guerra, J De Lara, L Lengyel, T Levendovszky, ...‏
Proc. Workshop Model Transformation in Practice, Montego Bay, Jamaica, 17, 2005‏
1812005
Automated formal verification of visual modeling languages by model checking‏
D Varró‏
Software & Systems Modeling 3, 85-113, 2004‏
1802004
Model checking graph transformations: A comparison of two approaches‏
A Rensink, Á Schmidt, D Varró‏
Graph Transformations: Second International Conference, ICGT 2004, Rome …, 2004‏
1662004
Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework‏
D Varró, G Bergmann, Á Hegedüs, Á Horváth, I Ráth, Z Ujhelyi‏
Software & Systems Modeling 15, 609-629, 2016‏
1652016
A formal semantics of UML statecharts by model transition systems‏
D Varró‏
International Conference on Graph Transformation, 378-392, 2002‏
1642002
Incremental evaluation of model queries over EMF models‏
G Bergmann, Á Horváth, I Ráth, D Varró, A Balogh, Z Balogh, A Ökrös‏
Model Driven Engineering Languages and Systems: 13th International …, 2010‏
1472010
A Model-driven Framework for Guided Design Space Exploration‏
A Hegedüs, A Horváth, I Ráth, D Varró‏
ASE 2011: 26th IEEE Int. Conf on Automated Software Engineering, 2011‏
137*2011
Benchmarking for graph transformation‏
G Varró, A Schurr, D Varró‏
2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2005‏
1362005
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20