Home >  Term: oikeellisuuden osoittaminen
oikeellisuuden osoittaminen

(1) Käyttää todistaa matemaattisesti tietokoneohjelman muodollista tekniikka täyttää määritetyn requirements.~(2) todiste siitä, että tulokset soveltamasta (1) tekniikka.

0 0

Penulis

  • anita.sd
  •  (V.I.P) 24207 poin
  • 100% positive feedback
© 2024 CSOFT International, Ltd.