Model-driven engineering for mobile robotic systems: a systematic map** study
GL Casalaro, G Cattivera, F Ciccozzi… - Software and Systems …, 2022 - Springer
Mobile robots operate in various environments (eg aquatic, aerial, or terrestrial), they come
in many diverse shapes and they are increasingly becoming parts of our lives. The …
in many diverse shapes and they are increasingly becoming parts of our lives. The …
Self-adaptive manufacturing with digital twins
T Bolender, G Bürvenich, M Dalibor… - … for adaptive and self …, 2021 - ieeexplore.ieee.org
Digital Twins are part of the vision of Industry 4.0 to represent, control, predict, and optimize
the behavior of Cyber-Physical Production Systems (CPPSs). These CPPSs are long-living …
the behavior of Cyber-Physical Production Systems (CPPSs). These CPPSs are long-living …
Innovations in model-based software and systems engineering
Engineering software and software intensive systems has become increasingly complex
over the last decades. In the ongoing digitalization of all aspects of our lives in almost every …
over the last decades. In the ongoing digitalization of all aspects of our lives in almost every …
Compositional modelling languages with analytics and construction infrastructures based on object-oriented techniques—the MontiCore approach
Composing modelling languages and analysis tools still require significant efforts to properly
consider syntax and semantics as well as related analyses and syntheses. This composition …
consider syntax and semantics as well as related analyses and syntheses. This composition …
[PDF][PDF] Modeling Variability of Hierarchical Component-Based Systems
N Jansen, J Pfeiffer, B Rumpe, D Schmalzing… - jot.fm
The engineering of hierarchically decomposed component-based systems emphasizes the
separation of concerns to reduce development complexity through work distribution and …
separation of concerns to reduce development complexity through work distribution and …
[PDF][PDF] Model Analyses Based on Semantic Differencing and Automatic Model Repair
O Kautz - se-rwth.de
Abstract Models are the primary development artifacts used in model-driven software
development. Therefore, models continuously evolve during the design, development, and …
development. Therefore, models continuously evolve during the design, development, and …
[PDF][PDF] Explainable Quality Assurance of Behavioral Requirements
S Spec - Explainable Software for Cyber-Physical Systems …, 2019 - arxiv.org
Many Requirements Engineering tasks are nowadays supported by tools that either check
the quality of manual RE work or perform RE tasks completely automatic. Examples are …
the quality of manual RE work or perform RE tasks completely automatic. Examples are …
[PDF][PDF] Reusability in Goal Modeling: A Systematic Literature Review-Second Phase Categorizations
MB Duran, G Mussbacher - ece.mcgill.ca
This attachment provides the second phase categorizations for the systematic literature
review in two parts. A complete list of the 168 and 202 publications that fit all of the inclusion …
review in two parts. A complete list of the 168 and 202 publications that fit all of the inclusion …