Questão Q546567
2011 Fundação Carlos Chagas (FCC) Tribunal Regional Eleitoral / Rio Grande do Norte (TRE RN)
Informática Básica / Microinformática Softwares
Prova: Concurso Tribunal Regional Eleitoral / Rio Grande do Norte (TRE RN) - Analista Judiciário Área Analista de Sistemas - Fundação Carlos Chagas (FCC) do ano 2011 • Tribunal Regional Eleitoral / Rio Grande do Norte (TRE RN)

Considere: I. Cada incremento de software é especificad...

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

Comentários

Faça login para participar da discussão.

Cadastre-se Gratuitamente
Carregando comentários...