Copertina

Spec-Driven Development:From Code to Contract in the Age of AI Coding Assistants

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Piskala, Deepak Babu
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Software Engineering Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

From Everything-is-a-File to Files-Are-All-You-Need: How Unix Philosophy Informs the Design of Agentic AI Systems
di: Piskala, Deepak Babu
Pubblicazione: (2026)

SpecRover: Code Intent Extraction via LLMs
di: Ruan, Haifeng, et al.
Pubblicazione: (2024)

SWE-PRBench: Benchmarking AI Code Review Quality Against Pull Request Feedback
di: Kumar, Deepak
Pubblicazione: (2026)

An Empirical Study of Proactive Coding Assistants in Real-World Software Development
di: Li, Lehui, et al.
Pubblicazione: (2026)

Test-Driven Development for Code Generation
di: Mathews, Noble Saji, et al.
Pubblicazione: (2024)

SpecAgent: A Speculative Retrieval and Forecasting Agent for Code Completion
di: Ma, George, et al.
Pubblicazione: (2025)

AI-Generated Smells: An Analysis of Code and Architecture in LLM and Agent-Driven Development
di: Zhu, Yuecai, et al.
Pubblicazione: (2026)

Rethinking Code Review in the Age of AI: A Vision for Agentic Code Review
di: Kamalı, Hüseyin Özgür, et al.
Pubblicazione: (2026)

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code
di: Petrovic, Nenad, et al.
Pubblicazione: (2025)

Disrupting Test Development with AI Assistants
di: Joshi, Vijay, et al.
Pubblicazione: (2024)

The Kitchen Loop: User-Spec-Driven Development for a Self-Evolving Codebase
di: Roy, Yannick
Pubblicazione: (2026)

SpecMap: Hierarchical LLM Agent for Datasheet-to-Code Traceability Link Recovery in Systems Engineering
di: Nipane, Vedant, et al.
Pubblicazione: (2026)

Teaching Machines to Code: Smart Contract Translation with LLMs
di: Karanjai, Rabimba, et al.
Pubblicazione: (2024)

90% Faster, 100% Code-Free: MLLM-Driven Zero-Code 3D Game Development
di: Yang, Runxin, et al.
Pubblicazione: (2025)

Repository Intelligence Graph: Deterministic Architectural Map for LLM Code Assistants
di: Cherny-Shahar, Tsvi, et al.
Pubblicazione: (2026)

On Developers' Self-Declaration of AI-Generated Code: An Analysis of Practices
di: Kashif, Syed Mohammad, et al.
Pubblicazione: (2025)

SpecBench: Measuring Reward Hacking in Long-Horizon Coding Agents
di: Zhao, Bingchen, et al.
Pubblicazione: (2026)

Envisioning the Next-Generation AI Coding Assistants: Insights & Proposals
di: Nghiem, Khanh, et al.
Pubblicazione: (2024)

CodeTF: One-stop Transformer Library for State-of-the-art Code LLMs
di: Bui, Nghi D. Q., et al.
Pubblicazione: (2023)

Tests as Prompt: A Test-Driven-Development Benchmark for LLM Code Generation
di: Cui, Yi
Pubblicazione: (2025)

AI-Assisted Assessment of Coding Practices in Modern Code Review
di: Vijayvergiya, Manushree, et al.
Pubblicazione: (2024)

From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification
di: Erfan, Md, et al.
Pubblicazione: (2026)

Contract-Coding: Towards Repo-Level Generation via Structured Symbolic Paradigm
di: Lin, Yi, et al.
Pubblicazione: (2026)

Using AI-Based Coding Assistants in Practice: State of Affairs, Perceptions, and Ways Forward
di: Sergeyuk, Agnia, et al.
Pubblicazione: (2024)

"My productivity is boosted, but ..." Demystifying Users' Perception on AI Coding Assistants
di: Lyu, Yunbo, et al.
Pubblicazione: (2025)

AppForge: From Assistant to Independent Developer -- Are GPTs Ready for Software Development?
di: Ran, Dezhi, et al.
Pubblicazione: (2025)

On the Adoption of AI Coding Agents in Open-source Android and iOS Development
di: Khan, Muhammad Ahmad, et al.
Pubblicazione: (2026)

AI Code in the Wild: Measuring Security Risks and Ecosystem Shifts of AI-Generated Code in Modern Software
di: Wang, Bin, et al.
Pubblicazione: (2025)

Analyzing Message-Code Inconsistency in AI Coding Agent-Authored Pull Requests
di: Gong, Jingzhi, et al.
Pubblicazione: (2026)

Code for Machines, Not Just Humans: Quantifying AI-Friendliness with Code Health Metrics
di: Borg, Markus, et al.
Pubblicazione: (2026)

LLM-Assisted Repository-Level Generation with Structured Spec-Driven Engineering
di: Feng, Shuzhao, et al.
Pubblicazione: (2026)

ProjDevBench: Benchmarking AI Coding Agents on End-to-End Project Development
di: Lu, Pengrui, et al.
Pubblicazione: (2026)

WhatsCode: Large-Scale GenAI Deployment for Developer Efficiency at WhatsApp
di: Mao, Ke, et al.
Pubblicazione: (2025)

AI-Assisted Unit Test Writing and Test-Driven Code Refactoring: A Case Study
di: Smolic, Ema, et al.
Pubblicazione: (2026)

EvoCodeBench: A Human-Performance Benchmark for Self-Evolving LLM-Driven Coding Systems
di: Zhang, Wentao, et al.
Pubblicazione: (2026)

AI-Augmented CI/CD Pipelines: From Code Commit to Production with Autonomous Decisions
di: Baqar, Mohammad, et al.
Pubblicazione: (2025)

Prompt Driven Development with Claude Code: Building a Complete TUI Framework for the Ring Programming Language
di: Fayed, Mahmoud Samir, et al.
Pubblicazione: (2026)

A Low-Code Methodology for Developing AI Kiosks: a Case Study with the DIZEST Platform
di: Moon, SunMin, et al.
Pubblicazione: (2025)

Multi-line AI-assisted Code Authoring
di: Dunay, Omer, et al.
Pubblicazione: (2024)

A Survey of Bugs in AI-Generated Code
di: Gao, Ruofan, et al.
Pubblicazione: (2025)