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