Home >  Term: prueba de corrección
prueba de corrección

(1) Una técnica formal utilizada para demostrar matemáticamente un programa de ordenador cumple su requirements.~(2) especificado una prueba que resulta de aplicar la técnica en (1).

0 0

Kūrėjas

  • Fidelia
  • (Barcelona, Spain)

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