Home >  Term: Ametlikud nõuded keel
Ametlikud nõuded keel

Kunstliku keel, kasutatakse tarkvara nõue. Saadud ametlikke nõudeid võimalik tõestada õigsuse tõendamiseks meetodite abil "õige". Tuntud ka kui kontrollitav nõuded keel.

0 0

ผู้สร้าง

  • M Pütsep
  •  (V.I.P) 61104 points
  • 100% positive feedback
© 2024 CSOFT International, Ltd.