Home >  Term: linguagem de requisitos formais
linguagem de requisitos formais

Uma língua artificial usada para representar um requisito de software. Requisitos de formal resultante podem ser comprovados "corretos" através de métodos de prova de regularidade. Também conhecido como linguagem de requisitos verificáveis.

0 0

Kūrėjas

  • Azinhais
  • (Lisbon, Portugal)

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