Metodología

El término es nuevo desde 2025, pero la idea no: contratos de Hoare en 1969, diseño por contrato de Meyer en 1986, y una tesis académica de 2004 que ya proponía tests y contratos como especificaciones de distinta granularidad.

Toda funcionalidad tiene tres capas, para qué, qué y cómo, y confundirlas es el error más común al empezar a escribir especificaciones.

El cuello de botella ya no es escribir código: es decidir qué significa que esté correcto y poder comprobarlo. Así arranca la serie de Spec Driven Development.