Spec-Driven Development: The Waterfall Strikes Back