This article presents a meticulous literature review that focuses on the integration of
blockchain technology (BCT) into multiagent robotic systems (MARS) for operations …

Mobile and general-purpose robots increasingly support everyday life, requiring
dependable robotics control software. Creating such software mainly amounts to …

Isolating fine-grained business functionalities byboundaries into entities called
microservices is a core activityunderlying microservitization. We define microservitization …

Context Software architecture design creates and documents the high-level structure of a
software system. Such structure, expressed in architectural models, comprises software …

Abstract Model-based robustness testing requires precise and complete behavioral,
robustness modeling. For example, state machines can be used to model software behavior …

Engineering dependable software for mobile robots is becoming increasingly important. A
core asset to engineering mobile robots is the mission specification-a description of the …

Architectural languages (ALs) have attracted much attention as the modeling notations for
specifying and reasoning about important design decisions. In this study, 124 different …

Cyber-physical systems (CPSs) are deemed as the key enablers of next generation
applications. Needless to say, the design, verification and validation of cyber-physical …

This work presents an approach called Ambient-PRISMA for modelling and develo**
distributed and mobile applications. Ambient-PRISMA enriches an aspect-oriented software …

Abstract Context Architecture description languages (ADLs) are a well-accepted approach to
software architecture representation. The majority of well-known ADLs are defined by means …