This roadmap paper reports the outcomes of the NII Shonan Seminar No. 232 on Uncertainty Interaction in Software-Intensive Systems (UNISON), held in March 2026 and develops a shared conceptual vocabulary for distinguishing uncertainty sources, propagation, confluence, interaction, and relevance; proposes an abstract wo...
Javier Cámara, R. Mirandola, Kenji Tei et al.· ACM Transactions on Autonomo...· 0 citations
It is demonstrated that VitruviusOCL can express multi-model constraints and specify intended behavior during design space exploration prior to identifying a concrete repair action, thereby making it a valuable part of the engineering process.
Max Oesterle, Arne Lange, Nathan Hagel et al.· Proceedings of the ACM/IEEE...· 1 citation
Uncer-tainTree is presented, an end-to-end process that makes uncertainty a first-class concern of multi-model consistency analysis and includes interacting uncertainties from various sources and models.
Nathan Hagel, Johannes Mäkelburg, M. Armbruster et al.· Proceedings of the ACM/IEEE...· 1 citation
Coding agents often implement changes before users have fully articulated their requirements, echoing a pattern from requirements engineering: stakeholders cannot express a constraint until part of the system exists to react to. This volatility is associated with schedule and budget overruns in traditional projects, bu...
Bo-Wen Jiang, Haowei Cheng, Yu-Hong Fu et al.· 0 citations
JDomInO is presented, a bidirectional synchronization toolchain for tactical DDD that keeps a Java codebase and its domain model connected through a shared metamodel, with the goal of keeping the two in sync as the system evolves.
Wei-Xing Zhang, Mario Herb, W. Cheng et al.· 0 citations
An interdisciplinary network of influencing factors is derived that makes explicit the dependencies between consistency mechanisms, organizational and technical conditions, and key agility outcomes such as responsiveness, transparency, and the realizability of development increments.
Albert Albers, A. Koziolek, Thomas Alexander Voelk et al.· 0 citations
Results indicate that inconsistency scenarios effectively raise awareness of inconsistency-related risks, support self-assessment, and facilitate structured discussion of (in)consistency management in complex CPS development contexts.
Thomas Alexander Voelk, Eva-Maria Grote, Razieh Dehghani et al.· 0 citations
This approach uses LLMs to infer candidate specifications solely from test code and dynamic execution traces: the LLM observes only the program interface, selected inputs, and corresponding outputs or state changes, while the implementation internals remain hidden.
Tian-Hai Liu, Maximilian Müller, Tobias Hey et al.· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
