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