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 …

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 …

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 …

This volume contains the proceedings of the Colloquium in honor of Rocco De Nicola's 70th
birthday, held jointly with the ISOLA 2024's track on REoCAS (Rigorous Engineering of …

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 …

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

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 …