We are now witnessing the rapid growth of decentralized source code management (DSCM)
systems, in which every developer has her own repository. DSCMs facilitate a style of …

Research into the use of diagrams is an interdisciplinary endeavour, encompassing
disciplines as diverse as psychology, architecture and artificial intelligence. It is also a …

We present Clafer (cla ss, fe ature, r eference), a class modeling language with first-class
support for feature modeling. We designed Clafer as a concise notation for meta-models …

The intensive use of models in model-driven engineering (MDE) raises the need to develop
meta-models with different aims, such as the construction of textual and visual modelling …

An important step in the design of visual languages is the specification of the graphical
objects and the composition rules for constructing feasible visual sentences. The presence …

This paper introduces a formal approach to constraint-aware model transformation which
supports specifying constraints in the definition of transformation rules. These constraints are …

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

Analysis and design of programs by using tools has emerged to a standard technique in
object-oriented software engineering. Many of these tools claim to implement methods …

Metamodelling is one of the pillars of model-driven engineering, used for language
engineering and domain modelling. Even though metamodelling is traditionally based on a …

Package merge allows the content of one package to be combined with that of another
package. Package merge is used extensively in the UML 2 specification to modularize the …