Our lab is a very exciting place to learn and work!
Tagged by "Model Transformation"
Publications
- Feature-based survey of model transformation approaches
- Correcting Clafer Models with Automated Analysis
- Mechanics of Megamodeling: Design Patterns and Laws
- Towards generic formal semantics for consistency of heterogeneous multimodels
- From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case
- From Lenses to Tiles: Model Synchronization via Double Categories
- From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case
- Correctness of Model Synchronization Based on Triple Graph Grammars
