The Specification Paradox: Rethinking Requirements Engineering in the Age of AI

• URL: http://arxiv.org/abs/2608.16618v1
• Date: Mon, 17 Aug 2026 14:19:14 GMT
• Title: The Specification Paradox: Rethinking Requirements Engineering in the Age of AI
• Abstract summary: This article discusses the transition from a code-centered paradigm to Specification-Driven Development.<n>We argue that artificial intelligence reduces some of the effort associated with writing source code, but it does not eliminate the complexity of developing professional software systems.<n>We conclude that the future of Software Engineering will depend not only on machines' ability to generate code, but also on humans' ability to correctly specify, evaluate, and evolve what is intended to be built.
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: The growing adoption of Large Language Models (LLMs) in Software Engineering has reinforced the expectation that coding activities can be largely automated. However, this perception may represent yet another historical search for a solution capable of eliminating the inherent challenges of software development. This article discusses the transition from a code-centered paradigm to Specification-Driven Development. We argue that artificial intelligence reduces some of the effort associated with writing source code, but it does not eliminate the complexity of developing professional software systems. Instead, it shifts this complexity toward domain understanding, requirements elicitation, specification development, validation, maintenance, and software evolution. Building on this perspective, we discuss the renewed centrality of Requirements Engineering, considering its implications for productivity and software quality, as well as risks associated with automation bias, ambiguity propagation, Specification Overfitting, and the accumulation of Specification Debt. Finally, we propose the Specification Paradox: the more capable artificial intelligence systems become at automatically generating software, the greater the dependence on correct, complete, verifiable, and explainable human-produced specifications. We conclude that the future of Software Engineering will depend not only on machines' ability to generate code, but also on humans' ability to correctly specify, evaluate, and evolve what is intended to be built.

Related papers

• On Automated and Explainable Provenance of AI-Generated Code [56.818202904805446]
  We argue that the next generation of CodeGenAI tools must be built on a foundation of explainable provenance.<n>We describe a research program combining large-scale empirical studies with post-hoc causal and interpretability techniques.
  arXiv  Detail & Related papers  (2026-08-03T14:50:31Z)
• Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering [0.0]
  Large language models (LLMs) and agentic AI are shifting software engineering from manual coding toward intent specification, architecture, and governance.<n>Two paradigms have emerged: vibe coding, and an intuition-driven approach accepting AI artifacts via observed behavior, and Specification-Driven Development (SDD), which uses structured specifications as the authoritative source of truth.<n>This article makes three contributions. First, it identifies failure modes of ungoverned conversational generation: the productivity-reliability paradox, architectural erosion from limited context, security exposure, and technical debt.<n>Second, it introduces the Specification Governance Reference Model (SGRM), which formalize
  arXiv  Detail & Related papers  (2026-07-18T07:27:02Z)
• Reasoning Beyond Prediction: From Data-Driven to Causal Software Engineering [9.659620367206408]
  We call for a new paradigm of human-machine cooperation.<n>Machines don't just automate routine tasks, but actively amplify engineers' reasoning.<n>As software becomes smarter, a smarter support is needed.
  arXiv  Detail & Related papers  (2026-06-26T11:03:24Z)
• AI-Generated Smells: An Analysis of Code and Architecture in LLM and Agent-Driven Development [1.980498913496519]
  This paper presents a systematic audit of technical debt in AI-generated software.<n>We show that AI does not eliminate flaws but rather introduces a distinct machine signature of defects.<n>We conclude that future progress depends on equipping agents with explicit architectural foresight to ensure the software they build is not just functional, but also maintainable.
  arXiv  Detail & Related papers  (2026-05-04T15:41:13Z)
• Advances and Frontiers of LLM-based Issue Resolution in Software Engineering: A Comprehensive Survey [59.3507264893654]
  Issue resolution is a complex Software Engineering task integral to real-world development.<n> benchmarks like SWE-bench revealed this task as profoundly difficult for large language models.<n>This paper presents a systematic survey of this emerging domain.
  arXiv  Detail & Related papers  (2026-01-15T18:55:03Z)
• Lost in Code Generation: Reimagining the Role of Software Models in AI-driven Software Engineering [1.3124479769761592]
  We argue that this shift motivates a reimagining of software models.<n>Rather than serving only as upfront blueprints, models can be recovered post-hoc from AI-generated code.<n>In this role, models serve as mediators between human intent, AI generation, and long-term system evolution.
  arXiv  Detail & Related papers  (2025-11-04T11:03:31Z)
• Vibe Coding: Toward an AI-Native Paradigm for Semantic and Intent-Driven Programming [0.0]
  This paper introduces vibe coding, an emerging AI-native programming paradigm in which a developer specifies high-level functional intent along with qualitative descriptors of the desired "vibe"<n>An intelligent agent then transforms those specifications into executable software.
  arXiv  Detail & Related papers  (2025-10-09T22:31:53Z)
• Challenges and Paths Towards AI for Software Engineering [55.95365538122656]
  We discuss progress in AI for software engineering in threefold manner.<n>First, we provide a structured taxonomy of concrete tasks in AI for software engineering.<n>Second, we outline several key bottlenecks that limit current approaches.
  arXiv  Detail & Related papers  (2025-03-28T17:17:57Z)
• From Defects to Demands: A Unified, Iterative, and Heuristically Guided LLM-Based Framework for Automated Software Repair and Requirement Realization [44.99833362998488]
  This manuscript signals a new era in the integration of artificial intelligence with software engineering.<n>We present a formalized, iterative methodology proving that AI can fully replace human programmers in all aspects of code creation and refinement.
  arXiv  Detail & Related papers  (2024-12-06T14:54:21Z)
• Agent-Driven Automatic Software Improvement [55.2480439325792]
  This research proposal aims to explore innovative solutions by focusing on the deployment of agents powered by Large Language Models (LLMs) The iterative nature of agents, which allows for continuous learning and adaptation, can help surpass common challenges in code generation. We aim to use the iterative feedback in these systems to further fine-tune the LLMs underlying the agents, becoming better aligned to the task of automated software improvement.
  arXiv  Detail & Related papers  (2024-06-24T15:45:22Z)
• ChatDev: Communicative Agents for Software Development [84.90400377131962]
  ChatDev is a chat-powered software development framework in which specialized agents are guided in what to communicate. These agents actively contribute to the design, coding, and testing phases through unified language-based communication.
  arXiv  Detail & Related papers  (2023-07-16T02:11:34Z)
• Generation Probabilities Are Not Enough: Uncertainty Highlighting in AI Code Completions [54.55334589363247]
  We study whether conveying information about uncertainty enables programmers to more quickly and accurately produce code. We find that highlighting tokens with the highest predicted likelihood of being edited leads to faster task completion and more targeted edits.
  arXiv  Detail & Related papers  (2023-02-14T18:43:34Z)
• Automated Machine Learning: A Case Study on Non-Intrusive Appliance Load Monitoring [81.06807079998117]
  We propose a novel approach to enable Automated Machine Learning (AutoML) for Non-Intrusive Appliance Load Monitoring (NIALM)<n>NIALM offers a cost-effective alternative to smart meters for measuring the energy consumption of electric devices and appliances.
  arXiv  Detail & Related papers  (2022-03-06T10:12:56Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.