Spec Kit in Practice: Executable Specs, On‑Demand Checklists, and a Polya Loop
Spec Kit is an open‑source toolkit for Spec‑Driven Development that treats the spec as the executable center of gravity—driving planning, tasking, and implementation across today’s AI dev tools. I’ll demo the Specify CLI to go from intent to working code, show how plan‑and‑task breakdowns keep outcomes on‑spec, and discuss what reliably works (and where it doesn’t) when shipping real features with AI in the loop. We’ll also touch on current agent integrations (e.g., GitHub Copilot, Cursor, Claude Code, Gemini CLI) and the concrete developer workflows teams are adopting. I’ll preview two near‑term enhancements we’re building to tighten reliability. First, checklists as first‑class constraints: today they live inside spec templates; we’re lifting them out so teams can invoke reusable acceptance criteria on demand—gating generation, execution, and sign‑off across runs. Second, a Polya‑style loop—understand → plan → execute → review—operationalized end‑to‑end so humans and agents share one problem‑solving rhythm. Together these changes aim to reduce rework, make “what good looks like” explicit and verifiable, and keep fast paths fast without sacrificing correctness.
Thu 20 NovDisplayed time zone: Seoul change
08:30 - 10:00 | AIware Keynotes Session 3Keynotes at Grand Hall 1 Chair(s): Gustavo A. Oliva Centre for Software Excellence, Huawei Canada | ||
08:30 20mKeynote | Spec Kit in Practice: Executable Specs, On‑Demand Checklists, and a Polya Loop Keynotes Pre-print | ||
08:50 20mKeynote | Automatically Maintaining Agent Systems: How Far Are We? Keynotes | ||
09:10 20mKeynote | Teaching LLMs to Debug: Toward Reasoning- and Tool-Aware Coding Agents Keynotes | ||
09:30 30mPanel | Joint Q&A and Discussion Keynotes | ||