Spec-Driven Development for AI Agents