Today I used Kiro for my first spec driven development use case. I actually used Claude 4.5 to help drive what a good spec should good like, then filled this in tested it and completed the work in two iterations.
Typically this takes me 20+ iterations so SDD defitely makes things more efficient - though does require a bit more work upfront.
Really not wildy different from traditional software development - good specs make all the difference.