Dadas as seguintes definições sobre métodos de descrição sem...
Próximas questões
Com base no mesmo assunto
Ano: 2017
Banca:
IFB
Órgão:
IFB
Prova:
IFB - 2017 - IFB - Professor - Informática/ Desenvolvimento de Sistemas |
Q774272
Programação
Dadas as seguintes definições sobre métodos de descrição semântica, segundo Sebesta:
I) Descreve o significado de uma sentença ou programa pela especificação dos efeitos e executa-o em uma máquina.
II) Método mais rigoroso e mais conhecido para a descrição do significado de programas.
III) Baseada em lógica matemática, é a abordagem mais abstrata para a especificação de semântica.
( ) Semântica Axiomática( ) Semântica Operacional
( ) Semântica Denotacional
Assinale a alternativa que descreve a ordem correta de preenchimento, de cima para baixo, dos parênteses, de acordo com a relação entre as definições e os tipos de semântica:
Conheça nossos planos