Se trata de una parte del proceso de desarrollo de software que enumera especificaciones empleadas en ingeniería de software.