Understanding Spec-Driven-Development: Kiro, spec-kit, and Tessl martinfowler.com
Birgitta Böckeler separates spec-driven development into three things: spec-first, where you develop from a spec; spec-anchored, where it’s maintained afterwards; and spec-as-source, where humans never touch generated code. Only Tessl really attempts the latter two.