Formalization and Rule-Based Transformation of EMF Ecore-Based Models
Abstract elided by the publisher.
Related papers
- Selective Traceability for Rule-Based Model-to-Model Transformations SLE 2022
- Translating grammars to accurate metamodels SLE 2018
- We built the languages. That was the easy part SLE 2026
- Experiences of models@run-time with EMF and CDO SLE 2016
- Towards an In-Context LLM-Based Approach for Automating the Definition of Model Views SLE 2024
- Structural model subtyping with OCL constraints SLE 2017
- Dijkstra monads for free POPL 2017
- REFINITY to Model and Prove Program Transformation Rules APLAS 2020