Home >  Term: lenguaje de requisitos formales
lenguaje de requisitos formales

Un lenguaje artificial usado para representar un requisito de software. Requisitos de formal resultante pueden demostrarse "correctos" a través de métodos de prueba de corrección. También conocido como lenguaje de requisitos verificables.

0 0

Penulis

  • Ashley2003
  • (Bilbao, Spain)

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