Em engenharia de software, existem requisitos que são declarações de serviços que o sistema deve fornecer, como deve reagir a entradas específicas e como o sistema deve ser comportar. Esse requisito é do tipo