| Criterios para la utilización de técnicas de descripción formal por el UIT-T |
En vista de la complejidad de las Recomendaciones y de su utilización generalizada, se hace imperativo emplear técnicas y lenguajes adecuados para garantizar los niveles requeridos de calidad de las Recomendaciones. El objetivo de la Recomendación UIT-T Z.110 es proporcionar asesoramiento sobre la utilización de las técnicas de descripción formal (FDT) a fin de velar por la calidad de las Recomendaciones del UIT-T. Cuando existan requisitos especiales de verificación y validación, deberán utilizarse las FDT. La utilización eficaz de las FDT requiere que se sigan procedimientos por etapas al iniciar su aplicación. La presente Recomendación formula dichos procedimientos. La utilización eficaz de las FDT requiere la utilización de los instrumentos tecnológicos más modernos. |
|
| Citation: |
https://handle.itu.int/11.1002/1000/9620 |
| Series title: |
Z series: Languages and general software aspects for telecommunication systems Z.100-Z.199: Formal description techniques (FDT) Z.110-Z.119: Application of formal description techniques |
| Approval date: |
2008-11-13 |
| Approval process: | AAP |
|
Status: |
In force |
|
Maintenance responsibility: |
ITU-T Study Group 17 |
|
Further details: |
Patent statement(s)
Development history
|
|
|
|
|
|
ITU-T Supplement
|
Title
|
Status
|
Summary
|
Table of contents
|
Download
|
|
Z Suppl. 1 (04/2015)
|
ITU-T Z.100-series – Supplement on SDL+ methodology: Use of ITU System Design Languages
|
In force
|
here
|
here
|
here
|
|