P é um módulo de software que recebe como entrada dois tipo...
Próximas questões
Com base no mesmo assunto
Ano: 2008
Banca:
NCE-UFRJ
Órgão:
UFRJ
Prova:
NCE-UFRJ - 2008 - ACAPLAM-PB - Analista de Tecnologia da Informação |
Q162886
Engenharia de Software
P é um módulo de software que recebe como entrada dois tipos de dados: o primeiro (X) descreve o saldo atual de uma conta corrente e o segundo, (Y) um valor de débito para essa conta. O módulo produz como saída (Z), que descreve o saldo atualizado da conta corrente. As estruturas desses tipos de dados são descritas como:
X=Número+Saldo
Y=Número+Débito
Z=Número+NSaldo
O item que descreve as pré-condições (Pré) e pós- condições (Pós) para essa transação é:
X=Número+Saldo
Y=Número+Débito
Z=Número+NSaldo
O item que descreve as pré-condições (Pré) e pós- condições (Pós) para essa transação é: