Idea

Una prueba escrita antes del código convierte una parte de la especificación en restricción verificable

Info

Escrito originalmente en francés. Traducido por IA — se ha preservado el sentido, no la prosa.