SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch

• 类型：arxiv
• 标识：2607.27167
• 链接：https://arxiv.org/abs/2607.27167
• 主分类：agent
• 形态：benchmark
• 被引：0
• 被引来源：Semantic Scholar + OpenAlex
• S2被引：0
• OpenAlex被引：0
• 影响力被引：0
• TLDR：This work presents SpecFirst, a two-stage framework that forces the specification elicitation before code synthesis, and demonstrates that an explicit requirements-engineering phase is an effective paradigm for from-scratch program construction.
• OpenAlex ID：W7171804640
• OpenAlex DOI：10.48550/arxiv.2607.27167
• DOI：10.48550/arxiv.2607.27167
• DOI来源：OpenAlex
• 开放获取：green
• 开放获取链接：https://doi.org/10.48550/arxiv.2607.27167
• OpenAlex更新：2026-08-26
• 待LLM分类：否
• 标题中文：SpecFirst: 将行为规约获取作为基于 Agent 从零程序合成中的一等步骤
• TLDR中文：提出 SpecFirst，一个两阶段框架，在代码合成前强制进行需求 elicitation，并证明显式需求工程阶段是从零构建程序的有效范式。
• 来源文件：
• /inbox/tom/_candidates/2026-07-31-agent-rag-longcontext-candidates.json
• [S2 enrich]
• [OpenAlex backfill]