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.