Formal methods are mathematically based techniques for the rigorous development of
software-intensive systems. The railway signaling domain is a field in which formal methods …

Abstract Development of critical systems nowadays is hardly achievable without reuse of
previous knowledge. Design patterns have an important role in the design of such systems …

The development of distributed computing systems involves complex concerns related to
integrating numerous communication styles, technologies (Internet of Things, cloud, big …

The increasing popularity of model-based and low-code platforms has raised the need to
understand large models–especially in industrial settings. However, current approaches …

Abstract Safety Instrumented Systems (SIS) act as crucial safety barriers for preventing
hazardous accidents in the industrial systems. It is therefore of primary importance to study …

Several development approaches have been proposed to handle the growing complexity of
software system design. The most popular methods use models as the main artifacts to …

This paper presents a pattern language for developing Object-Oriented Bayesian Networks
(OOBN), as a member of the component-based probabilistic models family, to tackle …

Empirical studies on formal methods and tools are rare. In this paper, we provide guidelines
for such studies. We mention their main ingredients and then define nine different study …

Gamification is defined as the injection of game elements in applications with non-gaming
purposes. This technique has shown outstanding results in promoting the engagement and …

ABZ and other state-based formal methods and tools are successfully applied to the
development of safety-critical systems for decades now, in particular in the transport domain …