Conflict and dependency analysis (CDA) of graph transformation has been shown to be a
versatile foundation for understanding interactions in many software engineering domains …

We increasingly live in cyber-physical spaces: spaces that are both physical and digital, and
where the two aspects are intertwined. Cyber-physical spaces may exhibit a range of …

Optimal support for continuous evolution in model-based software development requires
tool environments to be customisable to domain-specific modelling languages. An important …

Visual contracts model the operations of classes, components or services by pre-and post-
conditions formalised as graph transformation rules. They provide a precise but intuitive …

Visual contracts model the operation of components or services by pre-and post-conditions
formalised as graph transformation rules. They provide a precise intuitive notation to support …

Visual contracts model the operations of components or services by pre-and post-conditions
formalised as graph transformation rules. They provide a precise intuitive notation to support …