MΓ³dulo 11 Β· Engenharia de Software Β· 3ΒΊ ano Β· Aula 1
Spec-Driven
Development
Especificar antes de implementar: a especificaΓ§Γ£o como fonte de verdade
ComputaΓ§Γ£o 2 Β· Prof. Afonso BrandΓ£o Β· 04/08/2026
πŸ“ EspecificaΓ§Γ£o
βœ… CritΓ©rios de aceite
πŸ€– IA orientada por spec
πŸ” Spec β†’ cΓ³digo
Agenda da Aula
Esqueleto β€” tΓ³picos a desenvolver

1️⃣ Por quΓͺ

MotivaΓ§Γ£o do Spec-Driven Development. a desenvolver

2️⃣ Conceito

O que Γ© uma especificaΓ§Γ£o executΓ‘vel. a desenvolver

3️⃣ PrΓ‘tica

Da spec ao cΓ³digo e aos testes. a desenvolver

4️⃣ Aplicar

Fluxo no projeto e entregΓ‘vel. a desenvolver

🎯 Objetivo (a definir): descrever o que o aluno deve saber fazer ao final da aula.

O que Γ© Spec-Driven Development
SeΓ§Γ£o de conteΓΊdo β€” a desenvolver

a desenvolver DefiniΓ§Γ£o

Conceito, princΓ­pios e onde a especificaΓ§Γ£o entra no ciclo de desenvolvimento.

Anatomia de uma EspecificaΓ§Γ£o
SeΓ§Γ£o de conteΓΊdo β€” a desenvolver

a desenvolver Estrutura

Requisitos, restriΓ§Γ΅es e critΓ©rios de aceite.

a desenvolver Exemplo

Exemplo concreto de spec aplicada ao projeto.

Da Spec ao CΓ³digo
SeΓ§Γ£o de conteΓΊdo β€” a desenvolver

a desenvolver Fluxo

Como a especificaΓ§Γ£o guia implementaΓ§Γ£o, testes e revisΓ£o.

πŸ“
O que ficou de hoje
Esqueleto da Aula 1 β€” Spec-Driven Development. ConteΓΊdo a desenvolver.
MΓ³dulo 11 Β· Engenharia de Software Β· Aula 1 Β· ComputaΓ§Γ£o 2