Definición
Es un documento (o varios) con el detalle de los requisitos del Sistema/software a desarrollar, donde funcionales y no funcionales. Generalmente, escrito en lenguaje natural, y puede estar complementado con descripciones formales o semiformales (por ejemplo especificaciones de casos de uso, reglas de negocio). Además se mantiene vivo durante todo el desarrollo.