Considerando que, na engenharia de software, há várias formas
de se escrever uma especificação de requisitos de sistema,
assinale a opção em que é apresentada a abordagem baseada no
uso de uma linguagem de programação com características mais
abstratas, para especificar os requisitos, definindo um modelo
operacional do sistema.