Daniel Varro
5 SlideShares 14 Followers
Personal Information
Organization / Workplace
Hungary Hungary
Occupation
Associate professor
Industry
Education
About
I work as an associate professor, and my main research interest is model-driven software and systems engineering with special focus on model transformations used primarily for the design and analysis of embedded systems and Service Oriented Architecture. I am a member of the editorial board of the Software and System Modeling journal (Springer), a PC co-chair of ICMT 2014, FASE 2013 and AGTIVE 2011, and I regularly serve in the programme committees of various international conferences in primarily the field of software engineering and formal methods. I am also active in organizing scientific conferences; by far, the largest project was ETAPS 2008 with almost 700 participants. I am or u...
Contact Details
Tags
model driven engineering generic transformations model transformations higher-order transformations incremental queries; distributed query evaluation; incremental queries; model synchronization derived objects domain specific languages model queries model validation smt-solvers model transformation softare maintenance
See more
Personal Information
Organization / Workplace
Hungary Hungary
Occupation
Associate professor
Industry
Education
About
I work as an associate professor, and my main research interest is model-driven software and systems engineering with special focus on model transformations used primarily for the design and analysis of embedded systems and Service Oriented Architecture. I am a member of the editorial board of the Software and System Modeling journal (Springer), a PC co-chair of ICMT 2014, FASE 2013 and AGTIVE 2011, and I regularly serve in the programme committees of various international conferences in primarily the field of software engineering and formal methods. I am also active in organizing scientific conferences; by far, the largest project was ETAPS 2008 with almost 700 participants. I am or u...
Tags
model driven engineering generic transformations model transformations higher-order transformations incremental queries; distributed query evaluation; incremental queries; model synchronization derived objects domain specific languages model queries model validation smt-solvers model transformation softare maintenance
See more