Automated software engineering increasingly relies on behavioral models derived from execution logs to support runtime monitoring, predictive analysis, and formal verification. However, constraints derived from such models may be unsuitable for strict runtime enforcement. We investigate this issue in constraint-aware n...
Natalia Dybczak, Jagoda Flejmer, Radosław Klimek· Proceedings of the 8th Inter...· 0 citations
A workflow-driven multi-agent architecture that coordinates specialised RE capabilities through explicit workflow states and structured artefacts, with human clarification and validation as explicit control points is presented.
Radosław Klimek· Proceedings of the 2nd Inter...· 0 citations
This vision paper argues that trustworthy AI-assisted software engineering requires behavioural accountability: making implicit assumptions explicit, surfacing behavioural violations, and producing auditable evidence for developers and CI pipelines.
Radosław Klimek· Proceedings of the 1st Inter...· 0 citations
AI assistants are increasingly used to support behavioural modelling from natural-language requirements, yet they provide little assurance that the resulting models are logically coherent. We argue that this limitation stems not only from the capabilities of large language models but also from the absence of explicit r...
Radosław Klimek· Proceedings of the ACM/IEEE...· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
