The formal modeling and analysis is of crucial importance for software development processes following the model based approach. We present the formalism of Int

This book constitutes the refereed proceedings of the 14th International Conference on Graph Transformation, ICGT 2021, which took place virtually during June 2

The analysis of behavioral models is of high importance for cyber-physical systems, as the systems often encompass complex behavior based on e.g. concurrent com

Design and Implementation of service-oriented architectures imposes a huge number of research questions from the fields of software engineering, system analysis

Scrollytellings are an innovative form of web content. Combining the benefits of books, images, movies, and video games, they are a tool to tell compelling stor