Spec-Driven Development: Como IA Está Mudando a Produtividade de Devs