Voc\u00ea j\u00e1 recebeu uma tarefa assim: “implementa um sistema de notifica\u00e7\u00f5es para os usu\u00e1rios”? Voc\u00ea abre o editor, come\u00e7a a codar, cria uma tabela, um servi\u00e7o, um endpoint. Dois dias depois, em uma reuni\u00e3o de revis\u00e3o, descobre que o time de produto queria notifica\u00e7\u00f5es por e-mail e push, com prefer\u00eancias configur\u00e1veis por usu\u00e1rio, rate limiting e um hist\u00f3rico de auditoria. Nada disso estava na frase original. Voc\u00ea reescreve metade do c\u00f3digo, refaz a modelagem do banco e perde uma semana inteira revisando decis\u00f5es que poderiam ter sido esclarecidas antes de a primeira linha de c\u00f3digo existir.<\/p>\n
Esse cen\u00e1rio se repete em praticamente toda equipe de desenvolvimento, independentemente da linguagem ou do dom\u00ednio. E ele se agrava quando voc\u00ea passa a delegar parte da implementa\u00e7\u00e3o para ferramentas de IA generativa. Um agente como o Claude Code ou o Cursor n\u00e3o tem contexto sobre as regras de neg\u00f3cio da sua empresa, sobre decis\u00f5es de arquitetura tomadas h\u00e1 dois anos ou sobre o que “sistema de notifica\u00e7\u00f5es” realmente significa para o seu time. Ele preenche as lacunas com suposi\u00e7\u00f5es \u2014 e suposi\u00e7\u00f5es erradas em escala geram retrabalho em escala.<\/p>\n
Spec Driven Development (Desenvolvimento Orientado por Especifica\u00e7\u00e3o, ou SDD) \u00e9 uma abordagem em que a especifica\u00e7\u00e3o \u2014 um documento estruturado descrevendo o que o software deve fazer, suas restri\u00e7\u00f5es, casos de borda e crit\u00e9rios de aceita\u00e7\u00e3o \u2014 \u00e9 escrita e validada antes<\/strong> da implementa\u00e7\u00e3o, e passa a ser o artefato central do processo, n\u00e3o um anexo esquecido em uma pasta do Confluence.<\/p>\n A ideia n\u00e3o \u00e9 nova. Ela tem ra\u00edzes em pr\u00e1ticas como Design by Contract, proposto por Bertrand Meyer na linguagem Eiffel, e em m\u00e9todos formais de especifica\u00e7\u00e3o usados em sistemas cr\u00edticos (avia\u00e7\u00e3o, sa\u00fade, sistemas financeiros). O que mudou \u00e9 o contexto: com agentes de IA gerando c\u00f3digo em minutos, a especifica\u00e7\u00e3o deixou de ser burocracia e passou a ser a \u00fanica forma confi\u00e1vel de guiar o que a IA produz.<\/p>\n \ud83d\udca1 Dica do Mestre:<\/strong> Bertrand Meyer definiu o Design by Contract nos anos 1980 como forma de tornar expl\u00edcitas as pr\u00e9-condi\u00e7\u00f5es, p\u00f3s-condi\u00e7\u00f5es e invariantes de cada componente de software \u2014 a ideia central do SDD moderno j\u00e1 estava l\u00e1. Veja mais em eiffel.org<\/a>.<\/p><\/blockquote>\n \u00c9 importante diferenciar SDD de documenta\u00e7\u00e3o de requisitos tradicional. Documentos de requisitos costumam ser escritos uma vez, aprovados em comit\u00ea e esquecidos assim que a implementa\u00e7\u00e3o come\u00e7a. No SDD, a especifica\u00e7\u00e3o \u00e9:<\/p>\n Antes da IA generativa, quem interpretava requisitos amb\u00edguos era um desenvolvedor humano, com contexto acumulado sobre o projeto, mem\u00f3ria das decis\u00f5es passadas e capacidade de perguntar “isso inclui X?” no corredor. Um agente de IA n\u00e3o tem esse contexto impl\u00edcito. Ele trabalha com o que est\u00e1 na janela de contexto \u2014 e se a especifica\u00e7\u00e3o for vaga, o resultado ser\u00e1 plaus\u00edvel, bem escrito, sintaticamente correto e, com frequ\u00eancia, errado em rela\u00e7\u00e3o \u00e0 inten\u00e7\u00e3o real.<\/p>\n Isso cria um efeito perverso: c\u00f3digo gerado por IA “parece” pronto porque est\u00e1 bem formatado e sem erros de sintaxe, mas pode estar resolvendo o problema errado. Revisar esse tipo de erro \u00e9 mais caro do que revisar um bug de sintaxe, porque exige reconstruir a inten\u00e7\u00e3o original \u2014 algo que a especifica\u00e7\u00e3o deveria ter deixado claro desde o in\u00edcio.<\/p>\n \ud83d\udca1 Dica do Mestre:<\/strong> “Se voc\u00ea n\u00e3o sabe para onde vai, qualquer caminho serve.” A frase, atribu\u00edda a Lewis Carroll em Alice no Pa\u00eds das Maravilhas<\/em>, resume bem o risco de gerar c\u00f3digo sem especifica\u00e7\u00e3o clara \u2014 o agente de IA vai produzir algo, mas n\u00e3o necessariamente o que voc\u00ea precisa.<\/p><\/blockquote>\n Uma especifica\u00e7\u00e3o eficaz para orientar desenvolvimento (humano ou assistido por IA) costuma conter, no m\u00ednimo:<\/p>\n Vamos comparar uma instru\u00e7\u00e3o vaga com uma especifica\u00e7\u00e3o estruturada, e ver o impacto no c\u00f3digo gerado.<\/p>\n Instru\u00e7\u00e3o vaga:<\/strong> “cria uma fun\u00e7\u00e3o para validar CPF.”<\/p>\n Especifica\u00e7\u00e3o estruturada (formato Given-When-Then, popularizado pelo BDD de Dan North):<\/strong><\/p>\n Agora observe a diferen\u00e7a ao usar essa especifica\u00e7\u00e3o como prompt para um agente de IA em Python:<\/p>\n O c\u00f3digo j\u00e1 nasce alinhado com os casos de borda documentados, porque eles estavam expl\u00edcitos na especifica\u00e7\u00e3o. Sem isso, \u00e9 comum receber uma implementa\u00e7\u00e3o que valida apenas o tamanho da string, ignorando o algoritmo de d\u00edgitos verificadores ou o caso de d\u00edgitos repetidos.<\/p>\n Uma das maiores vantagens do SDD \u00e9 que a especifica\u00e7\u00e3o, quando bem escrita, se traduz quase diretamente em testes automatizados \u2014 o que tamb\u00e9m serve como harness de verifica\u00e7\u00e3o para c\u00f3digo gerado por IA:<\/p>\n Esse fluxo \u2014 especifica\u00e7\u00e3o em linguagem estruturada, c\u00f3digo gerado a partir dela, testes derivados dos mesmos crit\u00e9rios \u2014 \u00e9 o n\u00facleo pr\u00e1tico do SDD aplicado ao desenvolvimento assistido por IA.<\/p>\n Ferramentas como Claude Code, Cursor e GitHub Copilot Workspace t\u00eam incorporado, cada uma \u00e0 sua maneira, fluxos que se aproximam do SDD: primeiro voc\u00ea descreve o que precisa em um arquivo de especifica\u00e7\u00e3o (ou em um plano gerado pela pr\u00f3pria ferramenta), revisa esse plano, e s\u00f3 depois autoriza a gera\u00e7\u00e3o do c\u00f3digo.<\/p>\n Isso \u00e9 fundamentalmente diferente de simplesmente digitar um prompt e aceitar o primeiro resultado. O ganho est\u00e1 em transformar a etapa de “pensar sobre o problema” em algo expl\u00edcito e revis\u00e1vel \u2014 por voc\u00ea e, se necess\u00e1rio, por outros membros do time \u2014 antes que qualquer c\u00f3digo exista.<\/p>\nSpec Driven Development n\u00e3o \u00e9 documenta\u00e7\u00e3o tradicional<\/h3>\n
\n
Por que o SDD se tornou relevante agora<\/h2>\n
Anatomia de uma boa especifica\u00e7\u00e3o<\/h2>\n
\n
Exemplo pr\u00e1tico: especificando uma fun\u00e7\u00e3o de valida\u00e7\u00e3o de CPF<\/h3>\n
## Especifica\u00e7\u00e3o: Valida\u00e7\u00e3o de CPF\n\n### Objetivo\nValidar se uma string representa um CPF v\u00e1lido segundo o algoritmo\noficial da Receita Federal, para uso em formul\u00e1rio de cadastro.\n\n### Comportamento esperado\n- Given uma string com 11 d\u00edgitos num\u00e9ricos e d\u00edgitos verificadores corretos\n When a fun\u00e7\u00e3o for chamada\n Then deve retornar true\n\n- Given uma string com todos os d\u00edgitos iguais (ex: \"11111111111\")\n When a fun\u00e7\u00e3o for chamada\n Then deve retornar false (CPF inv\u00e1lido por regra da Receita)\n\n- Given uma string com m\u00e1scara (ex: \"123.456.789-09\")\n When a fun\u00e7\u00e3o for chamada\n Then deve normalizar e validar corretamente\n\n- Given uma string vazia, nula ou com menos de 11 d\u00edgitos\n When a fun\u00e7\u00e3o for chamada\n Then deve retornar false, sem lan\u00e7ar exce\u00e7\u00e3o\n\n### N\u00e3o-objetivos\n- N\u00e3o valida se o CPF existe na base da Receita Federal (isso \u00e9 outra fun\u00e7\u00e3o)\n- N\u00e3o faz chamada de rede\n\n### Crit\u00e9rio de aceita\u00e7\u00e3o\nTodos os casos acima cobertos por testes automatizados passando.\n<\/code><\/pre>\ndef validar_cpf(cpf: str) -> bool:\n cpf = ''.join(filter(str.isdigit, cpf or ''))\n\n if len(cpf) != 11 or cpf == cpf[0] * 11:\n return False\n\n def calcular_digito(cpf_parcial: str, peso_inicial: int) -> int:\n soma = sum(int(d) * peso for d, peso in\n zip(cpf_parcial, range(peso_inicial, 1, -1)))\n resto = soma % 11\n return 0 if resto < 2 else 11 - resto\n\n digito1 = calcular_digito(cpf[:9], 10)\n digito2 = calcular_digito(cpf[:9] + str(digito1), 11)\n\n return cpf[-2:] == f"{digito1}{digito2}"\n<\/code><\/pre>\nEscrevendo testes a partir da especifica\u00e7\u00e3o<\/h3>\n
import pytest\nfrom validacao import validar_cpf\n\ndef test_cpf_valido():\n assert validar_cpf(\"52998224725\") is True\n\ndef test_cpf_todos_digitos_iguais():\n assert validar_cpf(\"11111111111\") is False\n\ndef test_cpf_com_mascara():\n assert validar_cpf(\"529.982.247-25\") is True\n\ndef test_cpf_vazio():\n assert validar_cpf(\"\") is False\n\ndef test_cpf_none():\n assert validar_cpf(None) is False\n<\/code><\/pre>\nSDD na pr\u00e1tica com ferramentas de IA generativa<\/h2>\n