"São as declarações de serviços que o sistema deve fornecer, como o sistema deve reagir a entradas específicas e como o sistema deve se comportar em determinadas situações. Em alguns casos eles podem estabelecer explicitamente o que o sistema não deve fazer."
Segundo Sommerville (2008), a citação acima refere-se aos requisitos