Abstract:Generative AI enables rapid "vibe coding" and agentic software engineering, where natural-language prompts yield working software systems. This lowers barriers to software creation, but it also collapses the boundary between prototypes and engineered software. Systems that appear complete may lack robustness, security, and maintainability. We argue that this shift motivates a renewed role for software models. Rather than serving only as upfront blueprints, models can be recovered from AI-generated systems, used to restore comprehension, and refined to guide subsequent evolution. We distinguish an agentic loop, in which recovered models support automated checking and repair, from a human reflective loop, in which models expose assumptions for inspection and revision. We identify candidate model types and illustrate how recovered models can expose implicit assumptions as possible constraints for review and validation. This paper positions software models as a bridge between current software engineering practice and model-based reasoning in AI-driven development.
From: Jürgen Cito [view email]
[v1]
Tue, 4 Nov 2025 11:03:31 UTC (531 KB)
[v2]
Tue, 11 Nov 2025 10:16:16 UTC (517 KB)
[v3]
Thu, 27 Aug 2026 12:05:09 UTC (94 KB)
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。