Publication | Closed Access

A relational approach to defining and implementing transformations between metamodels

EngineeringAutomated ReasoningRelational ApproachDesignFormal MethodsSystems EngineeringSoftware EngineeringModel-based Software DevelopmentModel Transformation LanguageDomain ModelSoftware DesignModel TransformationData ModelingModel Composition