[Stanford CS146S #4] Generación de Código Basada en Especificaciones y Arneses de Prueba: Bucles de Autorrecuperación con Claude Code y Cursor

Bienvenidos a la cuarta entrega de nuestra serie de ingeniería sobre CS146S de la Universidad de Stanford: The Modern Software Developer.
En la Clase 1 analizamos el rol del desarrollador como director de orquesta; en la Clase 2 desmitificamos la mecánica probabilística de los LLMs de código; y en la Clase 3 exploramos el protocolo Model Context Protocol (MCP). En esta Clase 4 (Semana 3), el programa de Stanford aborda el desafío más crítico en equipos con IA: ¿Cómo construir sistemas de producción fiables cuando los LLMs inevitablemente alucinan, introducen regresiones silenciosas y se desvían de los requisitos?
El enfoque superficial de la industria—popularizado como "vibe coding" o desarrollo conversacional intuitivo—fracasa rotundamente en entornos empresariales. Basándonos en los laboratorios de ingeniería de Stanford, analizamos el Desarrollo Basado en Especificaciones (Spec-Driven Development, SDD) y cómo construir Arneses de Prueba (Test Harnesses) con Bucles de Autorrecuperación (Self-Healing Loops) utilizando Claude Code y Cursor.
