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.
- Jenis Kata: noun
- Industri / Domain: Komputer; Perangkat lunak
- Kategori: Software engineering
- Organization: IEEE Computer Society
0
Penulis
- Azinhais
- 100% positive feedback
(Lisbon, Portugal)