AbstractUMOSU/UMOKWAI — Foundational Phenomena and Domains of Complexity: What an AI Needs to Answer Reliably**This deposit collects the first systematic, phenomenon-by-phenomenon analysis conducted within the UMOSU/UMOKWAI ontological and epistemic-operational model. The model classifies reality through six foundation...
Marco Falsetti· Zenodo (CERN European Organi...· 0 citations
As Large Language Models (LLMs) are increasingly used as a primary source of information and advice, understanding their alignment to humans in terms of values becomes a pressing concern. A growing literature has leveraged large scale surveys to investigate to what extent LLMs'and humans'stated values and opinions alig...
Maria-Louisa Wightman, Guillaume Bied, T. De Bie· Proceedings of the AAAI/ACM...· 0 citations
The state of the art in AI for requirements engineering research leading up to the transformation, before reviewing advances in LLMs, and two subsequent research areas: prompt programming and generalist SE agents, which combine multiple LLM advances to yield semi-autonomous processes that complete SE tasks.
Travis D. Breaux, Anmol Singhal· Requirements Engineering· 0 citations
The need for custom validation capabilities to ensure that models produced by both humans and LLMs are trustworthy enough to serve as the foundation of the MBSE ecosystem is addressed.
Á. Tóth, Levente Bajczi, Ármin Zavada et al.· Proceedings of the ACM/IEEE...· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
OntoSTL defines a bidirectional transformation between STL and OWL and applies equivalence-preserving canonicalization rules, including implication elimination, supported Negation Normal Form (NNF) conversion, Boolean simplification, associative flattening, and deterministic operand ordering.
Haitham Al-Shami, Riku Ala-Laurinaho, Xin-Yi Tu et al.· Proceedings of the ACM/IEEE...· 0 citations
Business Process Modeling (BPM) is a key and complex activity in Software and Systems Engineering. As a consequence, any relevant assistance integrated into the BPM tooling can be highly beneficial. Historically, Natural Language Processing (NLP) techniques have already been used in this context. However, the recent de...
Andrey Sadovykh, Loay Chlih, Bilal Said et al.· Proceedings of the ACM/IEEE...· 0 citations
Effective model-driven engineering of software-intensive systems relies on appropriately designed conceptual modeling languages. A well-designed modeling language includes a set of concepts that users of the language find to be relevant for describing phenomena of interest in a domain, as well as a vocabulary of lexica...
Ghazal Rafati, Anthony Romanliello, S. Liaskos· Proceedings of the ACM/IEEE...· 0 citations
The results suggest that LCPs with integrated AI enhance development efficiency and predictability compared to traditional LCPs and purely AI-assisted development.
L. Hofmann, Philipp Wieber, Gabriele Taentzer· Proceedings of the ACM/IEEE...· 0 citations
Large Language Models are increasingly used to generate structured engineering artifacts, yet the instruction artifacts that govern this generation are rarely treated as modeling artifacts in their own right. They typically appear as monolithic prompt blocks, schemas, or informal examples. When tools, metamodels, APIs,...
Louis Burk, Alexander Fischer, Christoph Scharnagl et al.· Proceedings of the ACM/IEEE...· 0 citations
Model-driven engineering (MDE) excels at ensuring architectural consistency and managing complexity, yet extending generated code skeletons with project-specific business logic often remains a time-consuming manual task. Conversely, large language models (LLMs) offer immense flexibility in coding but may produce vibe-c...
Jörg Christian Kirchhof, Lukas Netz, Dennis Mertens et al.· Proceedings of the ACM/IEEE...· 0 citations
Among the assistance systems proposed in Model-Driven Engineering (MDE), recommender systems continuously monitor modeling activities and dynamically provide modeling suggestions to engineers. The recent emergence of Large Language Models (LLMs) has led to the integration of these artificial intelligence components int...
Bastien Sultan, L. Apvrille· Proceedings of the ACM/IEEE...· 0 citations
Fast Healthcare Interoperability Resources (FHIR) is a rapidly emerging and inherently model-driven technology in medical informatics. Its complexity makes it a prime candidate for Model-Driven Engineering (MDE). This paper reports on our experience applying progressively richer MDE techniques to FHIR testing within Au...
Jörn Guy Süß, Michael John Osborne· Proceedings of the ACM/IEEE...· 0 citations
