The concept of typed attributed graph transformation is most significant for modeling and
meta modeling in software engineering and visual languages, but up to now there is no …

A recent emergence of small, resource-constrained, and highly mobile computing platforms
presents numerous new challenges for software developers. We refer to development in this …

Development processes for software construction are common knowledge and mainstream
practice in most development organizations. Unfortunately, these processes offer little …

An adaptive system is able to adapt at runtime to dynamically changing environments and to
new requirements. Adaptive systems can be single adaptive entities or collective ones that …

Petri hypernets, a novel framework for modeling mobile agents based on nets-within-nets
paradigm is presented. Hypernets employ a local and finitary character of interactions …

In distributed and mobile systems with volatile bandwidth and fragile connectivity, non-
functional aspects like performance and reliability become more and more important. To …

UML models consist of several diagrams of different types describing different views of a
software system ranging from specifications of the static system structure to descriptions of …

We describe the development of the KandISTI family of model checkers from its origins
nearly two decades ago until its very recent latest addition. Most progress was made …

To formalize, measure, and predict availability properties, stochastic concepts are required.
Reconfiguration and communication in mobile and distributed environments, where due to …

Graph transformation systems have recently become more and more popular as a general
formal modelling language. It is a suitable formalism for modelling different systems like …