Applying model transformation and Event-B for specifying an industrial DSL U Tikhonova, MW Manders, MGJ van den Brand, S Andova, T Verhoeff 10th International Workshop on Model Driven Engineering, Verification and …, 2013 | 22 | 2013 |
Reusable specification templates for defining dynamic semantics of DSLs U Tikhonova Software & Systems Modeling 18, 691-720, 2019 | 13 | 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 | 13 | 2018 |
Visualization of formal specifications for understanding and debugging an industrial DSL U Tikhonova, M Manders, R Boudewijns Software Technologies: Applications and Foundations: STAF 2016 Collocated …, 2016 | 6 | 2016 |
Designing and describing QVTo model transformations U Tikhonova, T Willemse 2015 10th International Joint Conference on Software Technologies (ICSOFT) 1 …, 2015 | 5 | 2015 |
Engineering the dynamic semantics of domain specific languages U Tikhonova | 4 | 2017 |
Documenting and designing QVTo model transformations through mathematics U Tikhonova, T Willemse Software Technologies: 10th International Joint Conference, ICSOFT 2015 …, 2016 | 3 | 2016 |
Transforming an Internal Textual DSL into a Blended Modelling Environment A Mifsud, G Samaritaki, U Tikhonova, J Stoel Proceedings of the 2nd ACM SIGPLAN International Workshop on Programming …, 2023 | 1 | 2023 |
A framework for defining the dynamic semantics of DSLs U Tikhonova Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013 | 1 | 2013 |
Leveraging composability in model-based testing for microservices. B van den Brink, T Zameni, U Tikhonova, L Vinke, AM Oprescu BENEVOL, 2022 | | 2022 |
Event-B Specification Templates for Defining Domain Specific Languages U Tikhonova Developer Workshop, 2016, 7, 2016 | | 2016 |
Automata Based Method for Domain-specific Languages Definition U Tikhonova 1 st Doctoral Symposium, 21, 2010 | | 2010 |
Model Transformations and Event-B for Specifying an Industrial DSL U Tikhonova | | |