Industry 4.0 has led to a dramatic shift in manufacturing processes, which must be
accomplished by interacting end-to-end industrial systems. While Industry 4.0 is still a big …

Broadly defined as the Internet of Things (IoT), the growth of commodity devices that
integrate physical processes with digital systems have changed the way we live, play and …

Many times we are faced with the proliferation of definitions, concepts, languages, and tools
in certain (research) topics. But often there is a gap between what is provided by existing …

Context: Software systems are increasingly required to operate in an open world,
characterized by continuous changes in the environment and in the prescribed …

The Internet of Things (IoT) is a new paradigm consisting of heterogeneous entities that
communicate with each other by sending and receiving messages in heterogeneous formats …

Expert Cloud as a new class of Cloud computing systems by employing the Internet
infrastructures and Cloud computing concepts enables its users to request the skill …

Context Model-driven architecture based testing (MDABT) adopts architectural models of a
system under test and/or its environment to derive test artifacts. In the literature, different …

Context Software architectures can be modeled using semantically informal (ie, ambiguous)
or formal (ie, mathematically precise) software modeling notations. Objective In this paper …

The critical nature of many complex software-intensive systems calls for formal, rigorous
architecture descriptions as means of supporting automated verification and enforcement of …

Dynamic software architectures emerge when addressing important features of
contemporary systems, which often operate in dynamic environments subjected to change …