Specification-driven development: Rethinking how we build software in the age of AI

Note

AIWare 2026. Three-level taxonomy: spec-first, spec-anchored, spec-as-source. Positions formal specs as primary artifact in AI-assisted development.