Las especificaciones no existen

Specifications Don't Exist (2025)

En este artículo, el autor argumenta que, fuera de unos pocos dominios como compiladores y microkernels, las especificaciones formales precisas y coherentes son imposibles de escribir. Usando el ejemplo de PDF, muestra cómo los sistemas reales tienen límites difusos y múltiples especificaciones informales contradictorias. Aunque la verificación formal es costosa pero factible para sistemas naturalmente formalizables, la mayoría del software no encaja en ese molde. El autor concluye que, incluso con IA avanzada que abarate las pruebas, la falta de especificaciones seguirá siendo un obstáculo fundamental.