This article explores methods to provide computer support for reasoning about graph
transformations. We first define a general framework for representing graphs, graph …

The verification of systems with respect to a desired set of behavioural properties is a crucial
step in increasing our confidence that these systems will correctly function under all …

To harness the power of multi-core and distributed platforms, and to make the development
of concurrent software more accessible to software engineers, different object-oriented …

A number of novel programming languages and libraries have been proposed that offer
simpler-to-use models of concurrency than threads. It is challenging, however, to devise …

Software systems with dynamic topology are often infinite-state. Paradigmatic examples are
those modeled as graph transformation systems (GTSs) with rewrite rules that allow an …

Abstract A Software Product Line is a set of software products that share a number of core
properties but also differ in others. Differences and commonalities between products are …

A number of high-level languages and libraries have been proposed that offer novel and
simple to use abstractions for concurrent, asynchronous, and distributed programming. The …

A Software Product Line is a set of software products that share a number of core properties
but also differ in others. Differences and commonalities between products are typically …

An adaptive system modifies its behaviour in response to changes in its environment or in
the system itself. For the system to be able to perform adaptation, the system engineer must …

This thesis is about a new model querying and transformation approach called FunnyQT
which is realized as a set of APIs and embedded domain-specific languages (DSLs) in the …