← → ou Espaco para navegar | F para tela cheia

Desenvolvimento de Software Apoiado por IA — 2026.2

Aula 4
Spec-Driven Development, e a evidencia contraria

👨‍🏫 Prof. Gustavo Pinto 🏛️ UFPA 📅 24 de setembro de 2026 🕐 20h

Agenda de hoje

A promessa: spec, plan, tasks
O que os fornecedores afirmam
O que o dado mostra
Por que ainda vamos exigir SPEC.md

O ciclo

Spec: o que construir e por que, em linguagem de usuario
Plan: como, em termos tecnicos
Tasks: pedacos executaveis e verificaveis
Implement: o agente executa a lista

A promessa dos fornecedores

Escrever a especificacao antes reduz defeitos, evita retrabalho e melhora a qualidade do codigo.

Spec Kit, da GitHub, e Kiro, da Amazon, partem dessa premissa
O argumento e plausivel: menos ambiguidade, menos erro

O que o dado mostra

Hill, 2026: 100.247 PRs em 119 repositorios de codigo aberto
Nenhuma das cinco hipoteses derivadas das alegacoes se sustentou
Especificacoes ficaram associadas a mais defeitos e mais retrabalho
Qualidade da spec nao teve efeito sobre retrabalho

Entao por que exigimos SPEC.md?

Uma pratica pode ser util por motivos diferentes dos anunciados.

A spec forca a dupla a concordar sobre o que esta construindo
Ela e o artefato que o agente le, e o contrato que voce revisa contra
Voces terao dados proprios no fim do semestre, e podem discordar de mim

Duvidas?

Nao esqueca a entrada do diario de hoje

📧 gpinto@ufpa.br