Rewriting logic is a simple computational logic that can naturally express both concurrent
computation and logical deduction with great generality. This paper provides a gentle …

As the complexity and heterogeneity of a system grows, the challenge of specifying,
documenting and synthesizing correct, machine-readable designs increases dramatically …

Embedded systems, with their tight technology integration, and multiple requirements and
stakeholders, are characterized by tightly interrelated processes, information and tools …

Software development often involves a set of models defined in different metamodels, each
model capturing a specific view of the system. We call this set a mutlimodel, and its elements …

Within the Model-Driven Engineering paradigm, software development is based on the
definition of models providing different views of the system to be constructed and model …

There are several well established applications of category theory (CT) in theoretical
computer science; typical examples are programming language semantics and concurrency …

The need for real-time collaborative solutions in model-driven engineering has been
increasing over the past years. Conflict-free replicated data types (CRDT) provide scalable …

Abstract Model management is a central activity in Software Engineering. The most
challenging aspect of model management is to keep inter-related models consistent with …

Abstract Model transformations are used in model-driven development for mechanizing the
interoperability and integration among modeling languages. Due to the graph-theoretic …

This title includes a number of Open Access chapters. Model-driven engineering (MDE) is
the automatic production of software from simplified models of structure and functionality. It …