Questões de Concurso Comentadas para tre-rn

Considere:

I. Cada incremento de software é especificado formalmente e essa especificação é transformada em uma implementação.

II. A correção de software é demonstrada por meio de uma abordagem formal.

III. Não existe teste de defeitos no processo e o teste do sistema concentra-se na avaliação da confiabilidade.

As três características acima pertencem a um processo formal de desenvolvimento de software, denominado

No Linux, o comando que concatena arquivos, exibindo o resultado na saída padrão é o

Nos sistemas operacionais, múltiplas execuções que ocorrem no mesmo ambiente do processo com um grande grau de independência uma da outra é uma característica do modelo de processo que contempla o conceito de

A alternativa que preenche corretamente a lacuna é

A alternativa que preenche corretamente a lacuna é