Accueil > 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.
- Partie du discours : noun
- Secteur d’activité/Domaine : Informatique; Logiciels
- Catégorie : Software engineering
- Organization: IEEE Computer Society
0
Créateur
- Ashley2003
- 100% positive feedback
(Bilbao, Spain)