Home > Term: especificación formal
especificación formal
(1) Una especificación escrita y aprobados con arreglo establecido standards.~(2) una especificación escrita en una notación formal, a menudo para su uso en la prueba de la corrección.
- Kalbos dalis: noun
- Pramonės šaka / sritis: Computer; Software
- Category: Software engineering
- Organization: IEEE Computer Society
0
Kūrėjas
- Fidelia
- 100% positive feedback
(Barcelona, Spain)