(1) Un documento que claramente y precisamente describe cada uno de los requisitos esenciales (funciones, rendimiento, las restricciones de diseño y atributos de calidad) del software y las interfaces externas. Cada requerimiento está definido en tal forma que su logro puede ser objetivamente verificada por un método prescrito, por ejemplo, inspección, demostración, análisis o prueba. Sometime llamado especificaciones externas. Contraste con especificaciones internas (especificaciones de diseño)