Home >  Term: požadavky na formální jazyk
požadavky na formální jazyk

Umělý jazyk používaný k reprezentaci požadavek softwaru. Výsledné formální požadavky prokazatelně "správný" prostřednictvím důkaz správnosti metody. Známý také jako ověřitelné požadavky jazyk.

0 0

Creator

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