Everyone in our lab is free to work on what they want to work on. Encouragement and constructive feed back is always available.
Tagged by "Model Transformation"
Tools
Publications
- Feature-based survey of model transformation approaches
- Correcting Clafer Models with Automated Analysis
- Mechanics of Megamodeling: Design Patterns and Laws
- Towards Category Theory Foundations for Model Management
- Towards generic formal semantics for consistency of heterogeneous multimodels
- Traceability Mappings as a Fundamental Aspect of Model-to-Model Transformations
- 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
