Model validation is a common activity in model-driven engineering, where a model is
checked against a set of consistency rules (also referred to as constraints) to assess whether …

Textual modeling languages are used in model-driven engineering for a variety of purposes.
Among the most important purposes are querying a model and formulating restrictions like …

Blockchains (BCs) are claimed to have immutability, distributed consensus, established
trust, distributed identity and eternal verifiable, and sound like the ultimate security unim …

The dependency of complex embedded Safety‐Critical Systems across Avionics and
Aerospace domains on their underlying software and hardware components has gradually …

Large-scale systems development commonly faces the challenge of managing relevant
knowledge between different organizational groups, particularly in increasingly agile …

Obtaining a relevant dataset is central to conducting empirical studies in software
engineering. However, in the context of mining software repositories, the lack of appropriate …

Smart architectures are increasingly being used in current software development. Smart
user interfaces, smart homes, or smart buildings are becoming common examples in the …

At the core of model-driven development (MDD) of collaborative embedded systems (CESs)
are models that realize the different participating stakeholders' views of the systems. For …

Abstract Holonic Manufacturing Systems (HMS) constitute an application of multi-agent
systems for the control of manufacturing systems. In comparison with other multi-agent …

Human drivers naturally adapt their behaviour depending on the traffic conditions, such as
the current weather and road type. Autonomous vehicles need to do the same, in a way that …