La especificación de requisitos de software
Introduccion
La especificación de requisitos de software o (ERS) Puede ser definida como una descripción completa del comportamiento del sistema que se va a desarrollar. Incluyendo un conjunto de casos de uso que sirvan de ejemplo sobre como se debe desarrollar o su objetivo a realizar que describe todas las interacciones que tendrán los usuarios con el software. Los casos de uso también son conocidos como requisitos funcionales.
Definicion
Los casos de uso también son conocidos como requisitos funcionales. Además de los casos de uso, la ERS también contiene requisitos no funcionales (o complementarios). Los requisitos no funcionales son requisitos que imponen restricciones en el diseño o la implementación, como, por ejemplo, restricciones en el diseño o estándares de calidad.Está dirigida tanto al cliente como al equipo de desarrollo. El lenguaje utilizado para su redacción debe ser informal, de forma que sea fácilmente comprensible para todas las partes involucradas en el desarrollo.
Acontinuacion se muestra una imagen que demuestra las diferentes formas que la gente entiende un problema con sus requisitos que se hizo muy famosa por un tiempo(Fuente:http://agilismoatwork.blogspot.mx/2011/12/gestion-de-requisitos-agil.html)

Conclusión
Se debe poder especificar el uso y la función de cada uno de los requisitos y sus características en ciertos casos dar ejemplos para informar al personal de su uso y sus necesidades de lso equipos a utilizar como detallando sus características en caso de que el personal encargado no tengo el conocimiento completo del tema o asunto a tratar, para así evitar mal entendidos y posibles cambios de cursos a medio plan o puesta en marcha.
Fuentes:
Raymond Turner. "The Foundations of Specification". Journal of Logic and Computation, Vol. 15, No. 5 (October 2005), pp. 623–663.
IEEE STD 830-1998. "Especificaciones de los requisitos del Software", pág. 3.