Tag
The paper formalizes Spec-Driven Agentic Development (SDAD) to restructure the software development lifecycle with AI, emphasizing precise specifications and multi-agent verification for disciplined agentic speed.
PromptMN is a domain-specific language that adds typed directives to natural language prompts to reduce ambiguity. It is evaluated on frontier models and shows feasibility for clearer human-AI interaction.