A model-based development approach for model transformations
From MaRDI portal
Recommendations
- On the Specification and Verification of Model Transformations
- Model-Driven Development of Model Transformations
- UML model transformation and its application to MDA technology
- Grammar-based model transformations: definition, execution, and quality properties
- scientific article; zbMATH DE number 2016069
Cited in
(44)- Language support for model-driven software development
- scientific article; zbMATH DE number 2016069 (Why is no real title available?)
- Model transformation as a mechanism for the implementation of domain specific transformation languages
- A formal verification technique for behavioural model-to-model transformations
- Variability-based model transformation: formal foundation and application
- Visual modelling and analysis of model transformations based on graph transformation
- A framework for model transformation verification
- An algebraic semantics for MOF
- Termination Analysis of Model Transformations by Petri Nets
- Aspect-oriented model-driven skeleton code generation: a graph-based transformation approach
- scientific article; zbMATH DE number 1946737 (Why is no real title available?)
- Grammar-based model transformations: definition, execution, and quality properties
- Model transformations in MT
- Pattern-based rewriting through abstraction
- Towards verifying model transformations
- Refinement and verification in component-based model-driven design
- scientific article; zbMATH DE number 2088775 (Why is no real title available?)
- RCOS: a formal model-driven engineering method for component-based software
- scientific article; zbMATH DE number 2242481 (Why is no real title available?)
- A type-theoretic framework for certified model transformations
- Pattern-based genetic model refinements in MDA
- Domain-specific semantics and data refinement of object models
- Towards lightweight checks for mass maintenance transformations
- Algorithmic support for model transformation in object-oriented software development
- Model-Driven Development of Model Transformations
- UML model transformation and its application to MDA technology
- Model transformations across views
- A multi-dimensional separation of concerns approach for model driven process framework
- Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract
- Traceability mappings as a fundamental instrument in model transformations
- Constraint validation support in visual model transformation systems
- A reification calculus for model-oriented software specification
- The use of development models for improvement of software maintenance
- On the interoperability of model-to-model transformation languages
- Towards the flexible reuse of model transformations: a formal approach based on graph transformation
- Measuring characteristics of models and model transformations using ontology and graph rewriting techniques
- Controlling reuse in pattern-based model-to-model transformations
- Simplified infrastructure for the transformation of XML models
- scientific article; zbMATH DE number 1931787 (Why is no real title available?)
- A weaving framework for model fransformation
- Refinement via consistency checking in MDA
- \textit{RuleMerger}: automatic construction of variability-based model transformation rules
- Meaningful models. A research agenda on model-driven engineering
- Model transformation and induced instance migration: a universal framework
This page was built for publication: A model-based development approach for model transformations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2894550)
