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

Penulis

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