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

Penulis

  • Azinhais
  • (Lisbon, Portugal)

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