The digital transformation of society affects all aspects of human life, offering new
opportunities but also creating challenges and risks. More tasks will be automated using …

Many organizations depend on software systems to accomplish their daily tasks, but these
systems need to be maintained and evolved to cope with various changes and …

Abstract The Digital Asset Modelling Language (DAML) enables low-code development of
smart contract applications. Starting from a high-level but textual notation, DAML thus …

In this thesis, we present a formalization of geometric modeling operations as rules from the
theory of graph transformation. First, we investigate the construction of a dedicated rule …

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 …

In this thesis, we present a formalization of geometric modeling operations as rules from the
theory of graph transformation. First, we investigate the construction of a dedicated rule …

Reverse-engineered sequence diagrams are promising tools to comprehend the runtime
behavior of object-oriented programs. To improve the readability and understandability of …

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 …