Publication | Closed Access

Formalizing the structural semantics of domain-specific modeling languages

EngineeringAutomated ReasoningFormal MethodsSemanticsStructural SemanticsDomain ModelDomain-specific ModelingSoftware DesignDomain-specific Is Engineering