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.
- Μέρος του λόγου: noun
- Κλάδος/Τομέας: Υπολογιστές; Software
- Category: Software engineering
- Organization: IEEE Computer Society
0
Δημιουργός
- Fidelia
- 100% positive feedback
(Barcelona, Spain)