subscripción
Najaraba.com: Software libre, metodologías ágiles y más.
¿Es TDD la hermana pequeña de la validación formal?
Abril 27th, 2011 - [Enlace local]
Hace un tiempo, al crear el grupo de TDD en castellano, hacía esta pregunta del título. ¿Es TDD la hermana pequeña de la validación formal? Hay un artículo del gran E. W. Dijkstra, "Sobre la crueldad de verdaderamente enseñar ciencias de la computación" que me parece muy revelador tal y como hoy entendemos la ingeniería del software, y cómo se veían las cosas hace tan solo poco más de 20