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.
- Kalbos dalis: noun
- Pramonės šaka / sritis: Computer; Software
- Category: Software engineering
- Organization: IEEE Computer Society
0
Kūrėjas
- Ashley2003
- 100% positive feedback
(Bilbao, Spain)