Cloud-based modeling in IoT domain: a survey, open challenges and opportunities
The current evolution of cloud-based computing opens up a lot of possibilities for software
development. In the near future, complex systems in various domains such as Space …
development. In the near future, complex systems in various domains such as Space …
Pragmatic verification and validation of industrial executable SysML models
Abstract In recent years, Model‐Based Systems Engineering (MBSE) practices have been
applied in various industries to design, simulate and verify complex systems. The verification …
applied in various industries to design, simulate and verify complex systems. The verification …
Querying and annotating model histories with time-aware patterns
A García-Domínguez, N Bencomo… - 2019 ACM/IEEE …, 2019 - ieeexplore.ieee.org
Models are not static entities: they evolve over time due to changes. Changes may
inadvertently and surprisingly violate constraints imposed. Therefore, the models need to be …
inadvertently and surprisingly violate constraints imposed. Therefore, the models need to be …
Towards the next generation of reactive model transformations on low-code platforms: three research lines
B Horváth, Á Horváth, M Wimmer - Proceedings of the 23rd ACM/IEEE …, 2020 - dl.acm.org
Low-Code Development Platforms have emerged as the next-generation, cloud-enabled
collaborative platforms. These platforms adopt the principles of Model-Driven Engineering …
collaborative platforms. These platforms adopt the principles of Model-Driven Engineering …
Model checking as a service: towards pragmatic hidden formal methods
Executable models can be used to support all engineering activities in Model-Based
Systems Engineering. Testing and simulation of such models can provide early feedback …
Systems Engineering. Testing and simulation of such models can provide early feedback …
EOQ: An open source interface for a more DAMMMMN domain-specific model utilization
B Annighoefer, M Brunner, B Luettig… - 2021 ACM/IEEE …, 2021 - ieeexplore.ieee.org
Determinism, automation, multi-element, multi-model, multi-computer, multi-user support
and neutrality (DAMMMMN) are in our opinion important qualities of domain-specific …
and neutrality (DAMMMMN) are in our opinion important qualities of domain-specific …
Open source domain-specific model interface and tool frameworks for a digital avionics systems development process
B Annighoefer, M Brunner - 2021 IEEE/AIAA 40th Digital …, 2021 - ieeexplore.ieee.org
Domain-specific tools and models are used in many avionics development processes, and
allow us to capture knowledge about a certain activity in the most appropriate format by …
allow us to capture knowledge about a certain activity in the most appropriate format by …
Advanced discovery mechanisms in model repositories
As model‐driven engineering gains traction and poses as the new paradigm for software
engineering, it raises a need for efficient approaches and tools to manage, discover, and …
engineering, it raises a need for efficient approaches and tools to manage, discover, and …
Scalable and Extensible Cloud-Based Low-Code Model Repository
A Indamutsa - 2023 - tesidottorato.depositolegale.it
Low-code development platforms (LCDPs) are becoming increasingly common in the
software industry. By leveraging visual diagrams, dynamic graphical user interfaces, and …
software industry. By leveraging visual diagrams, dynamic graphical user interfaces, and …
Low-Code Engineering for the Internet of Things
F Ihirwe - Available at SSRN 4539001, 2023 - papers.ssrn.com
Abstract The Internet of Things (IoT) technologies are often seen as being the main drivers of
the current technological revolution, which devotes the most priority to improving the well …
the current technological revolution, which devotes the most priority to improving the well …