Accueil >  Term: prova de correção
prova de correção

(1) Uma técnica formal usada para provar matematicamente que um programa de computador satisfaz sua requirements.~(2) especificado uma prova que resulta da aplicação da técnica (1).

0 0

Créateur

  • Iaras
  • (Sao Paulo, Brazil)

  •  (V.I.P) 23010 points
  • 100% positive feedback
© 2024 CSOFT International, Ltd.