SóProvas

ID
2939872
Banca
COSEAC
Órgão
UFF
Ano
2019
Provas
Disciplina
Engenharia de Software
Assuntos

No processo de desenvolvimento de uma especificação, a definição de nomes das operações e a descrição das condições para a veracidade das distintas combinações entre as operações é realizada na:

Alternativas
Comentários

  • Atividades do processo de desenvolvimento de uma especificação

    formal:

     Estruturação especificação: Definir informalmente as operações associadas a cada classe.

     Definição do nome da especificação: um nome para cada tipo abstrato de dados, decidir se eles tem parâmetros genéricos, assim como definir o nome do objeto.

     Seleção de operações: escolher operações para cada especificação de acordo com a funcionalidade. Operações para criar instancias do objeto, modificar e inspecionar valores das instâncias.

     Especificação informal de operações: descrever de forma informal como cada operação afeta o objeto definido.

     Definição de Sintaxe: parte da assinatura da especificação formal.

    Definição de axiomas: definir a semântica das operações pela descrição de quais condições são sempre verdadeiras para as diferentes combinações de operações

  • AXIOMA = premissa considerada necessariamente evidente e verdadeira, fundamento de uma demonstração, porém ela mesma indemonstrável, originada, segundo a tradição racionalista, de princípios inatos da consciência ou, segundo os empiristas, de generalizações da observação empírica [O princípio aristotélico da contradição ("nada pode ser e não ser simultaneamente") foi considerado desde a Antiguidade um axioma fundamental da filosofia.

  • Bem simples:

    -Verificação de VERACiDADE, é sempre “Axioma”.

    ”A Verdade“ = “Axioma”

  • de onde essa banca tirou essa questão pelo amor, será que é muito difícil tirar questões de ENGSW APENAS do Pressman e Somerville?