Cloud-based modeling in IoT domain: a survey, open challenges and opportunities

F Ihirwe, A Indamutsa, D Di Ruscio… - 2021 ACM/IEEE …, 2021 - ieeexplore.ieee.org
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 …

Pragmatic verification and validation of industrial executable SysML models

B Horváth, V Molnár, B Graics, Á Hajdu… - Systems …, 2023 - Wiley Online Library
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 …

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 …

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 …

Model checking as a service: towards pragmatic hidden formal methods

B Horváth, B Graics, Á Hajdu, Z Micskei… - Proceedings of the 23rd …, 2020 - dl.acm.org
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 …

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 …

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 …

Advanced discovery mechanisms in model repositories

A Indamutsa, J Di Rocco, L Almonte… - Software: Practice …, 2024 - Wiley Online Library
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 …

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 …

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 …