Ulyana Tikhonova
Cited by
Cited by
Applying Model Transformation and Event-B for Specifying an Industrial DSL.
U Tikhonova, M Manders, M van den Brand, S Andova, T Verhoeff
MoDeVVa@ MoDELS, 41-50, 2013
Reusable specification templates for defining dynamic semantics of DSLs
U Tikhonova
Software & Systems Modeling 18 (1), 691-720, 2019
Constraint-based run-time state migration for live modeling
U Tikhonova, J Stoel, T Van Der Storm, T Degueule
Proceedings of the 11th ACM SIGPLAN International Conference on Software …, 2018
Visualization of formal specifications for understanding and debugging an industrial DSL
U Tikhonova, M Manders, R Boudewijns
Federation of International Conferences on Software Technologies …, 2016
Designing and describing QVTo model transformations
U Tikhonova, T Willemse
2015 10th International Joint Conference on Software Technologies (ICSOFT) 1 …, 2015
Engineering the dynamic semantics of domain specific languages
U Tikhonova
Technische Universiteit Eindhoven, 2017
Documenting and designing QVTo model transformations through mathematics
U Tikhonova, T Willemse
ICSOFT, 349-364, 2015
A framework for defining the dynamic semantics of DSLs
U Tikhonova
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
Event-B Specification Templates for Defining Domain Specific Languages
U Tikhonova
Developer Workshop, 2016, 7, 2016
Model Transformations and Event-B for Specifying an Industrial DSL
U Tikhonova
Automata Based Method for Domain-specific Languages Definition
U Tikhonova
1 st Doctoral Symposium, 21, 0
The system can't perform the operation now. Try again later.
Articles 1–11